インタフェースと共変戻り値の型

Question

コードがコンパイルされていませんに従い、Line 1

戻り値の型で、次のエラーを与えているがB.m1（）

今

interface A { 
    Object m1(); 
} 

interface B { 
    String m1(); 
} 

abstract class C implements A,B { 
    @Override 
    public Object m1() //Line 1 
    { 
     return new Object(); 
    } 
} 

class D extends C { 

    @Override 
    public String m1() { 
     return ""; 
    } 

} 

、私のクエリと互換性がありませんObjectとStringはcovariant、class Cは抽象クラスです。AとBの両方を実装していますが、なぜこのコンパイルエラーがあるのですか？インタフェースメソッド。

Answer 1

Cは機能しません。

CがBの場合は、Stringをm1に戻すことを期待しています。したがってBはAとして機能しますが、その逆はありません。だからCは動作しません。

final A a = new C(){}; 
final Object res = a.m1(); //fine, `m1` returns an `Object`. 

final B b = new C(){}; 
final String res = b.m1(); //bang 

は、ここでは、Bがm1()からStringを返しますが、あなたの実装がObjectを返すことがわかります。このコンパイルでは、これが発生することはできません。

Liskov substitution principleを参照してください。 CがBの場合、私はBをどこにでも持っています。私はこれをCに置き換えることができます。あなたの例ではそうではありません。

---

これはうまくいくでしょう - なぜ表示されますか？

abstract class C implements A, B { 
    @Override 
    public String m1() { 
     return ""; 
    } 
}