共分散/ contravariance：次のコードは、

Question

UPDATEコンパイルする方法：次のコードは、唯一のC＃4.0（Visual Studioの2010）で理にかなってを

私は、共分散/ contravariance物のいくつかの誤解が生じていますように思えます。誰も私に次のコードがコンパイルされない理由を教えてもらえますか？

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
     where TDerived: TBase 
    { 
     return values; 
    } 
} 

この1つはコンパイルしながら：（!!!）

public interface IBase 
{ 
} 
public interface IDerived: IBase 
{ 
} 
public class TestTwo 
{ 
    public IEnumerable<IBase> Method(IEnumerable<IDerived> values) 
    { 
     return values; 
    } 
} 

Answer 1

共分散は（型引数のための）タイプを参照するために適用されますので、あなたは、クラスの制約を追加する必要があります。

public IEnumerable<TBase> Method<TDerived>(IEnumerable<TDerived> values) 
    where TDerived : class, TBase 
{ 
    return values; 
} 

IEnumerable<int>をIEnumerable<object>に変換しようとすると、無効になります。これは無効です。

Answer 2

実際にTDerivedが必要な状況は考えられません。 TBaseを使用することで十分である：すべての後に

public class TestOne<TBase> 
{ 
    public IEnumerable<TBase> Method(IEnumerable<TBase> values) 
    { 
     return values; 
    } 
} 

、あなたはおよそTDerived離れ事実から、それはTBaseであるという情報を持っていない...

Answer 3

どちらも最初は私のためにコンパイル。どちらもSuper（T/I）からBase（T/I）への暗黙のキャストに失敗しました。しかし明示的なケースを追加すると、両方ともコンパイルされました。

public IEnumerable<TBase> Method<TSuper>(IEnumerable<TSuper> values) 
    where TSuper: TBase 
    { 
     return (IEnumerable<TBase>) values; 
    }