List中的值类型无法修改的原因详解

[c-sharp] view
plaincopy

public struct AA

{

public int value;

public AA(int v)

{

value = v;

}

}

public class Test

{

public void Run()

{

List<AA> datas = new List<AA>();

datas.Add(new AA(1));

datas.Add(new AA(2));

}

}

我们假设有这样的一个结构体。因为结构体是值类型的，在没有修饰的情况下，我们的方法中，传入，传出都是传递的值，每次传递都进行了一次值的拷贝。

所以，我们这样操作是不可行的。

datas[1].value = 10;

为什么呢，因为datas[1]不是第二个对象，而是第二个对象的副本，你修改副本，当然不会影响原本的值了。正确的写法是这样的

datas[1] = new AA(10);

这只是开始。可能有人会问，为什么我用data[i]是这个元素的副本呢？我们来详细的介绍一下。

首先，请先阅读MSDN以增加一些基础的了解

struct（C# 参考）

结构（C# 编程指南）

如何：了解向方法传递结构和向方法传递类引用之间的区别（C#
编程指南）

了解过基础，我们看看正题

[c-sharp] view
plaincopy

void Foo(StructValue o){}

//没有人怀疑这里的o是个结构体对象的副本。对吧。这个还有疑问的复习msdn去。

StructValue Foo()

{

StructValue f;

return f;//你认为这里返回的是f还是f的副本呢？显然也是副本。

}

这里都明白，返回的f是定义的f的一个副本，没有问题吧。

看看List<T>的索引器

[c-sharp] view
plaincopy

public T this[int index]

{

[TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")]

get

{

if (index >= this._size)

{

ThrowHelper.ThrowArgumentOutOfRangeException();

}

return this._items[index];//这里返回的是this._items[index]的副本，能理解了吧。

}

[TargetedPatchingOptOut("Performance critical to inline across NGen image boundaries")]

set

{

if (index >= this._size)

{

ThrowHelper.ThrowArgumentOutOfRangeException();

}

this._items[index] = value;//这里是把你的value副本复制到索引器指定的位置

this._version++;

}

}

以上3个例子看懂。这个问题就清晰了。

贴的这3个代码已经很明显的告诉你这样一个原因：

data[1]是通过List<T>的索引器访问的值类型数组中的某个元素，返回的是这个元素的副本。而设置也是副本设置，所以可以设置，可以读取，不可以通过副本的修改影响到List<T>中的值类型数组。

为了进一步证明这一点，我来用一个反射的例子来演示一下：

[c-sharp] view
plaincopy

private static void TestChangeStructList()

{

//定义一个泛型List

List<AA> datas = new List<AA>();

//添加2个元素，value分别为1,2

datas.Add(new AA(1));

datas.Add(new AA(2));

//打印出当前元素

Console.WriteLine("原始List:");

datas.ForEach(o => Console.WriteLine(o.value.ToString()));

//使用List的索引器赋值

datas.ForEach(o => o.value++);

//打印出当前元素

Console.WriteLine("使用List的索引器赋值");

datas.ForEach(o => Console.WriteLine(o.value.ToString()));

//反射List内部的值类型数组赋值

AA[] items = (AA[])((FieldInfo)(datas.GetType().GetMember("_items", BindingFlags.NonPublic | BindingFlags.Instance)[0])).GetValue(datas);

items[0].value++;

items[1].value++;

//打印出当前元素

Console.WriteLine("反射List内部的值类型数组赋值");

datas.ForEach(o => Console.WriteLine(o.value.ToString()));

}

结果:

原始List:

1

2

使用List的索引器赋值

1

2

反射List内部的值类型数组赋值

2

3

还没看懂的，最后再讲一次。

List<T>[i]

这是叫做索引器的，索引器是一种属性，属性就是在调用方法，而值类型无法返回一个引用，返回的是值，所以索引器返回的，是你添加进去变量的副本。而因为值类型无法传递引用，所以添加实际也是使用副本的方式添加的。所以对于值类型的List<T>，索引器的结果，可以访问，可以修改，但无法直接存回去，如何保存？可以重新的赋值，例如

List<Point> points = new List<Point>();

points.Add(new Point());//0,0

修改呢，就整个重新复制

points[0] = new Point(1,1);

你不能修改一项points[0].X = 1;

这样不可以的。

希望这样说，各位不明白的能明白。明白的更明白。