为什么 `IList<T>` 不从 `IReadOnlyList<T>` 继承？

Question

当IReadOnlyList<T> 在 .NET 4.5 中被引入时，我一度认为谜题的缺失部分终于到位：一种传递真正只读可索引接口的方法，以前我必须使用我自己的 read -only 接口并围绕所有内容创建包装类。

我希望将界面放置在“自然”层次结构中，理想情况下是：

IEnumerable<T> 
.GetEnumerator()
      -> IReadOnlyCollection<T> : IEnumerable<T>
      .Count
            -> IReadOnlyList<T> : IReadOnlyCollection<T>
            .Item[...]
                     -> IList<T> : IReadOnlyList<T>
                     .Add(...)
                     .Clear()
                     .Contains(...)
                     (etc)

但是，事实证明，IList<T> 并不继承自 IReadOnlyList<T>。

这是有原因的吗？

一些澄清：

请注意，IReadOnlyList<T> 只是一个合同，它声明列表提供了一种获取列表计数和读取某个索引处的值的方法。它的名字很糟糕，因为它并没有强制实际实现是只读的。

List<T> 实现 IEnumerable<T>，IList<T> 继承自 IEnumerable<T>，但这并不意味着这些类只能被枚举。

所以，如果你想将一个列表传递给一个方法，并且只允许它被索引（读取）而不是被修改，你需要将它包装在一个新的实例中。同时，您可以将其传递给接受IEnumerable<T> 或IList<T> 而无需 的方法。这就是我发现的坏处。

我还认为正确的名称应该是 ICountable 代表 IReadOnlyCollection 和 IIndexable 代表 IReadOnlyList：

IEnumerable<T> 
.GetEnumerator()
      -> ICountable<T> : IEnumerable<T>
      .Count
            -> IIndexable<T> : ICountable<T>
            .Item[...]
                     -> IList<T> : IIndexable<T>
                     .Add(...)
                     .Clear()
                     .Contains(...)
                     (etc)

Answer 1

@w.b 在包含答案的 cmets 中添加指向 New interfaces IReadOnlyList and IReadOnlyDictionary 的链接：

为什么我们不改变现有的接口来扩展只读接口？

它看起来是一个合理的假设，因为只读接口纯粹是读写接口的子集。不幸的是，它是不兼容的，因为在元数据级别，每个接口上的每个方法都有自己的槽（这使得显式接口实现工作）。

---

伊莫兰德韦斯 | .NET 框架团队 (BCL) | http://blogs.msdn.com/b/bclteam/

为了更清楚地解释这一点：

假设为 .NET 4.0 编写的程序包含一个实现 IList<T> 的类 MyList<T>。它显然无法实现IReadOnlyList<T>，因为该接口不存在。

现在假设系统管理员安装了 .NET 4.5，并假设 .NET 4.5 使 IList<T> 实现 IReadOnlyList<T>。

如果程序随后被加载，运行时会检测到MyList<T> 声称实现了IList<T>，但实际上并未实现所有方法：它没有实现IReadOnlyList<T> 的方法。该程序将不再起作用。

C# 编译器可能能够按名称匹配方法，但运行时不这样做。由于 .NET 4.5 应该具有向后二进制兼容性，因此无法扩展接口以实现其他接口，即使这些其他接口包含所需方法的严格子集也是如此。