c#-4.0 - LSPとの共変性と反変性

Question

LSPと共変性と反変性の関係は何ですか？何か関係はありますか？LSPは共分散の一形態ですか？

Answer 1

リスコフの置換原則が共分散の「形式」であるとは言えません。一般的な共分散により、LSPを一般的な関係で表現できるからです。IEnumerable<Banana>C＃4 / .NET 4の時点では、をとして扱うことIEnumerable<Fruit>ができ、厄介な驚きなしにそうすることができるはずです。これは、基本的にLSPが必要とするものです。