Ce este covarianța tipurilor?

Covarianța tipurilor este o proprietate a sistemului de tipuri care permite utilizarea unui tip mai specific (subtip) acolo unde se așteaptă un tip mai general (supertip).

În contextul Java, acest lucru se manifestă adesea atunci când se lucrează cu moștenirea și genericele. De exemplu, dacă clasa Pisică moștenește de la Animal, covarianța permite utilizarea Pisică acolo unde se așteaptă un Animal.

Totuși, în Java, genericele sunt invariabile implicit, adică List<Pisică> nu este un subtip al List<Animal>. Pentru a suporta covarianța, se folosesc tipuri wildcard cu ? extends:

List<? extends Animal> animale = new ArrayList<Pisică>();

Aici, ? extends Animal indică faptul că lista conține obiecte de tip Animal sau subtipurile sale, ceea ce permite citirea obiectelor din listă în siguranță, dar interzice adăugarea de elemente noi (cu excepția null).

Astfel, covarianța ajută la utilizarea subtipurilor în locurile unde se așteaptă tipuri mai generale, păstrând siguranța tipurilor și flexibilitatea codului.