C＃とインターフェイスの共分散

Question

インターフェイスについては、C＃の共分散の概念については明確ではありません。厳密に以下の私の例に基づいて、これは共分散の例です、なぜ、なぜそうではないのかを記述してください。

class Program 
{ 
    static void Main() 
    { 
     ICarInterface car = new Car(); 
    } 
} 

interface ICarInterface 
{ 
    void Start(); 
} 

class Car : ICarInterface 
{ 
    public void Start() 
    { 

    } 
} 

Answer 1

これは共分散の例ではなく、単なる多型の簡単な例です。 Hereあなたは共分散と多型の違いを見つけることができます

Answer 2

いいえ、これは実際には共分散ではありません。これは単なるインタフェースの実装です。具体的には、の割り当て互換性の例であるです。 CarクラスはICarInterfaceインターフェイスを実装しているため、ICarInterfaceの変数にCarオブジェクトを割り当てることができます。より具体的なタイプ（）のオブジェクトは、より具体的でないタイプ（ICarInterface）の記憶領域に割り当てられました。これは、2つのタイプが割り当ての目的で互換性があるために機能します。

共分散はわずかに異なります。型の関係は、より具体的なものからより一般的なものへの型の順序を保持するならば、共変（covariant）です。たとえば、IEnumerable<T>はタイプTに対して共変ですので、タイプIEnumerable<Vehicle>（より一般的）とIEnumerable<Car>（より具体的）の順序が保持されます。 （この例では、もちろんCarがVehicleのサブクラスであると仮定しています）。

Eric Lippert has written an excellent article that distinguishes between covariance and assignment-compatibility。わずかに技術的、理論的になりますが、間違いなくそれを読むべきです。私はそれをここでさらに要約しようとすることで正義をしません。

少なくとも私の考えでは分かりやすい例は、戻り値の共分散です。これは、派生クラスの基底クラスメソッドのオーバーライドによって、より具体的な型が返される場所です。たとえば：SavannaとOcean：

abstract class Habitat 
{ 
    public abstract Animal ApexPredator(); 
} 

class Savanna : Habitat 
{ 
    public override Lion ApexPredator() 
    { ... } 
} 

class Ocean : Habitat 
{ 
    public override Shark ApexPredator() 
    { ... } 
} 

この例では、抽象クラスHabitatは、2つの具象サブクラスを持っています。すべての生息地はApexPredatorです。タイプはAnimalです。しかし、Savannaオブジェクトでは、頂点の捕食者はLionですが、Oceanオブジェクトでは、頂点捕食者はSharkです。 LionとSharkの両方がAnimalのタイプであるため、これは法的で安全です。

残念ながら、C＃は戻り値の共分散をサポートしていません。ただし、C++（C++/CLIを含む）、Java、およびその他のオブジェクト指向言語でサポートされています。

ここにいくつかあります。concrete examples of covarianceです。

Answer 3

共変動は、サブタイプおよびジェネリックの相互作用に関連する。あなたのプログラムはジェネリックスを含まないので、共分散の例ではありません。

UはV（例えば​​とV = Fruit）のサブタイプである場合、ジェネリック型G<T>はG<U>がG<V>のサブタイプである場合Tで共変であると言われます。たとえば、IEnumerable<Pear>はIEnumerable<Fruit>のサブタイプです。梨を取って果物を取ることができます。

Gは（G<V>がG<U>のサブタイプである）サブタイプ関係を逆転した場合、Tで反変であると言われます。例えば、Action<Fruit>はAction<Pear>のサブタイプである：あなたが果物を置くことができる何かがで梨を置くために使用することができます

あなたの例では、ICarInterfaceもCarでもないが、それはで共変することができタイプのパラメータを持つ

。

具体的には、C＃では、タイプパラメータTの汎用タイプは、にoutとマークされている場合、共変です。 Tがinとマークされている場合、Tに反変です。