Covarianza, Contravarianza e Invarianza - Tensho97/Aprende-a-Aprender GitHub Wiki
La Covarianza quiere decir que sobre un tipo de objeto <T>
se relacionará con sus subtipos. En otras palabras, con los tipos que heredan de <T>
.
Ejemplo:
Los arrays son de tipo covariante, es decir:
Que sobre un Array <T>
se podrán añadir objetos de tipo <T>
o subtipos de este.
List [Vehículos] que sería de tipo <T>
y podriamos añadir objetos de tipo
<Coche>, <Tren>, <Camion>, <Moto>.....
La contravarianza quiere decir que sobre un objeto de tipo se relacionarán con los supertipos de .
Ejemplo:
En proceso....
La invarianza de un objeto de tipo <T>
solo se relacionará con objetos de su mismo tipo. Es decir ni con super tipos ni subtipos.
Ejemplo:
Genericos..... En proceso También.
Autores: Vanesa & Julián