java - 使方法实现的返回类型比抽象方法更具体

Question

考虑这个抽象类

abstract class AbstractBox {
  abstract Object getContent();
}

现在我实现了一个 StringBox，但可能还有其他 Boxes 实现会返回任何类型的内容，阻止我将抽象的返回类型方法更具体:

class StringBox extends AbstractBox {
  @Override
  Object getContent() {
    return "";
  }
}

与其让 getContent() 声明它将返回一个 Object ，而且很明显它将返回一个 String，我也可以这样做

class StringBox extends AbstractBox {
  @Override
  String getContent() {
    return "";
  }
}

从而清楚地说明 getContent() 将返回什么，并且仍然覆盖抽象方法。

1. 有这个名字吗？
2. 它有什么缺点吗？

Answer 1

重写允许指定协变返回类型，在这里您可以在 StringBox 子类中使用它。

此功能从 Java 1.5 开始可用。
来自JLS.Chapter 8. Classes (重点是我的):

8.4.5. Method Result

...

Return types may vary among methods that override each other if the return types are reference types. The notion of return-type-substitutability supports covariant returns, that is, the specialization of the return type to a subtype.

在实践中，如果您使用声明了 StringBox 的类型来操作变量，那么类的客户端返回一个更具体的类型会有好处，这是一件好事，因为它避免了向下转型。

例如:

StringBox box = new StringBox();
String boxContent = box.getContent();

但是，如果您使用 AbstractBox 声明类型操作变量，它在编译时或运行时不会有任何副作用，因为客户端仍期望有 Object作为返回类型:

AbstractBox box = new StringBox();
Object boxContent = box.getContent();

如果使客户端代码更清晰和更简单(因为没有任何转换)，则应该使用协方差返回的一般方式。