IList<；可变结构>；vs mutable_struct[]

本文关键字：mutable struct vs 结构 lt IList gt | 更新日期: 2023-09-27 18:24:34

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

//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是什么？没错，是"黛利拉"。

IList<；可变结构>；vs mutable_struct[]

为什么要复制的值类型是从IList<ValueType>返回的，而不是从阵列返回的

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

另一方面，当编译器处理一个接口时，它所知道的就是它会返回一个值类型的副本，而您正试图修改该副本。换句话说，编译器以不同的方式看待IList的运算符[]和数组的运算符[]。

注意：不用说，这个练习纯粹具有学术价值，因为可变结构是邪恶的。

相关文章：