java - 接口(interface)和协变返回类型

Question

以下代码未编译，并在 第 1 行 处给出以下错误

The return type is incompatible with 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 接口(interface)方法，但仍然存在此编译错误。

Answer 1

C 不起作用。

因为如果C是B，那么我期望从m1返回一个String。因此 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 "";
    }
}