Ковариация и контравариантность (информатика)

• Основы дисперсии

  • Дисперсия описывает, как типы данных изменяются в зависимости от контекста. 
  • В языках с множественной диспетчеризацией типы данных могут быть ковариантными или контравариантными. 
  • Ковариантные типы данных могут быть преобразованы в более конкретные типы, в то время как контравариантные типы данных могут быть преобразованы в менее конкретные типы. 

• Примеры и правила

  • В Java и C# методы могут быть переопределены, но типы параметров должны быть совместимы. 
  • В C# универсальные типы могут быть помечены как ковариантные, контравариантные или инвариантные. 
  • В Scala и Kotlin универсальные типы могут быть помечены как ковариантные или контравариантные. 

• Отклонения и наследование

  • В языках с аннотациями о различиях в местах объявления можно комментировать различия в типах параметров. 
  • В языках с аннотациями об отклонениях от места использования можно комментировать места создания экземпляров универсальных типов. 

• Универсальные типы и интерфейсы

  • В C# параметры типа интерфейса могут быть ковариантными, контравариантными или инвариантными. 
  • В Scala, Kotlin и OCaml типы данных списков являются ковариантными. 
  • В OCaml можно явно указывать различия в типах данных. 

• Примечания к вариантам использования

  • Подход на основе объявления сайта может привести к необходимости делать интерфейсы инвариантными. 
  • Дополнительные интерфейсы могут быть использованы для выявления большего количества различий, но это может быть громоздким. 
  • Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.