Genéricos y Fundición

Question

¿Por qué se compila la siguiente información?

public IList<T> Deserialize<T>(string xml) 
{    
    if (typeof(T) == typeof(bool)) 
     return (IList<T>)DeserializeBools(xml); 

    return null; 
} 

private static IList<bool> DeserializeBool(string xml) { ... do stuff ... } 

pero esto no

public MyClass<T> GetFromDb<T>(string id) 
{ 
    if (typeof(T) == typeof(bool)) 
     return (MyClass<T>)GetBoolValue(id); <-- compiler error here 

    return null; 
} 

private static MyClass<bool> GetBoolValue(string id) { ... do stuff ... } 

Answer 1

La obra razón de interfaces es que cualquier objeto podría aplicar IList<T> (a menos que sea conocido por ser una instancia de un tipo sellado que no lo implementa, supongo) - por lo que siempre hay un posible conversión de tipo de referencia a la interfaz.

En este último caso, el compilador no está dispuesto a hacer eso, ya que no sabe realmente que es T bool, a pesar de la if declaración anterior, por lo que no se sabe lo que la conversión a tratar entre MyClass<T> y MyClass<bool> . Las conversiones válidas a los tipos genéricos son bastante limitadas, lamentablemente.

se puede arreglar con bastante facilidad:

return (MyClass<T>)(object) GetBoolValue(id); 

Es feo, pero debería funcionar ... y al menos en este caso no va a causar ningún boxeo.

Answer 2

C# 4.0 permite la declaración de covarianza y contravarianza en parametrizados interfaz y delegar tipos.

Answer 3

¿Qué pasa si se reemplaza

return (MyClass<T>)

con

return (MyClass<bool>)