IList<mutable_struct>对mutable_struct[]

Question

好的，让我们有一些代码：

//I complie nicely
ValueType[] good = new ValueType[1];
good[0].Name = "Robin";

//I don't compile: Cannot modify expression because its not a variable
IList<ValueType> bad = new ValueType[1];
bad[0].Name = "Jerome";

struct ValueType
{
    public string Name;
}

究竟是什么原因导致了编译器的混乱呢？

//Adding to watch the following
good.GetType().Name //Value = "ValueType[]" It's a ValueType array.
bad.GetType().Name  //Value = "ValueType[]" Also a ValueType array.

编译器阻止我修改要更改的对象的副本的成员。但是为什么要从这个数组中复制呢？

更多的研究提出：

var guess = (ValueType[]) bad;
guess[0].Name="Delilah";

现在，你认为bad[0].Name是什么？是的，是"Delilah“。

Answer 1

为什么值类型要从IList<ValueType>复制而不是从数组中返回？

因为数组是编译器已知的内建结构。它的操作符[]有一个内置语义，它为编译器在数组本身内提供了一个可修改的引用。

另一方面，当编译器处理一个接口时，它只知道它会得到一个值类型的副本，您正在试图修改它。换句话说，编译器对IList的运算符[]和数组的运算符[]的看法不同。

注:不用说，这个练习具有纯粹的学术价值，因为mutable structs are evil。