协变返回类型：子类重写方法返回类型为何需为父类返回类型或其子类？

好问题！这个规则的核心是为了遵守里氏替换原则（Liskov Substitution Principle）——简单来说，子类对象必须能完全替代父类对象在任何场景下使用，而不会让原有代码出问题。咱们一步步拆解底层逻辑：

1. 协变返回类型的安全前提 #

当你用父类引用指向子类实例时，比如：

House h = new DogHouse();
Object result = h.someMethod();

这里编译器只知道h是House类型，所以它预期someMethod()返回Object。而DogHouse返回的String是Object的子类，能被隐式向上转型为Object，完全符合预期，不会有任何运行时风险。这就是协变返回被允许的原因——它保证了父类引用调用方法时，返回值依然能被正确接收。

2. 为什么不能用无关类型？ #

假设咱们把例子改成父类返回Integer，子类返回String：

public class House { Integer someMethod(){ return 1; } }
class DogHouse extends House{ @Override String someMethod() { return "woof"; } }

这时候如果写这样的代码：

House h = new DogHouse();
Integer num = h.someMethod();

编译器会认为h.someMethod()返回Integer，所以允许赋值给Integer变量。但实际运行时，返回的是String，这会直接抛出ClassCastException——这种运行时错误是Java编译器要尽力避免的。

所以编译器在编译期就会检查：子类重写方法的返回类型必须是父类返回类型的子类型（或者相同），确保无论用父类还是子类引用调用方法，返回值都能被安全接收，不会出现类型不匹配的运行时异常。

3. 底层运行时的逻辑补充 #

Java的方法调用是动态分派的——运行时才确定调用哪个子类的方法，但返回类型的兼容性检查是在编译期完成的。编译器需要确保，不管最终调用的是父类还是子类的方法，返回值的类型都能适配调用处的变量类型。协变返回类型刚好满足这个要求，而无关类型则完全无法保证。

内容的提问来源于stack exchange，提问作者Stefan