协变返回类型指子类重写父类方法时可将返回类型声明为父类返回类型的子类型，java 5起支持，要求方法签名一致、返回类型为子类且父类方法非private或static。
Java多态中，子类方法可以返回比父类更具体的类型——这就是协变返回类型（Covariant Return Type）。它让重写方法在保持多态性的同时，自然返回子类特有对象，避免强制类型转换，提升代码可读性和类型安全性。
什么是协变返回类型
协变返回类型指子类重写父类方法时，允许将返回类型声明为父类返回类型的子类型。Java 5 起支持该特性，仅适用于 重写（override），不适用于重载（overload）或接口默认方法的实现覆盖（除非满足重写条件）。
关键前提：
- 方法签名（名称 + 参数列表）必须完全一致；
- 子类返回类型必须是父类返回类型的子类（或相同类型）；
- 父类方法不能是 private 或 static（因无法被重写）。
基础用法示例
假设有一个图形系统，父类返回通用形状，子类返回具体形状实例：
class Shape { }
class Circle extends Shape { void draw() { System.out.println("Draw circle"); } }
class Rectangle extends Shape { void draw() { System.out.println("Draw rectangle"); } }
abstract class ShapeFactory {
abstract Shape create(); // 父类声明返回 Shape
}
class CircleFactory extends ShapeFactory {
@Override
Circle create() { // ✅ 合法：Circle 是 Shape 的子类
return new Circle();
}
}
class RectangleFactory extends ShapeFactory {
@Override
Rectangle create() { // ✅ 合法
return new Rectangle();
}
}
调用时无需转型，直接使用子类特有方法：
ShapeFactory factory = new CircleFactory(); Circle circle = factory.create(); // 编译通过！多态+协变共同作用 circle.draw(); // 直接调用，无 cast
结合多态使用的典型场景
协变返回类型真正发挥价值，是在多态上下文中动态获取并使用子类特有行为：
- 工厂模式增强：不同工厂返回各自产品子类型，客户端按需调用特有方法；
-
构建器链式调用：子类构建器重写方法返回自身类型，实现流畅 API（如
builder.setName().setColor().build()）； - 模板方法中钩子方法：父类定义流程骨架，子类通过协变钩子返回定制配置对象。
注意事项与常见误区
协变虽便利，但需注意边界：
- 泛型类/方法不支持协变返回（如
<t> T get()</t>无法在子类中改为String get()），除非 T 被具体化为子类型； - 接口中的默认方法若被类重写，也可应用协变，但接口之间继承时 不能 改变返回类型（接口不支持协变重写，只支持类重写）；
- 不要和泛型通配符（
? extends T）混淆：协变是编译期类型放宽，通配符是使用侧的类型安全约束。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
