Java 接口和协变返回类型

以下代码未编译，在

第1行出现以下错误

返回类型与B.m1（）不兼容

现在，我的查询是
对象
和
字符串
都是
协变的
，而
类C
是抽象类。那么，尽管我同时实现了
A
和
B
接口方法，为什么会出现这种编译错误呢

因为如果
C
是
B
，那么我希望从
m1
返回
字符串。因此，
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（）
返回
字符串，但您的实现返回
对象。编译程序不允许这种情况发生

看。如果
C
是
B
，那么无论我在哪里有
B
，我都应该能够用
C
替换它-在您的示例中，情况并非如此


这会管用的，你知道为什么吗

abstract class C implements A, B {
    @Override
    public String m1() {
        return "";
    }
}

如果你将void作为一种返回类型，它将很好地工作。不，问题请尝试找到答案并澄清我的疑问：）<代码>C
不起作用。因为如果
C
是
B
，那么我希望从
m1
返回
字符串。因此，
B
作为
A
工作，但反之亦然。所以
C
不起作用。看。这不是关于哪个不起作用，而是关于为什么它不起作用？因为你没有这样做-它是反变的。是的，你是对的，这起作用了…：）奇怪，我需要检查并理解你的答案。我要求你告诉我们为什么第二个案例起作用，不能understand@LoneWolf我认为你自己解决这个问题会更有用。阅读关于Liskov的文章，然后应用我在上面所做的相同逻辑。“如果
C
是
B
，那么无论我在哪里有
B
，我都应该能够用
C
替换它。”。不一定是因为
B
可以是
C
或
B
的任何子级。不应该是：“如果
C
是
B
，那么无论哪里有
C
，我都应该能够用
B
替换它。”？@davidxxx通常不能将子类的每个实例都替换为超类-例如，如果您有
ArrayList
，则不能将它们全部替换为
Collection
。但是反过来应该是正确的是
ArrayList
是一个
集合
。
abstract class C implements A, B {
    @Override
    public String m1() {
        return "";
    }
}