Java子类重写父类方法时，返回类型可协变（如Object→String），但须满足：父类返回引用类型、子类返回其非原始子类型、方法签名完全一致，且JDK≥5.0；基本类型、类型擦除泛型或签名不匹配均非法。
Java中子类重写父类方法时，如果返回类型变窄（比如父类返回Object，子类想返回String），编译会报错——这不是多态问题，而是违反了Java的重写规则：重写方法的返回类型必须与父类方法相同，或是其协变返回类型（即子类返回类型是父类返回类型的子类型，且仅适用于引用类型）。但这个“协变”有严格前提：必须是继承关系，且JDK版本需≥5.0。
确认是否满足协变返回类型条件
协变返回只在以下情况合法：
- 父类方法返回的是引用类型（不能是基本类型或
void） - 子类重写方法的返回类型是父类返回类型的**非原始子类型**（如
Object→String、List→ArrayList） - 方法签名完全一致（方法名、参数列表、访问修饰符不能更严格）
例如：
✓ 合法（JDK 5+）：
class Parent { Object getValue() { return new Object(); } }<br>
class Child extends Parent { @Override String getValue() { return "ok"; } }这能编译通过，因为
String是Object的子类。
✗ 非法（编译失败）：
class Parent { Number getValue() { return 1; } }<br>
class Child extends Parent { @Override Integer getValue() { return 1; } }这段代码看似合理，但
Integer确实是Number的子类——它其实合法（JDK 5+支持），常被误判为非法。真正非法的是：int ← Integer（基本类型与包装类互换）、Object ← int（基本类型不能作为返回类型协变）。
避免误用“返回类型变窄”的常见陷阱
很多人想把父类泛型方法的返回类型具体化，比如：
- 父类定义
<T> T get()，子类试图写String get()→ ❌ 不合法，类型擦除后签名不匹配 - 父类返回
Serializable，子类返回String→ ✅ 合法（String实现Serializable） - 父类返回
Comparable，子类返回String→ ✅ 合法（String实现Comparable<String>）
关键看编译期能否判定子类型关系，而非运行时。接口实现也算继承链的一部分。
立即学习“Java免费学习笔记（深入）”；
替代方案：当协变不适用时
如果场景不满足协变条件（如父类返回基本类型、或需要改变参数/类型变量），就不能靠重写解决，应考虑：
-
使用泛型父类：将返回类型抽象为类型参数，子类指定具体类型
abstract class Parent<R> { abstract R getValue(); }<br> class Child extends Parent<String> { @Override String getValue() { return "x"; } } -
组合优于继承：用委托代替继承，避免重写约束
class Wrapper { private final String value; String getValue() { return value; } } -
添加新方法而非重写：保留父类方法，新增类型安全的方法
Object getRaw() { ... }<br> String getString() { return (String) getRaw(); } // 显式转型，配合文档说明
检查IDE和编译器设置
有时报错不是语法问题，而是环境配置导致：
- 确认项目JDK版本 ≥ 1.5（协变返回自JDK 5引入）
- IntelliJ/Eclipse中检查模块语言级别是否设为对应JDK版本
- Maven/Gradle中
source和target是否一致且足够高
例如Gradle中：
java { sourceCompatibility = JavaVersion.VERSION_11 }<br>
compileJava { options.release = 11 } 
