协变返回类型指子类重写父类方法时可将返回类型声明为父类返回类型的子类型，如父类返回Animal、子类返回Dog，要求方法签名一致且仅返回类型变窄，自Java 5起支持，提升类型安全与可读性。
Java 中协变返回类型允许子类方法覆盖父类方法时，返回更具体的子类型，而不是完全相同的类型。这从 Java 5 开始支持，主要用于提升类型安全性与代码可读性，尤其在多态体系中避免强制类型转换。
什么是协变返回类型
协变返回类型指子类重写父类方法时，可以将返回类型声明为父类方法返回类型的子类型（即“更具体”的类型）。前提是方法签名（名称、参数列表）完全一致，仅返回类型变窄。
- 父类方法返回
Animal，子类可重写为返回Dog（Dog extends Animal） - 编译器会检查该子类型是否是原返回类型的合法子类，否则报错
- 它不改变多态调用的动态分派机制，只是让静态类型更精确
基本语法与示例
直接在子类中用更具体的类型重写方法即可，无需额外关键字：
class Animal { public Animal getPet() { return new Animal(); } }
class Dog extends Animal { @Override public Dog getPet() { return new Dog(); } }
此时调用 new Dog().getPet() 静态类型是 Dog，无需转型；而通过父类引用调用仍遵循多态：Animal a = new Dog(); Animal pet = a.getPet(); // 返回 Dog 实例，但静态类型是 Animal
Java注释规范Skills
下载
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
协变与泛型、接口的配合
接口和抽象类同样适用协变返回类型，常用于构建流畅 API 或 builder 模式：
- 抽象类中定义返回自身类型的模板方法，子类返回具体类型，避免重复转型
- 接口默认方法不能使用协变（因无法被子接口“重写”），但实现类可以对继承自接口的方法做协变重写
- 注意：协变只适用于返回类型，参数类型必须严格一致（逆变不被支持）
常见误区与限制
协变返回类型有明确边界，误用会导致编译失败：
- 仅适用于重写（
@Override），不适用于重载 - 返回类型必须是原类型的子类或相同类型，不能是无关类型或父类
- 基本类型（如
int）和其包装类（如Integer）之间不构成协变关系 - 数组类型也支持协变（
Object[]→String[]），但需注意运行时类型检查
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
