LSP的协方差和逆方差

Question

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

Answer 1

我不会说Liskov's Substitution Principle是协方差的一种“形式”，就像通用协方差允许Liskov's Substitution Principle以通用关系表示一样。从LSP4/LSP4开始，您可以将IEnumerable<Banana>视为IEnumerable<Fruit>，并且应该能够做到这一点而不会出现任何令人讨厌的意外--这基本上就是LSP所需要的。