我了解，如果 S 是 T 的子类，那么 List<S> 不是 List<T> 的子类。美好的。但是接口有不同的范式：如果Foo 实现了IFoo，那么为什么List<Foo> 不是List<IFoo>（的一个例子）？
由于没有实际的类IFoo，这是否意味着在公开List<IFoo> 时我总是必须转换列表的每个元素？或者这只是糟糕的设计，我必须定义自己的集合类ListOfIFoos 才能使用它们？在我看来两者都不合理......
鉴于我正在尝试对接口进行编程，公开此类列表的最佳方式是什么？我目前倾向于在内部将我的List<Foo> 实际存储为List<IFoo>。
【问题讨论】：
如果List<IFoo>，您的List<Foo> 不是子类，因为您不能在其中存储MyOwnFoo 对象，而这也恰好是IFoo 实现。 (Liskov substitution principle)
存储List<IFoo> 而不是专用的List<Foo> 的想法是可以的。如果您需要将列表的内容转换为它的实现类型，这可能意味着您的接口不合适。
【讨论】：
以下是您为什么不能这样做的示例：
// Suppose we could do this...
public List<IDisposable> GetDisposables()
{
return new List<MemoryStream>();
}
// Then we could do this
List<IDisposable> disposables = GetDisposables();
disposables.Add(new Form());
此时，为保存 MemoryStreams 而创建的列表现在包含一个表单。不好！
所以基本上，存在这个限制是为了维护类型安全。在 C# 4 和 .NET 4.0 中，会有 limited 对此的支持（它被称为 variance），但它仍然不支持这种特定场景，原因正是上面给出的.
【讨论】：
在您的返回函数中，您必须使列表成为接口列表，并且在创建对象时，将其作为实现它的对象。像这样：
function List<IFoo> getList() { List<IFoo> r = new List<IFoo>(); for(int i=0;i<100;i++) r.Add(new Foo(i+15)); return r; }
【讨论】：
大规模编辑
你可以用 C# 4.0 来做，但是 [感谢 Jon]
您可以使用ConvertAll 解决它：
public List<IFoo> IFoos()
{
var x = new List<Foo>(); //Foo implements IFoo
/* .. */
return x.ConvertAll<IFoo>(f => f); //thanks Marc
}
【讨论】：
简单的答案是List<Foo> 与List<IFoo> 不同，就像DateTime 与IPAddress 不同一样。
但是，您拥有IFoo 的事实意味着IFoo 的集合预计至少包含IFoo 的两个实现（FooA、FooB 等...），因为如果您期望IFoo、Foo 的实现只有一种，那么IFoo 类型是多余的。
因此，如果接口只有一种派生类型，请忘记接口并节省开销。如果一个接口有两个或多个派生类型，则始终在集合/泛型参数中使用该接口类型。
如果您发现自己在编写 thunking 代码，则可能存在设计缺陷。
【讨论】：
如果在发明 IList<T> 时，Microsft 已经意识到 .net 的未来版本将支持接口协变和逆变，那么将接口拆分为 IReadableList<out T>、@987654323 将是可能且有用的@ 和 IList<T> 将继承上述两者。这样做会给 vb.net 实现者带来少量额外工作（他们必须同时定义索引属性的只读和读写版本，因为出于某种原因 .net 不允许读写属性作为只读属性），但这意味着只需要从列表中读取项目的方法可以以协变方式接收IReadableList<T>，而只需要它们可以附加到的集合的方法可以接收@ 987654326@ 以逆变方式。
不幸的是，今天实现这种事情的唯一方法是，如果 Microsoft 提供一种新接口替代旧接口的方法，旧接口的实现会自动使用新接口提供的默认方法。我认为这样的功能（界面可替代性）会非常有帮助，但我不会屏住呼吸等待微软实现它。
鉴于无法将IReadableList<T> 反向拟合到IList<T>，另一种方法是定义自己的列表相关接口。这样做的一个困难是System.Collections.Generic.List<T> 的所有实例都必须替换为其他类型，尽管如果要在包含单个System.Collections.Generic.List<T> 字段并定义了与系统类型之间的扩展转换（使用结构而不是类意味着代码将避免在任何不需要结构的情况下进行转换时创建新堆对象的需要盒装）。
【讨论】：