java - 接口中的协变返回类型未通过 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 。因此，您继承了两种返回类型不兼容的方法。仅当遵循 Liskov 替换时才允许 Java 协方差。Aka，覆盖候选类型必须几乎是覆盖返回类型的子类。

在你上面的例子中，这样的东西应该编译：

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

作为一种解决方法，您可以这样做

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

不漂亮，但应该做的伎俩。

Answer 3

JLS（§9.4.1）说：

一个接口可以继承多个具有重写等效签名的方法（第 8.4.2 节）。这种情况本身不会导致编译时错误。该接口被认为继承了所有方法。但是，其中一个继承方法必须是可替代任何其他继承方法的返回类型；否则，会发生编译时错误（在这种情况下，throws 子句不会导致错误。）

所以我会说javac是对的。但这对我来说似乎是律师行话，所以我可能是错的。

Answer 4

这个javaranch 讨论中的一个答案似乎表明这是一个 javac 错误。但是，引用的错误 url似乎不起作用。

Answer 5

我遇到了同样的问题，使用 Oracle 的 JDK 7 似乎没问题。

Answer 6

这是Sun 的 Java 6 编译器中的一个错误。