なぜインタフェース実装がより特定の型を返すことができないのですか？

Question

インターフェイスが別のインターフェイスを返すプロパティまたはメソッドを指定している場合、最初のインターフェイスの実装で戻り値の型をより具体的な型に "変更"できないのはなぜですか？

がさんは説明するために例を見てみましょう：

interface IFoo 
{ 
    IBar GetBar(); 
} 
interface IBar 
{ } 

class Foo : IFoo 
{ 
    // This is illegal, we are not implementing IFoo properly 
    public Bar GetBar() 
    { 
     return new Bar(); 
    } 
} 

class Bar : IBar 
{ } 

私はを知ってそれを動作させるためにどのように、それはない私の懸念があります。

私はどちらかの可能

：IBarからGetFoo()、または

の

• 変更戻り値の型が明示的インターフェイスを実装し、ちょうど私が本当に求めています何

IFoo.GetBar()方法からGetBarを呼び出します上記のコードをコンパイルするだけではない理由があります。上記がIFooで指定された契約を履行しない場合がありますか？

Answer 1

通常、私は、そのような機能をサポートすることの追加された複雑さと利益のバランスをとるケースであると言いたいと思います。 （すべての機能は、設計、文書化、実装、テストに努力し、開発者はそれらについても教育を受ける必要があります）。例えば、インタフェースを実装した値の型を返すことをサポートしたい場合は、 （それはちょうど参照ではなく、別の表現で終わる）。

CLRはこのような機能もサポートしているため、C＃がきれいに処理するのが非常に難しくなります。

私はそれが有用な機能となることに同意しますが、余分な作業を保証するのに十分ではないと思われます。

Answer 2

あなたがお尋ねしている機能は、「戻り値の共分散」と呼ばれています。 on Wikipediaと記されているように、JavaとC++の両方がそれを持っています。おそらく、C＃はそれを驚かせるでしょう。

Eric Lippertは、この回答のコメントで、この機能が実装されていないと判断したため、この機能が実装されていないことを確認しています。 （この回答の以前の改訂版は、個人的にこの決定に責任を負っていました;彼はこれが間違っていると言います。もし誰かが責任を負うなら、それはAnders Hejlsbergでした）。それは言語（https://github.com/dotnet/roslyn/issues/357、https://github.com/dotnet/csharplang/blob/master/proposals/covariant-returns.md、https://github.com/kingces95/coreclr/issues/2を参照）にあるので、おそらくそれは今後数年以内に実装されるでしょう。これらの議論では、C＃に機能が存在してはならない深刻な理由があるようには思えません。 - むしろ、実現しようとする人の価値があると判断されたことはありません。