Perché non posso usare la covarianza con due parametri di tipo generico?

Question

consideri il seguente esempio:

class Base {} 

class Derived : Base {} 

class Test1 
{ 
    private List<Derived> m_X; 

    public IEnumerable<Base> GetEnumerable() 
    { 
     return m_X; 
    } 
} 

Questo compila bene, perché è IEnumerable<T>covariant in T.

Tuttavia, se faccio esattamente la stessa cosa, ma ora con i generici:

class Test2<TBase, TDerived> where TDerived : TBase 
{ 
    private List<TDerived> m_X; 

    public IEnumerable<TBase> GetEnumerable() 
    { 
     return m_X; 
    } 
} 

ottengo l'errore del compilatore

Impossibile convertire il tipo di espressione 'System.Collection.Generic.List' per restituire il tipo 'System.Collection.Generic.IEnumerable'

Cosa sto facendo di sbagliato qui?

Answer 1

Il motivo è, nel primo caso, lo Base è noto per essere una classe. Nel secondo caso, il parametro type T potrebbe essere di classe o struct (come pensa il compilatore).

risolvere il caso, specificando che T è una classe, e l'errore scompare:

class Test2<TBase, TDerived> where TDerived : class, TBase 
{ 
    private List<TDerived> m_X; 

    public IEnumerable<TBase> GetEnumerable() 
    { 
     return m_X; 
    } 
} 

Così, il compilatore cerca di ci mostrano che TDerived potrebbe essere una struct (dal momento che non è stato specificato class vincolo) e as wealready know, covarianza e controvarianza non funzionano con le strutture.