自变异只读结构字段

Question

我知道Eric Lippert's blog post about situation 但我认为这是一种不同的情况，因为该领域会改变自身而不是其领域。如果 Enumerator 是只读的并且输出始终为 0，您如何解释调用 MoveNext()？

 class SomeClass
    {
        private List<int> list;
        private [readonly] List<int>.Enumerator enumerator;

        public SomeClass()
        {
            list = new List<int>() { 1, 2, 3 };
            enumerator = list.GetEnumerator();
        }

        public int ReadValue()
        {
            if (enumerator.MoveNext())
                return enumerator.Current;
            return -1;

        }
    }
static void Main()
    {
        SomeClass c = new SomeClass();
        int value;
        while ((value = c.ReadValue()) > -1)
            MessageBox.Show(value.ToString());
    }

Answer 1

我认为这是一种不同的情况

你错了。这正是我在您引用的博客文章中描述的情况。

在这里重复我的分析：结构上的每个非静态方法调用都带有一个名为“this”的“ref”参数。我们没有在参数列表中显示“ref this”参数，但它在那里，由编译器为您生成。 ref 传递的任何内容都必须是变量。由于 readonly 变量可能（在这种情况下，将会）被调用改变，我们必须确保 readonly 变量永远不会被 ref 传递。当您在只读结构上调用方法时，我们创建一个临时变量，将结构复制到临时变量，在方法调用上将 ref 作为“this”传递给临时变量，然后丢弃临时变量。这解释了您所看到的行为；由 MoveNext 引起的每个突变都发生在一个副本上，然后被丢弃。

您能否解释一下为什么这种情况（与我在博客中描述的情况完全相同）有何不同？您认为枚举器有什么不同之处使它们与众不同？

Answer 2

如果我理解您发布的 Eric Lippert 的博客文章，声明

if(enumerator.MoveNext())

首先制作枚举器的副本，在该副本上执行 MoveNext()。那个副本死了，下一行：

return enumerator.Current;

返回原始枚举器的 Current，而不是副本，这就是为什么你总是得到 0

Answer 3

readonly 关键字给 C# 编译器带来了困难。它无法知道 MoveNext() 和 Current 是否具有违反只读合约的副作用。 MoveNext() 当然可以。因此，要生成有效代码，它必须创建迭代器值的副本。它发生了两次，一次是为 MoveNext() 方法调用，一次是在读取 Current 属性时。您可以通过在程序上运行 ildasm.exe 轻松看到这一点，该副本在 Debug 版本中命名为 CS$0$0001。

如果编译器至少为此代码生成警告，那就太好了。但是很难准确地做到，它确实需要知道该成员是否有副作用。它不知道。 方式有太多的结构类型具有没有副作用的属性获取器，所以总是生成警告是不可行的。

需要让它知道的特性是 const 关键字，因为它在 C++ 中使用。可以将方法声明为 const 以表明它不会改变对象的状态。我严重怀疑该功能是否会进入 C# 语言，但编写 const 正确的代码并不是那么容易，坦率地说，有点像皮塔饼。