O out
e o in
tornam o tipo genérico covariante e contravariante, respectivamente.
Um exemplo de tipo covariante é o IEnumerable
:
public interface IEnumerable <out T>: IEnumerable
{
IEnumerator<T> GetEnumerator();
}
IEnumerable<string> strings = new List<string>();
IEnumerable<object> objects = strings;
Como a função de um IEnumerable
é iterar sobre os membros de uma lista, e todo objeto de um tipo mais específico pode ser atribuído a uma variável de um tipo mais geral (i.e. um objeto string
pode ser guardado numa variável object
), então um objeto que "produz" uma sequência de strings também pode ser usado como "um objeto que produz uma sequência de objetos". Os elementos retornados serão os mesmos (as strings da lista), mas seu tipo estático será object
e não string
.
O contrário não é verdadeiro: um IEnumerable
que produz uma sequência de objetos não pode ser usado [de forma segura] num contexto que espera uma sequência de strings (já que ele também pode produzir coisas que não são strings).
Um exemplo de tipo contravariante é o IComparer
:
public interface IComparer<in T>
{
int Compare(T x, T y);
}
IComparer<object> objects = ...;
IComparer<string> strings = objects;
Nessa caso a relação é oposta: se um IComparer
é capaz de comparar objetos quaisquer, ele também é capaz de comparar strings (pois uma string é um objeto). De modo que ele pode ser usado num contexto que exige um comparador de strings. O contrário não é verdadeiro, pois um comparador que só sabe comparar strings não pode ser usado para comparar objetos arbitrários.
Por fim, um exemplo de tipo invariante (que não é nem co- nem contravariante) é o próprio IList
:
IList<string> strings = new List<string>();
IList<object> objects = new List<objects>();
Como a lista tanto aceita quanto retorna objetos do tipo especificado, não se pode atribuir strings = objects
(pois a lista poderia já conter elementos que não são strings) nem objects = strings
(pois a lista não deveria poder receber elementos que não são strings). A conversão em ambos os sentidos é proibida, de modo a garantir a segurança de tipos. De modo que nem o in
nem o out
devem ser usados na declaração do tipo genérico:
public interface IList<T> ...