Java方法重写支持协变返回类型，即子类可返回比父类更具体的引用类型，提升类型安全与可读性；适用于工厂模式、Builder链式调用及接口默认方法重写，但不适用于基本类型、private/static方法及泛型类型参数。
Java 中方法重写支持协变返回类型，能让子类方法返回比父类更具体的对象类型，既保持多态性，又避免强制转型，提升代码可读性和类型安全性。用得好，链式调用、工厂构建、流式 API 都会更自然。
让抽象工厂返回具体实现类
在工厂模式中，父类或抽象类定义通用接口，子类按需返回具体类型：
- 抽象基类声明
Shape create()，子类可直接写@Override Circle create() - 调用方拿到的就是
Circle实例，无需(Circle) factory.create() - 配合泛型+协变，还能进一步约束返回类型，比如
<t extends shape> T create()</t>+ 子类覆写为Circle create()
构建可链式调用的子类 API
常见于 Builder 模式或 Fluent API 设计：
- 父类
Builder baseMethod() { return this; }返回自身类型 - 子类覆写为
@Override SubBuilder baseMethod() { return this; }（SubBuilder是Builder的子类） - 这样连续调用
new SubBuilder().baseMethod().subOnlyMethod()就能直接访问子类特有方法
结合接口默认方法做安全扩展
JDK 8+ 允许接口定义 default 方法，其实现类重写时也可协变：
立即学习“Java免费学习笔记（深入）”；
- 接口声明
default Animal getPet() { return new Animal(); } - 实现类可覆写为
@Override Dog getPet() { return new Dog(); } - 注意：接口方法本身不能声明协变（如不能写
Dog getPet()），但实现类重写时可以——只要满足继承关系
避开常见误用陷阱
协变只对引用类型生效，且受编译期严格检查：
- 基本类型（
int、boolean）不支持协变，必须完全一致 -
Object作父类返回值时，子类可返回任意引用类型（如String），但必须是其子类（String是Object的子类，合法） - 泛型擦除后若签名冲突（如
List<string></string>和List<object></object>），不构成协变——泛型类型参数不参与继承判断 - 父类方法若是
private或static，根本无法重写，协变无从谈起
