协变返回类型指子类重写父类方法时可将返回类型声明为父类返回类型的子类型，Java 5起支持，仅适用于引用类型，要求方法签名一致且父类方法非private或static。
Java 中多态通过方法重写实现运行时绑定，而返回值类型的协变（Covariant Return Type）是支撑多态灵活性的关键细节之一——它允许子类重写方法时，返回比父类更具体的类型，前提是二者构成继承关系。
什么是协变返回类型
协变返回类型指：当父类方法声明返回一个引用类型（如 Animal），子类重写该方法时，可将返回类型缩小为它的子类（如 Dog 或 Cat），只要子类类型在继承链中是父类类型的“具体化”。这从 Java 5 开始正式支持，本质是编译器认可这种类型兼容性，且不破坏多态语义。
基本类型和 void 不允许协变
协变仅适用于引用类型。对基本数据类型（int、boolean 等）或 void，子类重写时必须严格保持返回类型一致：
- 父类方法返回 int，子类不能改回 long 或 Integer（后者虽是包装类，但不是继承关系，不算协变）
- 父类方法是 void，子类重写也必须是 void
协变的合法边界与常见错误
协变要求子类返回类型必须是父类返回类型的**直接或间接子类**，且不能跨继承体系：
立即学习“Java免费学习笔记（深入）”；
- ✅ 合法：
Parent: Fruit get();→Child: Apple get();（Apple extends Fruit） - ❌ 非法：
Parent: List<String> get();→Child: ArrayList<String> get();（虽然 ArrayList 是 List 实现类，但泛型擦除后类型签名不满足协变判定规则；需注意：Java 允许此写法，但它是基于接口实现的协变，非泛型参数层面的协变） - ❌ 非法：
Parent: String get();→Child: Object get();（Object 是 String 的父类，方向反了，属于逆变，不被允许）
@Override 注解与编译检查
使用 @Override 注解不是强制的，但强烈建议添加。它能帮助编译器提前发现是否真正在重写——比如返回类型不满足协变规则、方法签名有细微差异（如参数类型自动装箱导致误判）、或父类方法被 private/final/static 修饰而实际不可重写。一旦标注，编译器会校验所有重写约束，包括协变合法性。
