协变返回类型指子类重写父类方法时可将返回类型声明为父类返回类型的子类型，如父类返回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
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
协变与泛型、接口的配合
接口和抽象类同样适用协变返回类型，常用于构建流畅 API 或 builder 模式：
立即学习“Java免费学习笔记（深入）”；
- 抽象类中定义返回自身类型的模板方法，子类返回具体类型，避免重复转型
- 接口默认方法不能使用协变（因无法被子接口“重写”），但实现类可以对继承自接口的方法做协变重写
- 注意：协变只适用于返回类型，参数类型必须严格一致（逆变不被支持）
常见误区与限制
协变返回类型有明确边界，误用会导致编译失败：
- 仅适用于重写（
@Override），不适用于重载 - 返回类型必须是原类型的子类或相同类型，不能是无关类型或父类
- 基本类型（如
int）和其包装类（如Integer）之间不构成协变关系 - 数组类型也支持协变（
Object[]→String[]），但需注意运行时类型检查
