Что такое ковариантность типов?

Ковариантность типов — это свойство системы типов, при котором можно использовать более конкретный (подтип) тип там, где ожидается более общий (супертип).

В контексте Java это часто проявляется при работе с наследованием и обобщениями (generics). Например, если класс Cat наследуется от Animal, то ковариантность позволяет использовать Cat там, где ожидается Animal.

Однако в Java generics по умолчанию инвариантны, то есть List<Cat> не является подтипом List<Animal>. Для поддержки ковариантности используются wildcard-типы с ? extends:

List<? extends Animal> animals = new ArrayList<Cat>();

Здесь ? extends Animal означает, что список содержит объекты типа Animal или его подтипов, что позволяет безопасно читать объекты из списка, но запрещает добавлять новые элементы (кроме null).

Таким образом, ковариантность помогает использовать подтипы в местах, где ожидаются более общие типы, сохраняя безопасность типов и гибкость кода.