¿Puede la varianza de C# 4.0 ayudarme a llamar a un constructor de clase base con un upcast?

Question

Estaba leyendo un poco sobre varianza genérica y todavía no lo entiendo completamente, pero me gustaría saber si hace algo como lo siguiente posible.

class A<T> { } 

class B { } 

class C : B { } 

class My1 { 
    public My1(A<B> lessDerivedTemplateParameter) 
    { 
    } 
} 

class My2 : My1 { 
    public My2(A<C> moreDerivedTemplateParameter) 
     : base(moreDerivedTemplateParameter) // <-- compile error here, cannot convert 
    { 
    } 
} 

Answer 1

No, porque mientras C hereda de B, A<C> no se heredan de A<B>.

Para entender por qué esto es así, imagínese si A<T> eran lugar List<T>:

class B { } 

class C : B { } 

class D : B { } 

class My1 { 
    public My1(List<B> lessDerivedTemplateParameter) 
    { 
     // This is totally legal 
     lessDerivedTemplateParameter.Add(new D()); 
    } 
} 

class My2 : My1 { 
    public My2(List<C> moreDerivedTemplateParameter) 
     // if this were allowed, then My1 could add a D to a list of Bs 
     : base(moreDerivedTemplateParameter) 
    { 
    } 
} 

Ahora, por otro lado, esto es legal:

interface IA<out T> { 
    public T GetSome(); 
} 

class B { } 

class C : B { } 

class D : B { } 

class My1 { 
    public My1(IA<B> lessDerivedTemplateParameter) 
    { 
     // This is totally legal 
     var someB = lessDerivedTemplateParameter.GetSome(); 
    } 
} 

class My2 : My1 { 
    public My2(IA<C> moreDerivedTemplateParameter) 
     // This is allowed, because an A<C> only *produces* C's (which are also B's) 
     // so the base class (which consumes B's, and doesnt care if they are C's) 
     // can use an IA<C> 
     : base(moreDerivedTemplateParameter) 
    { 
    } 
} 

Answer 2

Puede declarar una como una interfaz con un parámetro de tipo contravariante y compilará:

internal interface A<out T> 
    { 
    } 

    internal class B 
    { 
    } 

    internal class C : B 
    { 
    } 

    internal class My1 
    { 
    public My1(A<B> lessDerivedTemplateParameter) 
    { 
    } 
} 

internal class My2 : My1 
{ 
    public My2(A<C> moreDerivedTemplateParameter) 
     : base(moreDerivedTemplateParameter) 
    { 
    } 

}