爲什麼我不能使用兩個泛型類型參數的協方差？

Question

請看下面的例子：

class Base {} 

class Derived : Base {} 

class Test1 
{ 
    private List<Derived> m_X; 

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

這編譯就好了，因爲IEnumerable<T>是協在T。

但是，如果我做同樣的事情，但現在仿製藥：

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

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

我得到的編譯器錯誤

無法轉換表達式類型 「System.Collection.Generic.List」返回類型 'System.Collection.Generic.IEnumerable'

我在做什麼錯在這裏？

Answer 1

事情是，在第一種情況下，Base被稱爲一類。在第二種情況下，類型參數T可以是類或結構（這是編譯器認爲的）。

通過指定T是一類解決的情況下，錯誤將消失：

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

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

因此，編譯器試圖向我們表明TDerived可能是一個結構（因爲你沒有指定class約束）和as wealready know,協方差和逆變不適用於結構。