协变返回类型指子类重写父类方法时可将返回类型声明为父类返回类型的子类型；它自java 5起支持，要求方法签名完全一致、子类返回类型是父类返回类型的子类或相同类型，且仅适用于重写而非重载。
协变返回类型是指子类在重写父类方法时，可以将返回类型声明为父类方法返回类型的子类型。它让重写更自然、更符合实际语义，避免强制转型，提升类型安全性。
协变返回类型的基本规则
Java 从 JDK 5 开始支持协变返回类型，前提是：
- 方法签名（名称 + 参数列表）必须完全一致；
- 子类的返回类型必须是父类返回类型的子类（或相同类型）；
- 不能仅靠改变返回类型来构成重载（即参数列表不同才叫重载，仅返回类型不同不合法）。
典型使用场景：工厂方法与对象构建
常见于返回具体实现类的 getter 或工厂方法中。例如：
class Animal { }
class Dog extends Animal { }
class AnimalFactory {
Animal create() {
return new Animal();
}
}
class DogFactory extends AnimalFactory {
@Override
Dog create() { // ✅ 合法：Dog 是 Animal 的子类
return new Dog();
}
}
调用 new DogFactory().create() 直接得到 Dog 类型，无需显式强转。
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
注意点与限制
协变只适用于返回类型，不适用于参数类型（那是逆变，Java 不支持参数类型的协变重写）：
- 不能把父类方法的
void doSomething(Animal a)重写成void doSomething(Dog d)—— 这是重载，不是重写，且会破坏里氏替换原则； - 泛型方法的类型擦除可能影响协变效果，需谨慎；
- 接口默认方法也支持协变返回类型，规则相同。
和泛型结合的实用例子
配合泛型可写出更灵活的链式 API：
abstract class Builder<t extends builder>> {
abstract T getInstance(); // 返回自身类型，便于链式调用
}
class DogBuilder extends Builder<dogbuilder> {
@Override
DogBuilder getInstance() { // ✅ 协变：返回更具体的子类型
return this;
}
}
</dogbuilder></t>
这样 new DogBuilder().getInstance() 的静态类型就是 DogBuilder，支持后续方法调用而无类型丢失。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
