共変戻り値の型があるJavac

Question

を経由してコンパイルしていない私は、次の構造を有する：

FooBar.java:2: types Bar and Foo are incompatible; both define fooBar(), but with unrelated return types 
public interface FooBar extends Foo, Bar { 
    ^
1 error 

しかし、Eclipseは罰金それをコンパイルすることができ、そして限り：

public interface BarReturn {} 
public interface FooReturn {} 
public interface FooBarReturn extends FooReturn, BarReturn {} 

public interface Foo { 
    FooReturn fooBar(); 
} 

public interface Bar { 
    BarReturn fooBar(); 
} 

public interface FooBar extends Foo, Bar { 
    FooBarReturn fooBar(); 
} 

javacは、次のメッセージで失敗しますFooBarのfooBar（）メソッドは、共変リターンを使用してFooとBarのfooBar（）メソッドの両方の規約を満たしています。

これはEclipseコンパイルまたはjavacのバグですか？あるいはjavacをコンパイルするよう説得する方法はありますか？参考までに私のjavacオプションは次のようになります：

javac -d /tmp/covariant/target/classes -sourcepath /tmp/covariant/src/main/java: /tmp/covariant/src/main/java/Foo.java /tmp/covariant/src/main/java/BarReturn.java /tmp/covariant/src/main/java/FooBarReturn.java /tmp/covariant/src/main/java/Bar.java /tmp/covariant/src/main/java/FooReturn.java /tmp/covariant/src/main/java/FooBar.java -g -nowarn -target 1.6 -source 1.6 

Answer 1

FooとBarの両方をFooBarインターフェイスで拡張しています。そのため、互換性のない戻り型の2つのメソッドを継承しています。 Javaの共分散は、Liskov置換の後にのみ許可されます。別名では、オーバーライド候補タイプは、オーバーライドされた戻りタイプのサブクラスである必要があります。このべきコンパイルのようなもの上記のあなたの例では

：

public interface BarReturn {} 
public interface FooReturn {} 
public interface FooBarReturn extends FooReturn, BarReturn {} 

public interface Foo { 
    FooReturn fooBar(); 
} 

public interface FooBar extends Foo{ 
    FooBarReturn fooBar(); 
} 

Answer 2

The JLS (§9.4.1)は言う：

インタフェースは オーバーライド-同等のシグネチャを持ついくつかのメソッドを継承することが可能です（§ 8.4.2）。このような状況は、 自体ではコンパイル時エラーが発生しません。インタフェースはすべてのメソッドを継承する とみなされます。ただし、継承されたメソッドの1つは、 は、他の継承されたメソッドの代わりに返される型でなければなりません。 そうでない場合は、コンパイル時エラーが発生（ザ・は節はこのケースではない 原因のエラーを行うスローされます。）

だから私はjavacのが正しいと言うでしょう。しかし、これは私に弁護士の専門用語のように見えるので、私は間違っている可能性があります。

Answer 3

このjavaranch discussionの回答は、javacのバグであることを示唆しているようです。しかし、参照番号bug urlは機能していないようです。

Answer 4

回避策として、あなたは

interface Foo1 extends Foo { 
    FooBarReturn fooBar(); 
} 
interface Bar1 extends Bar { 
    FooBarReturn fooBar(); 
} 
public interface FooBar extends Foo1, Bar1 { } 

きれいではありませんを行うことができますが、トリックを行う必要があります。

Answer 5

同じ問題があり、OracleのJDK 7を使用しても問題ないと思われます。

Answer 6

これはbug in Sun's Java 6 compilerです。