Kas yra tipų kovariancija?

Tipų kovariantiškumas yra savybė tipų sistemoje, leidžianti naudoti konkretesnį (subtipą) tipą ten, kur tikimasi bendresnio (supertipo) tipo.

Java kontekste tai dažnai pasireiškia dirbant su paveldėjimu ir generikais. Pavyzdžiui, jei klasė Katė paveldi iš Gyvūnas, kovariantiškumas leidžia naudoti Katė ten, kur tikimasi Gyvūnas.

Tačiau Java generikų numatytasis režimas yra invariantiškas, tai yra, List<Katė> nėra List<Gyvūnas> pogrupis. Kovariantiškumui palaikyti naudojami wildcard tipai su ? extends:

List<? extends Gyvūnas> gyvūnai = new ArrayList<Katė>();

Čia ? extends Gyvūnas reiškia, kad sąrašas turi Gyvūnas arba jo pogrupio objektus, kas leidžia saugiai skaityti objektus iš sąrašo, bet draudžia pridėti naujų elementų (išskyrus null).

Šiuo būdu kovariantiškumas padeda naudoti pogrupius vietose, kur tikimasi bendresnių tipų, išlaikant tipų saugumą ir kodo lankstumą.