未通过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

The JLS (§9.4.1)说：

一个接口可以继承几个具有覆盖等价签名的方法(§8.4.2)。这种情况本身不会导致编译时错误。该接口被认为继承了所有方法。但是，其中一个继承方法必须是可替换任何其他继承方法的返回类型；否则，将发生编译时错误(在这种情况下，throws子句不会导致错误)。

所以我会说javac是正确的。但在我看来这像是律师的行话所以我可能错了。

Answer 3

这个javaranch discussion中的答案似乎表明这是一个javac bug。但是，引用的bug url似乎不起作用。