Java方法重写要求返回值兼容：基本类型和void必须严格一致，引用类型支持协变（子类可返回父类返回类型的子类）；泛型、private/static/final方法不适用协变，需用@Override验证。
Java 继承中方法重写对返回值的要求，核心是“兼容性”——不是死板地要求完全相同，而是分情况处理：基本类型必须一致，引用类型允许协变。
基本类型和 void 必须严格一致
如果父类方法返回 int、boolean、void 等，子类重写时不能改成 long、Integer 或其他任何类型，哪怕逻辑上更合理也不行。
- 父类：
int getValue()→ 子类只能重写为int getValue() - 父类：
void print()→ 子类也必须是void print() - 改用
Integer或long会直接编译失败，不满足重写前提
引用类型支持协变返回（Java 5+）
当父类方法返回引用类型（如 Animal、Number、Object），子类可返回它的**具体子类**，这是合法且推荐的写法。
- 父类返回
Animal，子类可返回Dog（Dog extends Animal） - 父类返回
Number，子类可返回Integer或BigDecimal - 父类返回
Object，子类可返回任意非基本类型（如String、List>）
常见错误与避坑点
协变看似灵活，但几个边界条件容易出错：
立即学习“Java免费学习笔记（深入）”；
-
泛型不参与协变判断：
List<string></string>和List<object></object>没有继承关系，不能协变 -
接口方法本身不声明协变：接口定义
Animal get()，实现类可重写为Dog get()；但接口不能直接写Dog get()来约束实现类 - private / static / final 方法不适用：它们根本不能被重写，谈不上返回值规则
- 别漏掉 @Override：没加注解时，返回类型写错可能被当成新方法或重载，编译器不会提醒
怎么快速验证是否合规
写完重写方法后，三步检查：
- 父类方法签名复制过来，只改返回值——其余（方法名、参数列表、异常声明）一字不动
- 确认新返回类型是原返回类型的**真实子类**（IDE 通常能高亮提示继承关系）
- 加上
@Override注解，编译报错就说明不满足重写条件，优先排查返回值和参数
