¿Puedo tener un tipo que sea ambos, covariante y contravariante, es decir, completamente fungible/modificable con sub y super tipos?

Question

¿Puedo tener un tipo (por ahora olvidando su semántica) que puede ser covariante y también contravariante?

por ejemplo:

public interface Foo<in out T> 
{ 
    void DoFooWith(T arg); 
} 

Off para el blog de Eric Lippert para la carne y las patatas de la varianza en C# 4.0 como hay poco más en cualquier lugar que cubre de tierra adecuada sobre el tema.

---

lo intenté de todas formas, no sólo no permite eso, pero me dice que me falta el punto. Necesito entender el vínculo entre solo lectura, solo escritura y varianza.

Supongo que tengo que leer un poco más.

Pero cualquier respuesta breve, epifanía inductora es bienvenida, mientras tanto.

Answer 1

No, no puedes hacer eso.

Supongamos que fuera legal. Usted hace un IFoo<Giraffe>. Como IFoo es covariante en T, puede convertirlo a través de una conversión de referencia segura a IFoo<object>. Como es contravariante, puede convertir eso a IFoo<Banana>. ¿Qué semántica posible existe para IFoo<T> de modo que tenga sentido poder convertir un IFoo de jirafas en un IFoo de plátanos mediante conversión de referencia? Las jirafas y los plátanos no tienen nada en común más que ser tipos de referencia. No es posible tener un método en IFoo<Banana> que devuelva un Banana, porque podría ser una implementación de IFoo<Giraffe>; ¿Cómo sabría el autor de la implementación repartir un plátano? No es posible tener un método en IFoo<Banana> que tome una banana por la misma razón; el implementador de IFoo<Giraffe> espera que le entregues una jirafa.

Ésta es otra manera de ver las cosas:

• "en T" significa (más o menos) "T aparece sólo en posiciones de entrada".
• "out T" significa (aproximadamente) "T aparece solo en las posiciones de salida".

Por lo tanto, "in out T" significaría ... ¿qué? Como ya hemos visto, solo puede significar que "T no aparece en absoluto en ningún método o propiedad". ¿Cuál es el punto de hacer un tipo genérico en T donde nunca usas T?