为什么协方差和逆方差不支持值类型
IEnumerable<T>是协变的，但它不支持值类型，只支持引用类型。下面的简单代码编译成功：
IEnumerable<string> strList = new List<string>();
IEnumerable<object> objList = strList;但是将string更改为int会出现编译错误：
IEnumerable<int> intList = new List<int>();
IEnumerable<object> objList = intList;原因在MSDN中进行了解释
差异仅适用于引用类型；如果为变量类型参数指定了值类型，则该类型参数对于结果构造的类型是不变的。
我搜索了一下，发现一些问题提到的原因是值类型和引用类型之间的装箱。但是我还是不太明白为什么拳击是原因？
有人能简单详细地解释一下为什么协方差和逆方差不支持值类型，以及装箱是如何影响这一点的吗？
回答 3
Stack Overflow用户
发布于 2012-09-17 15:37:48
基本上，当CLR可以确保它不需要对值进行任何表示更改时，就会应用方差。所有引用看起来都是一样的-因此您可以将IEnumerable<string>用作IEnumerable<object>，而不需要对表示进行任何更改；本机代码本身根本不需要知道您正在对这些值做什么，只要基础结构已经保证它肯定是有效的。
对于值类型，这不起作用-要将IEnumerable<int>视为IEnumerable<object>，使用序列的代码必须知道是否执行装箱转换。
您可能想要阅读Eric Lippert的blog post on representation and identity，了解更多有关此主题的一般信息。
编辑:我自己重读了Eric的博客帖子，它至少是关于身份和表现的，尽管两者是联系在一起的。特别是：
这就是为什么接口和委托类型的协变和逆变转换要求所有变化类型的参数都是引用类型的原因。为了确保变量引用转换始终保持身份，所有涉及类型参数的转换也必须保持身份。确保类型参数上的所有非平凡转换都是身份保留的最简单方法是将它们限制为引用转换。
Stack Overflow用户
发布于 2012-09-17 15:40:25
我认为一切都从LSP (利斯科夫替换原则)的定义开始，它是这样的：
如果q(x)是关于类型T的对象x的一个可证明的性质，则q(y)对于类型S的对象y应该为真，其中S是T的子类型。
但是，在C#中，值类型，如int，不能代替object。证明非常简单：
int myInt = new int();
object obj1 = myInt ;
object obj2 = myInt ;
return ReferenceEquals(obj1, obj2);这将返回false，即使我们为该对象分配了相同的“引用”。
Stack Overflow用户
发布于 2012-09-17 18:02:42
它确实归结为一个实现细节:值类型的实现方式与引用类型不同。
如果您强制将值类型视为引用类型(即对它们进行装箱，例如通过接口引用它们)，则可能会得到方差。
最简单的方法是简单地考虑Array：值类型的数组被连续(直接)放在内存中，而引用类型的数组在内存中只有连续的引用(指针)；被指向的对象是单独分配的。
另一个(相关的)问题(*)是，(几乎)所有引用类型都具有相同的方差表示，并且许多代码不需要知道类型之间的差异，因此协方差和逆方差是可能的(并且很容易实现--通常只需省略额外的类型检查)。
(*)这可能看起来是相同的问题...
https://stackoverflow.com/questions/12454794
复制相似问题