協變返回類型的接口不通過javac的

Question

編譯我有以下結構：

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.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可以編譯罰款，據因爲我可以看到它應該編譯--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

您在FooBar界面中同時擴展Foo和Bar。因此，您繼承了兩個不兼容的返回類型的方法。 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

在這個javaranch discussion的答案似乎表明這是一個javac錯誤。但是，參考的bug url似乎不起作用。

Answer 3

作爲一種變通方法，你可以做

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

不漂亮，但應該做的伎倆。

Answer 4

我有同樣的問題，它似乎很好，使用Oracle的JDK 7。

Answer 5

這是一個bug in Sun's Java 6 compiler。