Qual o problema com List<Animal> lista = new List<Girafa>()
?
Não funciona pois a classe genérica List<T>
permite inserir na lista.
Veja, não posso adicionar Camelo numa lista de Girafas:
List<Animal> animais = new List<Girafa>();
animais.Add(new Camelo()); // se a lista é de animais,
// então deveria ser possível
// inserir camelos nela
Usando LINQ com uma lista da classe de base
Se você tem uma lista de Animal
, e quer tratar apenas os elementos que são Girafa
, das duas uma:
Faz um cast de todos os elementos para Girafa:
animais.Cast<Girafa>().Select(girafa => girafa.PropriedadeDaGirafa);
Seleciona dentre todos os animais, somente os que são Girafa
:
animais.OfType<Girafa>().Select(girafa => girafa.PropriedadeDaGirafa);
A escolha depende de você saber de antemão que todos os elementos da lista são de fato Girafas ou se podem haver outros animais diferentes na lista.
Qual é do papo de Variância?
Variância é a forma com que o tipo varia com o parâmetro genérico (é mais fácil entender com os exemplos! =D ).
No C# só se aplica variância a interfaces e delegates genéricos.
Covariância: suponha uma interface IS<T>
. IS
e T
são covariantes quando IS
varia junto com T
. Assim sendo isso é válido:
Animal a = (Girafa)g;
IS<Animal> ia = (IS<Girafa>)ig;
Contra-variância: suponha outra interface IE<T>
. IE
e T
são covariantes é quando IE
varia contrariamente a T
. Assim sendo isso é válido:
Animal a = (Girafa)g;
I<Girafa> ig = (I<Animal>)ia;
Uma questão que sobra é o que faz um tipo ser covariante ou contra-variante com relação ao seu parâmetro?
Ou melhor, que característica do tipo faz os exemplos acima serem verdadeiros?
Vou explicar usando as interfaces dos exemplos acima.
Covariância - IS<T>
Ocorre quando T
é usado apenas como saída do tipo IS<T>
. Por isso, se anota o parâmetro genérico com out
:
interface IS<out T>
{
T LerValor();
}
Vamos testar pra ver se vai dar problema:
IS<Animal> ia = (IS<Girafa>)ig;
Animal a = ia.LerValor(); // parece bom... IS<Girafa>.LerValor()
// retorna Girafa, que é um Animal.
// Beleza!
Contra-variância - IE<T>
Ocorre quando T
é usado apenas como entrada do tipo IE<T>
. Por isso, se anota o parâmetro genérico com in
:
interface IE<in T>
{
void EscreveValor(T valor);
}
Vamos testar pra ver se vai dar problema:
IE<Girafa> ig = (IE<Animal>)ia;
ig.EscreveValor( (Girafa)g ); // parece bom... IE<Animal>.EscreveValor()
// recebe Animal, então se eu só puder passar
// Girafa's tá de boa, pois Girafa é Animal.
// Beleza!
Composição de vários níveis de variância
Fica mais fácil entender usando delegates neste caso.
Vou definir eles assim:
delegate T DS<out T>();
delegate void DE<in T>(T valor);
Vamos a algumas afirmações e alguns códigos para demonstrar:
A saída da saída é uma saída
DS<DS<Girafa>> ssg = () => () => new Girafa();
DS<DS<Animal>> ssa = ssg;
// vou receber uma girafa (como sendo um animal)
Animal a = ssa()();
A entrada da saída é uma entrada
DS<DE<Animal>> sea = () => a => Console.WriteLine(a);
DS<DE<Girafa>> seg = sea;
// vou passar uma girafa (mas o delegate sabe usar qualquer animal)
var g = new Girafa();
seg()(g);
A saída da entrada é uma entrada
DE<DS<Animal>> esa = sa => Console.WriteLine(sa());
DE<DS<Girafa>> esg = esa;
// vou passar uma girafa (mas o delegate sabe usar qualquer animal)
var g = new Girafa();
esg(() => g);
A entrada da entrada é uma saída
DE<DE<Girafa>> eeg = eg => eg(new Girafa());
DE<DE<Animal>> eea = eeg;
// vou receber uma girafa (através do delegate)
Animal a;
eea(a2 => a = a2);
Tentei fazer uma imagem para explicar, não sei se está confusa, se estiver me falem que eu mudo ou tiro ela.