Ковариантность и Контравариантность с LSP

Question

Какова связь между LSP и Ковариацией и Контравариантностью?Есть ли какие-то отношения?Является ли LSP формой ковариации?

Answer 1

Я бы не сказал, что Принцип замещения Лискова является "формой" ковариации, поскольку общая ковариация позволяет выражать LSP в общих отношениях.Начиная с C # 4 / .NET 4, вы можете рассматривать IEnumerable<Banana> как IEnumerable<Fruit> и должны иметь возможность делать это без каких-либо неприятных сюрпризов - чего, в основном, требует LSP.