IEnumerable<T>
是协变的,但它不支持值类型,只支持引用类型。下面的简单代码编译成功:
IEnumerable<string> strList = new List<string>();
IEnumerable<object> objList = strList;
但是从string
to更改int
会得到编译错误:
IEnumerable<int> intList = new List<int>();
IEnumerable<object> objList = intList;
原因在MSDN中有解释:
差异仅适用于引用类型;如果为变体类型参数指定值类型,则该类型参数对于生成的构造类型是不变的。
我搜索了一下,发现有些问题提到的原因是value type 和 reference type 之间的装箱。但是我还是不太清楚为什么拳击是这个原因?
有人可以简单详细地解释为什么协变和逆变不支持值类型以及装箱如何影响这一点?