基本同意
@Gee Law的答案,
其实匿名类型是C# 3.0引入的,C# 3.0引入的所有新特性基本都是为了实现LINQ这一伟大的语言特性。
匿名类型是为了解决LINQ中选择部分字段以及多字段作为分组依据聚合或是多字段联接的问题的。
所以,说白了匿名类型设计的目标就是元组。
顺便解释一下
@Gee Law的问题,首先,匿名对象需要做到如果两个匿名对象的属性名称、类型和值都相同,就是等同的,是有现实原因的,因为如果不满足这一点的话,下面这种LINQ将无法得到期望的结果:
form item1 in list1 join from item2 in list 2 on new { item1.Key1, item1.Key2 } equals new { item2.Key1, item2.Key2 }
事实上这就造成了匿名对象的所谓的值语义,但如果直接使用值类型,那么会带来一些别的问题:
首先是值类型保存在堆栈上,任何赋值操作都会导致一份拷贝,如果对象太大性能会很差。
其次值类型必然有一个无参的构造函数,这使得在一些奇怪的代码下我们可以调用匿名类型的这个无参构造函数搞出一个莫名奇妙的实例:
public T M<T>() where T : new() { return new T(); } public T M<T>() { return default(T); }
总之,我觉得这个问题的根本还是在于,匿名类型本质上就是关系模型中的元组在C#里面的映射。元组显然是不可变的,匿名类型也没有必要设计成可变的来自找麻烦。
因为不变对象自带线程安全。而且实际上 Linq 出来的东西你也改不了,除非你改数据源或者 ToArray 之类的再改。
另外不变性造就了值语义,因为它是不变对象,所以
new { Name = "Gee" } == new { Name = "G" + "ee" }
是 true,否则它应该是 false。以及值语义下的 GetHashCode 重写。
至于为什么不让它本身就是结构而是类,我不太清楚。