协变返回类型允许子类重写父类方法时返回更具体的类型，提升代码灵活性与类型安全。例如，父类方法返回Animal，子类可返回其子类Dog，避免强制转换。该特性自Java 5支持，适用于工厂模式和构建者模式，使链式调用更自然，增强API清晰度与继承扩展性。
协变返回类型（Covariant Return Type）是Java中的一项特性，允许子类在重写父类方法时，返回比父类方法更具体的返回类型。只要子类方法的返回类型是父类方法返回类型的子类型，这种重写就是合法的。
什么是协变返回类型
在Java 5及以后版本中，引入了协变返回类型的支持。这意味着你可以在子类中重写一个方法，并将返回类型改为原返回类型的子类。
例如：
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();
}
}
这里，DogFactory 中的 create() 方法返回 Dog，而父类方法返回 Animal。由于 Dog 是 Animal 的子类，这符合协变规则，编译通过。
立即学习“Java免费学习笔记（深入）”；
协变规则在继承体系中的优势
协变返回类型提升了代码的灵活性和可读性，特别是在基于工厂模式或构建者模式的场景中。
- 减少强制类型转换：调用子类方法时可以直接获得具体类型，无需向下转型。比如 Dog d = new DogFactory().create();，不需要写成 (Dog)new DogFactory().create()。
- 增强类型安全：编译器能在编译期检查返回类型的兼容性，避免运行时 ClassCastException。
- 提升API设计的清晰度：子类工厂可以自然地返回其对应的实例类型，使代码意图更明确。
- 支持流畅的继承扩展：在构建者（Builder）模式中，子类可以重写 builder() 方法并返回更具体的构建者类型，实现链式调用时不丢失类型信息。
举个构建者模式的例子：
class Person {
String name;
static class Builder {
Person build() { return new Person(); }
Builder setName(String name) {
this.name = name;
return this;
}
}
}
class Student extends Person {
int grade;
static class Builder extends Person.Builder {
@Override
Student build() {
Student s = new Student();
s.name = this.name;
s.grade = this.grade;
return s;
}
Builder setGrade(int grade) {
this.grade = grade;
return this;
}
}
}
虽然上面例子中仍返回的是 Builder 类型，但若使用协变思想结合泛型，还能进一步优化返回类型，使链式调用更自然。
基本上就这些。协变返回类型让继承体系中的方法重写更自然、安全，减少了冗余代码，提高了表达力。不复杂但容易忽略。
