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

Question

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

Answer 1

我不会这么说Liskov's Substitution Principle是协方差的一种“形式”，就像泛型协方差允许 LSP 以泛型关系表示一样。从 C# 4/.NET 4 开始，您可以将 IEnumerable<Banana> 视为作为IEnumerable<Fruit>并且应该能够在没有任何令人讨厌的意外的情况下做到这一点 - 这基本上就是 LSP 所需要的。