为什么 ReadOnlyCollection 不允许协方差？

Question

此代码有效的原因是Enumerator 无法修改集合：

var roList = new List<string>() { "One", "Two", "Three" };
IEnumerable<object> objEnum = roList;

如果我们尝试用List<object> 而不是IEnumerable<object> 做同样的事情，我们会得到一个编译器错误，告诉我们不能将类型List<string> 隐式转换为List<object>。好吧，这是有道理的，在我看来，这是微软的一个很好的决定，作为从数组中吸取的教训。

但是，我想不通的是，为什么这条强硬规则适用于 ReadOnlyCollection 之类的东西？我们将无法修改 ReadOnlyCollection 中的元素，那么导致 Microsoft 阻止我们对只读内容使用协方差的安全问题是什么？是否有一种可能的方法来修改 Microsoft 试图解释的那种类型的集合，例如通过指针？

Answer 1

变体和逆变仅适用于接口和委托，不适用于类。

但是，您可以这样做（使用 .NET 4.5）：

ReadOnlyCollection<string> roList = ...
IReadOnlyCollection<object> objects = roList;

（因为IReadOnlyCollection<T> 是协变的）

---

要回答您关于为什么课程中不允许出现差异的问题，请参阅 Jon Skeet 在他的 C# in Depth 书中的解释（第二版，第 13.3.5 节，第 394 页）。

类中的类型参数没有差异

只有接口和委托可以有变体类型参数。甚至 如果您有一个仅使用类型参数作为输入的类（或 仅用于输出），您不能指定 in 或 out 修饰符。比如Comparer<T>，常见的实现 IComparer<T>，是不变的——没有从 Comparer<IShape> 到 Comparer<Circle>。

除了这可能带来的任何实施困难 发生，我会说它在概念上具有一定的意义。 接口代表一种从特定对象查看对象的方式 透视，而类更植根于对象的实际 类型。继承让你有点削弱了这个论点 将对象视为其中任何类的实例 不可否认，继承层次结构。无论哪种方式，CLR 都不允许 它。