为什么必须在指定泛型参数之后再指定它们？

Question

我有如下界面

public interface Foo<T extends Bar> {

    T getBar();
}

还有下面的课

public class FooFinder {

    public Foo<? extends Bar> getFoo(final String fooName) {
        return knownFoos.get(fooName);
    }

    private Map<String, Foo<? extends Bar>> knownFoos = new HashMap<>();
}

我的问题是这样的。为什么需要我指定 getFoo 返回 Foo<T extends Bar> 并且 knownFoos 的值是 Foo<T Extends Bar> 而 Foo 因为它的签名而只能是 Foo<T extends Bar>？我可能天真地认为它与类型擦除有关，但我不确定。

附录：

取Foo接口。 T 只能是 Bar 或 Bar 的子类。代码和编译器清楚地说明了这一点。如果我们要尝试以下操作

Foo<T extends Object> fooObj = new Foo<String>();

编译器会告诉你 String 不在绑定 <T extends Bar> 中。所以在编译时，我们知道没有任何Foo 可以不存在于T extends Bar 的范围内。这与 List<T> 示例不同，因为除了扩展 Object 之外，没有绑定到 T，除非您另有指定。

考虑到这一点，如果编译器足够智能，知道Foo 的边界只能是<T extends Bar>，为什么还需要我显式设置边界？

Answer 1

只要您不介意使用不同的语言，您就不必这样做。

其他语言更多地使用称为类型推断的功能，它可以满足您的期望：查看代码并找出其中的内容。这当然要付出一些代价。例如，Scala 以编译时间长和有时令人困惑的情况而闻名，当类型推断不能推断出开发人员应该做的类型时。

对于 Java，几乎所有内容都必须手动指定（尽管现在可以使用 运算符进行类型推断。

你提到的替代方案

Foo

Foo<T extends Bar>

Foo<? extends Bar> 

are in fact different types，您必须明智地选择使用哪个。

Answer 2

为什么需要我指定 getFoo 返回一个 Foo

相对于什么？返回一个隐式使用泛型 Bar 的 Foo？那不一样。

让我们用一个具体的例子：

List<? extends Number> getList();

此方法签名会告诉您它返回 List<Integer> 或 List<Float> 或任何其他 Number 子类型的 List。但是 List 将只包含这一子类型的对象。在这种情况下，通配符运算符用于向调用者表示您不能告诉他使用的是哪个子类型。

这与返回数字列表不同，因为数字列表可以包含任何数字子类型的对象。

这个区别很重要：如果您返回List<Number>，则允许调用者将任何 Number 对象添加到列表中。所以列表会突然包含数字的混合，而以前它只包含整数。使用通配符运算符可以防止这种情况发生，因为编译器无法检查新 Number 的类型是否正确。

编译器检查它很重要。如果不是这样，您可能会在代码的其他部分遇到 ClassCastExceptions，其中 List 与具体泛型一起使用，而不是通配符。