协变返回类型允许子类重写父类方法时返回更具体的子类型，自java 5起支持，是实现安全链式编程的基础；需方法签名一致，配合this返回和泛型自限定可避免强制转型并保持类型连贯性。
Java 中多态支持子类重写父类方法时返回更具体的类型，这叫协变返回类型（Covariant Return Type），是实现安全链式编程的关键机制之一。它让子类方法在保持多态调用能力的同时，自然返回自身类型，避免强制转型，从而维持链式调用的连贯性。
协变返回类型是基础支撑
从 Java 5 开始，子类重写父类非 private、非 static 的方法时，可以将返回类型声明为父类返回类型的子类型。只要方法签名一致（名称 + 参数列表完全相同），编译器就允许这种“向上兼容”的返回类型细化。
- 父类方法返回 Shape，子类可重写为返回 Circle（Circle 是 Shape 的子类）
- 调用方用父类引用接收时仍合法：
Shape s = factory.create(); - 若已知具体类型，可直接用子类引用接收：
Circle c = factory.create();，无需 cast
链式调用中必须配合 this 返回
协变本身不等于链式，但它是让链式在继承体系中“不断链”的前提。关键在于：父类方法返回 this，而子类重写时利用协变返回更具体的子类实例。
- 父类定义：
public Parent setName(String name) { this.name = name; return this; } - 子类重写：
@Override public Child setName(String name) { super.setName(name); return this; } - 这样
child.setName("A").addChild(...)才能继续调用子类特有方法
泛型自限定模式解决类型丢失问题
当父类希望“通用地”支持任意子类链式调用，又不想每写一个子类都手动重写所有方法，推荐使用泛型自限定（CRTP）：
- 父类声明为
abstract class Parent<t extends parent>></t> - 方法返回
T：public T setName(String name) { this.name = name; return self(); } - 子类继承时绑定自身：
class Child extends Parent<child></child> -
self()方法只需简单返回(T)this，类型安全由泛型推导保障
实际编码中要注意的边界
不是所有场景都适合叠加协变与链式。以下情况需谨慎处理：
- 静态方法不能用
this，所以无法参与链式；也不能被重写，协变不适用 - 构造器或工厂方法本身不参与链式，但它们的返回值类型应与构建目标一致（如
static Child create()） - 如果方法逻辑可能中断流程（如校验失败抛异常），应确保异常在链开始前集中处理，而非嵌在某个 setter 中
- 查询类方法（如
getName()、isValid()）不应返回this，否则破坏语义——它们该返回业务值
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
