ジェネリックの2つの使用の違い（共分散）

Question

ジェネリックスが共分散をサポートしていないことを理解していると思います。最初の例が機能せず、無効なキャスト例外が発生します。すべてがコンパイルされます。

しかし、2番目の例はなぜ機能しますか？私はそれが同じものであることだけを見ることができます。

MyClassのは、このようなものです：

public interface IGenericClass<T> { } 
public class MyClass : IGenericClass<SomeType> 
{ 
} 

は動作しない：

public class SendingEmail<T> 
{ 
    IGenericClass<T> abc; 
    public void Send(IGenericClass<T> _abc) 
    { 
     this.abc = _abc; 
    } 
} 

用途：また試してみました

var myClass = new MyClass(); 
SendingEmail<MyClass> sendingEmail = new SendingEmail<MyClass>(); 
sendingEmail.Send(IGenericClass<MyClass>myClass); 
//sendingEmail.Send(myClass); This was wrong 

：

それは

---

をコンパイルしたことがないように除去

ワーキング：

class SendingEmail 
{ 
    void Send<T>(MyGenericClass<T> abc) 
    { 

    } 
} 

使用法：

SendingEmail sendingEmail = new SendingEmail(); 
sendingEmail.Send(myclass); 

Answer 1

は、最初の例では、共分散とは何の関係もありません。あなたは簡単に何をT混乱させるのですか？ TはSomeTypeで、その値はMyClassではありません。

2番目の例では、コンパイラが型を正しく推測させ、それがなぜ機能するかを示しています。

編集

問題が解決しないあなたの質問に編集し、あなたはまだTが何であるかを混乱されていますTMyClassでSomeTypeあります。 SendingEmail<T>TSomeTypeabcはIGenericType<T>と入力してください。最終的にはIGenericType<SomeType>になります。

コードではSendingEMail<MyClass>と入力したインスタンスを作成しています。これはabcが実際にはIGenericType<MyClass>と間違っていることを意味します。 IGenericType<SomeType>をsendingEMail(MyClass)と呼び出すときに実際に行っているものであるIGenericType<IGenericType<SomeClass>>に変換することはできません。

あなたがする必要があるのはvar sendingEmail = new SendingEmail<SomeType>()です。

これはタイプの分散に関連していますが、そうではありません。タイプの差異は、例えばIEnumerable<Animal> animals = Enumerable.Emtpy<Tiger>()を行うことができるもので、IList<T>と同じようにすることはできません。 IEnumerableはTで共変であり、IListはTで不変である。

C＃の配列の共分散が崩れていることに注意してください。以下は合法です。Animal[] animals = new Tiger[3]。あなたが合法的にanimals[0] = new Turtle();をやることができ、幸いにも...あなたがランタイム例外を持っているので、それは壊れています。このシナリオは、IListがTで不変である理由とまったく同じです。なぜC＃が配列の共分散を壊したのですか？私は知らないが、私はそれが不幸な（おそらく正当化されているが）設計の決定だと考える。