Java支持*协变返回类型的重写方法。这意味着重写的方法可能具有更特定的返回类型。也就是说，只要新的返回类型可分配给你要覆盖的方法的返回类型，就可以使用。

例如：

class ShapeBuilder {
    ...
    public Shape build() {
    ....
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
    ....
}

这在Java语言规范的8.4.5节中指定：

如果返回类型是引用类型，则返回类型在彼此覆盖的方法之间可能会有所不同。返回类型可替换性的概念支持协变返回，即返回类型到子类型的特殊化。

当且仅当满足以下条件时，返回类型为R1的方法声明d1才可以替换为返回类型为R2的另一个方法d2：

- 如果R1为空，则R2为空。

- 如果R1是原始类型，则R2与R1相同。

- 如果R1是引用类型，则：

- R1是R2的子类型，或者R1可以通过未经检查的转换（第5.1.9节）转换为R2的子类型，或者

• R1 = | R2 |