c#-4.0 - LSP 的协方差和逆变

Question

LSP与协方差和逆变之间有什么关系？有什么关系吗？LSP 是协方差的一种形式吗？

Answer 1

我不会说Liskov 的替换原则是协方差的一种“形式”，正如泛型协方差允许 LSP 以泛型关系表示一样。从 C# 4 / .NET 4 开始，您可以将 anIEnumerable<Banana>视为 anIEnumerable<Fruit>并且应该能够在没有任何令人讨厌的惊喜的情况下这样做——这基本上是 LSP 所需要的。