Skip to main content
Fim da Recompensa com 50 pontos de reputação concedidos por ComunidadeBot
adicionou 950 caracteres ao conteúdo
Fonte Link
Miguel Angelo
  • 29,2mil
  • 4
  • 85
  • 114

Composições titânicas

Vamos a uns exemplos mais, digamos, complexos:

  • A entrada da saída da entrada da entrada... o que seria? Já respondo: é entrada.

         DE<DE<DS<DE<Animal>>>> eeseg = null;
         DE<DE<DS<DE<Girafa>>>> eesea = eeseg;
    
  • E a entrada da saída ^5 da entrada da saída da entrada da entrada... o que seria? Direto ao ponto: é saída.

         DE<DE<DS<DE<DS<DS<DS<DS<DS<DE<Girafa>>>>>>>>>> eesessssseg = null;
         DE<DE<DS<DE<DS<DS<DS<DS<DS<DE<Animal>>>>>>>>>> eesesssssea = eesessssseg;
    

É possível responder muito rápido a essas questões. Basta contar as entradas.

  • Número par de entradas é saída

  • Número ímpar de entradas é entrada

Mas e as saídas?

R: saídas não afetam em nada

  • A saída da saída ^10000: é saída pois tem número par de entradas (0 é par)

  • A saída ^100 da entrada da saída ^101: é entrada pois possui número ímpar de entradas (apenas 1 entrada)

Composições titânicas

Vamos a uns exemplos mais, digamos, complexos:

  • A entrada da saída da entrada da entrada... o que seria? Já respondo: é entrada.

         DE<DE<DS<DE<Animal>>>> eeseg = null;
         DE<DE<DS<DE<Girafa>>>> eesea = eeseg;
    
  • E a entrada da saída ^5 da entrada da saída da entrada da entrada... o que seria? Direto ao ponto: é saída.

         DE<DE<DS<DE<DS<DS<DS<DS<DS<DE<Girafa>>>>>>>>>> eesessssseg = null;
         DE<DE<DS<DE<DS<DS<DS<DS<DS<DE<Animal>>>>>>>>>> eesesssssea = eesessssseg;
    

É possível responder muito rápido a essas questões. Basta contar as entradas.

  • Número par de entradas é saída

  • Número ímpar de entradas é entrada

Mas e as saídas?

R: saídas não afetam em nada

  • A saída da saída ^10000: é saída pois tem número par de entradas (0 é par)

  • A saída ^100 da entrada da saída ^101: é entrada pois possui número ímpar de entradas (apenas 1 entrada)

Fonte Link
Miguel Angelo
  • 29,2mil
  • 4
  • 85
  • 114

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.

Composição de níveis de variância