Как реализуются ковариантность и контравариантность в обобщённых интерфейсах и делегатах в C#, и какие у них основные задачи?

Ковариантность в C#

Ковариантность включается через ключевое слово out и позволяет использовать более производный тип, чем было указано изначально. Это особенно полезно с интерфейсами, которые только возвращают значения.

Например, ты можешь присвоить IEnumerable<Derived> переменной типа IEnumerable<Base>. Это работает потому, что интерфейс только отдаёт данные, поэтому безопасно рассматривать производные типы как их базовые.

Контравариантность в C#

Контравариантность включается через ключевое слово in и позволяет использовать менее производный тип, чем было указано изначально. Это обычно применяется к делегатам и интерфейсам, которые только принимают входные параметры.

Например, действие, принимающее тип Base, можно присвоить делегату, ожидающему тип Derived:

Практическое применение

• Интерфейсы: объявляй IInterface<out T> для ковариантности (только вывод) или IInterface<in T> для контравариантности (только ввод)
• Делегаты: используй контравариантность, чтобы передавать менее специфичные обработчики там, где ожидаются более специфичные
• Коллекции: используй ковариантность при чтении из обобщённых коллекций производных типов

Главный принцип

Эти модификаторы вариантности обеспечивают типобезопасность и позволяют гибко присваивать обобщённые типы. Они позволяют твоему коду работать с иерархией типов более естественно — без явного приведения типов и лишних вспомогательных методов.