“尝试使用不兼容的返回类型”与实现 Serializable 的类

Question

我有如下界面：

切片器

public interface Slicer {
    Optional<Map<String, ? extends Serializable>> pointer();
}

我有一个实现：

DynamoDbSlicer

public abstract class DynamoDbSlicer implements Slicer {

    @Override
    public abstract Optional<Map<String, AttributeValue> pointer();
}

其中AttributeValue 来自 AWS 开发工具包并定义为：

public final class AttributeValue implements SdkPojo, Serializable, ToCopyableBuilder<AttributeValue.Builder, AttributeValue> {

注意它实现了Serializable。

我在DynamoDbSlicer 中的抽象方法上遇到编译器错误：

pointer() in DynamoDbSlicer clashes with pointer() in Slicer; attempting to use incompatible return type

我错过了什么？

Answer 1

乍一看，它应该可以编译，因为 Java（从 1.5 开始）具有返回类型协变。这意味着覆盖方法可以声明一个返回类型，它是原始方法返回类型的子类型。

看起来Optional<Map<String, Serializable>> 是Optional<Map<String, ? extends Serializable>> 的子类型，但事实并非如此。有趣的是，如果您从两种返回类型中删除 Optional 部分，则会编译。

interface Slicer {
    Map<String, ? extends Serializable> pointer();
}
abstract class DynamoDbSlicer implements Slicer {
    @Override
    public abstract Map<String, Serializable> pointer();
}

它可以编译是因为Map<String, Serializable> 是Map<String, ? extends Serializable> 的子类型——可以将前者的实例分配给后者类型的变量。

但是，添加Optional 会导致编译失败，原因与a List<Dog> isn't a List<Animal> 相同——泛型是不变的。在这个类比中，Dog 类似于匹配Map<String, Serializable> 的特定子类型，Animal 类似于匹配Map<String, ? extends Serializable> 的一般类型。就像List<Dog> 不是List<Animal>，Optional<Map<String, Serializable>> 不是Optional<Map<String, ? extends Serializable>>。

在不删除Optional 位的情况下编译它的最简单方法是完全匹配类型。

abstract class DynamoDbSlicer implements Slicer {
    @Override
    public abstract Map<String, ? extends Serializable> pointer();
}

如果这不符合您的要求，那么您需要在您的类可以作为类型参数提供的接口上创建一个类型参数。

interface Slicer<T extends Serializable> {
    Optional<Map<String, T>> pointer();
}
abstract class DynamoDbSlicer implements Slicer<AttributeValue> {
    @Override
    public abstract Optional<Map<String, AttributeValue>> pointer();
}

类型参数允许它编译。