Java 泛型 - 无法从 <?将 MyObject> 扩展到 <MyObject> [重复]

Question

为什么下面的代码会出现编译错误？

public MyObject(Builder<? extends MyObject> builder) {
    // Type mismatch: cannot convert from MyObject.Builder<capture#5-of ? extends MyObject> to MyObject.Builder<MyObject>
    Builder<MyObject> myObjBuilder = builder;
}

如果 Builder 类型是 MyObject 的子类，那么为什么不能将 builder 分配给只键入 MyObject 呢？我需要这样做，因为我无法将 MyObject 类型的对象与构建器一起使用。以这段代码为例：

public MyObject(Builder<? extends MyObject> builder) {
    // The method getData(capture#8-of ? extends MyObject) in the type Builder<capture#8-of ? extends MyObject> is not applicable for the arguments (MyObject)
    this.data = builder.getData(this);
}

我觉得应该允许这样做。或者我在这里错过了什么？有没有办法做到这一点，而无需将 builder 转换为 (Builder<MyObject>) 并且必须使用 @SuppressWarnings ？

另请注意，我需要 Builder 为 <? extends MyObject>，因为 MyObject 及其 Builder 将被子类化（因为它是抽象的）。

感谢您的帮助！

Answer 1

因为Foo<? extends Bar> 不是Foo<Bar>。

说Foo有一个方法：

void add (T t)

那么按照约定，你只能添加T 对象。现在如果T 被实例化为? extends Bar，我们不知道类型。接受Bar 可能会导致问题行为：如果您有一个ArrayList<Foo>，您希望ArrayList 只包含Foo 实例。如果您将ArrayList<Foo> 视为ArrayList<SuperFoo>，则无法保证ArrayList<Foo> 仅包含Foo。

某些语言启用covariance：如果您只使用T 作为输出，您可以说Foo<T> 与Foo<SuperT> 相同（与输入相同）。但目前 Java 不支持这一点。但是 C# 在接口级别上确实如此。