List <T>が共変なインターフェイスで無効なのはなぜですか？MyInterface

Question

a previous questionの質問に続き、これは共分散の問題として識別されています。

class Program 
{ 
    static void Main(string[] args) 
    { 
     IFactory<IProduct> factory = new Factory(); 
    } 
} 

class Factory : IFactory<Product> 
{ 
} 

class Product : IProduct 
{ 
} 

interface IFactory<out T> where T : IProduct 
{ 
    List<T> MakeStuff(); 
} 

interface IProduct 
{ 
} 

は私が取得：次のように私はIFactoryを変更した場合、さらにこの1歩を踏み出し

無効な差異：型パラメータTがSandbox.IFactory.MakeStuff上の不変有効である必要があります（）。 Tは共変数である。

なぜこれは不変ではありませんか？これはどのように解決できますか？

Answer 1

@Craig's answerが正しいです。解決するには、それを変更します。

IEnumerable<T> MakeStuff() 

EDIT：理由として、IEnumerable<T> Interfaceの定義を見て：IList<T> Interfaceは、outキーワードを持っていないことを

public interface IEnumerable<out T> : IEnumerable 

注意を。差異は、クラスではなくインターフェイスと代理人のジェネリック型パラメータでサポートされているため、List <T>には適用されません。

Answer 2

List<T>からオブジェクトを追加または削除できるため、リストが関数結果であっても、Tは常に不変でなければなりません。 var l = MakeStuff()を実行すると、リストに項目を入れたり取り出したりできるので、Tは不変でなければなりません。

Answer 3

他の回答は正しいが、コンパイラがこれを安全でないとフラグする理由を推論するのは有益である。私たちがそれを許したとしよう。何がうまくいかないでしょうか？

class Sprocket: Product {} 
class Gadget : Product {} 
class GadgetFactory : IFactory<Gadget> 
{ 
    public List<Gadget> MakeStuff() 
    { 
     return new List<Gadget>() { new Gadget(); } 
    } 
} 
... later ... 
IFactory<Gadget> gf = new GadgetFactory(); 
IFactory<Product> pf = gf; // Covariant! 
List<Product> pl = pf.MakeStuff(); // Actually a list of gadgets 
pl.Add(new Sprocket()); 

ちょっと、ガジェットだけを含むリストにスプロケットを追加しました。

コンパイラが問題を検出できる場所は1つだけあり、それはインターフェイスの宣言にあります。

ご迷惑をおかけして申し訳ございません。私はもっ​​と良いものを考え出すことができませんでした。