c# - この方法でインターフェイスを実装できないのはなぜですか?

Question

重複の可能性:
C# は戻り型の共分散をサポートしていますか?

ただのバカなのかも知れない…

インターフェイスがある場合：

public interface IMoop
{
    object Moop();
}

なぜそのように実装できないのですか (これは暗黙の共分散を使用すると思いますか?)

public class MoopImplementor : IMoop
{
    string Moop();
}

MoopImplementor のインスタンスは IMoop によって指定された契約を満たすため、これで問題ないようです。

教えてください:)

編集:明確にするために-実装クラスはInterfacedメソッドの戻り値の型から継承するものを返すため、これは機能するはずだと思います。具体的には、stringIS とobject. （そして、他の継承チェーンについても同じことが言えます）。

score 13 · Accepted Answer

C# は、インターフェイスの実装または仮想メソッドのオーバーライドを目的とした戻り値の型の共変性をサポートしていません。詳細については、この質問を参照してください。

C# は、C# 4 の時点で、型引数の参照型を使用して構築されたインターフェイスとデリゲート型の一般的な共変性と反変性をサポートしています。

また、C# は、参照型を返すメソッドを、戻り値の型が互換性のある参照型であるデリゲート型に変換するときに、戻り値の型の共分散をサポートします。(同様に、パラメーター型の反変性をサポートします。)

このテーマに興味がある場合は、C# でサポートされているバリアンスとサポートされていないバリアンスのさまざまなバージョンについて説明した多数の記事を書いています。見る

詳細については。

score 7 · Accepted Answer

インターフェイスは、メソッドがを返さなければならないことを指定しているためobjectです。はstringから継承objectできますが、インターフェイスは、より一般的な型を返すメソッドを指定します。

ただし、次のことを行うことを妨げるものは何もないことに注意してください。

public object Moop()
{
    return "Some new string";
}

score 4 · Accepted Answer

合理的な回避策:

public class MoopImplementor : IMoop {
  public string Moop() { ... }
  object IMoop.Moop() { return Moop(); }
}

これにより、公開されている実装MoopImplementorは、インターフェイスの要件を満たしながら、より正確な型を持つことができます。

score 3 · Accepted Answer

あなたは契約を満たしていません。ただし、ジェネリックを使用してこれを行うことができます。

public interface IMoop<T>
{
    T Moop();
}

public class MoopImplementor : IMoop<string>
{
    public string Moop() { return ""; }
}

score 2 · Accepted Answer

13.4.4 インターフェースのマッピング

インターフェイスマッピングの目的で、クラスメンバー A は次の場合にインターフェイスメンバー B と一致します。

A と B はメソッドであり、A と B の名前、型、および仮パラメーターリストは同一です。

継承や変換可能性については何も述べていないことに注意してください! 戻り値の型は同一でなければなりません。