能，但仅限子类重写父类方法时返回更具体的子类型，即协变返回类型；要求父类返回类类型，子类返回其子类，且必须使用@override。
Java 方法重写时返回类型能变吗
能，但只在子类重写父类方法时允许返回更具体的子类型——这就是返回类型协变（covariant return type）。它不是泛型或类型推导的产物，而是编译器对 override 的一项特例支持。
常见错误现象：javac 报错 return type is incompatible with，往往是因为没意识到父类方法返回的是父类引用，而子类想返回子类实例，却忘了加 @Override 或写错了签名。
- 必须是重写（
@Override），不能是重载；否则编译不通过 - 父类方法返回类型必须是类（不能是基本类型或
void），且子类返回类型必须是其子类 - 接口默认方法、静态方法、私有方法都不支持协变返回
- 泛型类型擦除后若实际类型相同（如
List<string></string>和ArrayList<string></string>），不算协变——协变只看原始类层次，不看泛型参数
协变返回类型的典型使用场景
最常见于构建者模式（Builder Pattern）和克隆方法（clone()）中，避免每次调用都强制转型。
比如父类 Animal 有个 copy() 方法返回 Animal，子类 Dog 重写后返回 Dog，调用方就不用写 (Dog) dog.copy()。
立即学习“Java免费学习笔记（深入）”；
class Animal {
Animal copy() { return new Animal(); }
}
class Dog extends Animal {
@Override
Dog copy() { return new Dog(); } // ✅ 合法协变
}
注意：如果父类方法返回 Object，子类返回 String 也合法，但实际开发中极少这么用——语义不清，容易误导。
为什么编译器允许协变但运行时不检查
因为协变是纯编译期特性。JVM 字节码里方法签名仍以父类返回类型为准（即 descriptor 中仍是父类全限定名），只是 javac 在编译子类时悄悄生成桥接方法（bridge method）来兼容多态调用。
性能影响几乎为零，但要注意：反编译后可能看到一个合成的 Animal copy() 桥接方法，它内部调用你的 Dog copy()。这不是 bug，是标准行为。
- IDE 调用提示显示的是你写的子类返回类型，不是桥接方法的
- 用反射获取
Method.getReturnType()得到的是你声明的子类类型（Dog.class），不是桥接后的父类类型 - 如果用字节码工具（如 ASM）直接操作，得留意桥接方法的存在，否则可能覆盖错方法
容易踩的坑：泛型 + 协变 = 不成立
很多人以为 List<string></string> 是 Collection<string></string> 的子类型，所以返回类型也能协变。错。Java 泛型是不可变（invariant）的。
以下代码会编译失败：
class Base { Collection<String> getItems() { return new ArrayList<>(); } }
class Sub extends Base {
@Override
List<String> getItems() { return new ArrayList<>(); } // ❌ 编译错误
}
原因：List<string></string> 和 Collection<string></string> 是两个独立的引用类型，没有继承关系。协变只认类继承链，不认泛型参数关系。
真要返回具体实现类，只能统一用接口类型（如都用 Collection<string></string>），或者放弃协变，靠文档和约定保证实际类型。
协变看起来简单，但一旦混入泛型、数组、原始类型或 lombok 自动生成代码，就很容易掉进类型系统和工具链的认知差里。最稳妥的做法：只在明确存在父子类继承、且返回值语义需要向下收敛时才用，其余情况老实用父类类型收口。
