java多态中协变返回值要求方法签名完全一致，仅返回类型可为父类返回类型的子类，提升类型安全与开发体验。它属编译期规则，支持引用类型协变（如animal→dog），不支持基本类型或泛型参数，增强ide提示并避免强转。
Java 多态机制中，方法签名保持一致、返回值支持协变，是提升类型安全与调用便利性的关键设计。它不是靠配置实现，而是语言原生支持的编译期规则，让子类在重写时自然返回更具体的类型，避免强转、增强 IDE 智能提示、减少运行时类型错误。
方法签名必须严格一致
协变返回的前提是：子类方法与父类方法具有完全相同的方法名和参数列表（包括数量、顺序、类型）。编译器只根据擦除后的签名判断是否构成重写，参数类型不支持协变或逆变。
- ✅ 合法：父类
public Animal getPet()，子类重写为public Dog getPet() - ❌ 非法：父类
public void feed(Animal a)，子类改成public void feed(Dog d)—— 这属于重载，不是重写，也不满足 LSP - ⚠️ 注意：泛型参数会被擦除，
List<dog></dog>和List<animal></animal>在字节码层面都是List，不能仅靠泛型区分重写
返回类型可声明为子类，但仅限引用类型
协变只适用于返回值位置，且要求父类返回的是引用类型（不能是基本类型或 void）。编译器会校验子类返回类型是否为父类返回类型的子类或相同类型。
- ✅ 支持：
Number→Integer、Object→String、Collection→ArrayList - ❌ 不支持：
int→Integer（基本类型与包装类不属于继承关系）、void→ 任何类型 - ? 实际效果：调用方用父类引用接收结果，却能直接使用子类特有方法，无需显式强转
协变与多态结合，简化业务对象使用
在工厂、策略、模板等模式中，协变让抽象层级与具体实现自然对齐，调用代码更直观、更健壮。
- 订单系统示例：父类
Order createOrder()，子类VipOrder createOrder()，外部直接调用order.getVipBenefits()而不报错 - 集合迭代器场景：
Collection.iterator()返回Iterator，ArrayList重写为返回ListIterator，调用方若持有ArrayList引用，可直接使用hasPrevious()等扩展方法 - 配合泛型接口时注意：接口本身不支持协变声明，但实现类对泛型接口方法的“覆盖”会触发桥接方法，保障多态调用正确路由到特化版本
协变不改变动态绑定逻辑，但影响编译期类型推断
运行时仍按对象实际类型分派方法，但编译器根据引用类型决定可访问的成员。协变让编译期类型信息更精确，从而提升安全性与开发体验。
- 父类引用调用：
Animal a = new Dog(); a.getOffspring()编译时类型是Animal，只能调用Animal的方法 - 子类引用调用：
Dog d = new Dog(); d.getOffspring()编译时类型是Dog，返回值自动为Dog，可链式调用d.getOffspring().bark() - IDE 可据此提供精准补全和错误预警，比如误调用
getOffspring().bark()在Animal引用下会直接标红
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
