Kas ir tipu kovariancija?

Tipu kovariantība ir īpašība tipu sistēmā, kas ļauj izmantot specifiskāku (apakštipu) tipu tur, kur tiek sagaidīts vispārīgāks (supertips) tips.

Java kontekstā tas bieži izpaužas, strādājot ar mantošanu un ģeneriskiem tipiem (generics). Piemēram, ja klase Kaķis manto no Dzīvnieks, kovariantība ļauj izmantot Kaķis tur, kur tiek sagaidīts Dzīvnieks.

Tomēr Java ģeneriskie tipi pēc noklusējuma ir invarianti, tas ir, List<Kaķis> nav apakštips List<Dzīvnieks>. Lai atbalstītu kovariantību, tiek izmantoti wildcard tipi ar ? extends:

List<? extends Dzīvnieks> dzīvnieki = jauns ArrayList<Kaķis>();

Šeit ? extends Dzīvnieks nozīmē, ka saraksts satur Dzīvnieka vai tā apakštipu objektus, kas ļauj droši lasīt objektus no saraksta, bet aizliedz pievienot jaunus elementus (izņemot null).

Šādā veidā kovariantība palīdz izmantot apakštipus vietās, kur tiek sagaidīti vispārīgāki tipi, saglabājot tipu drošību un koda elastību.