何时在Java泛型中使用通配符？

Question

这是来自 HeadFirst Java的 ：（第575页）

这个：

public <T extends Animal> void takeThing(ArrayList<T> list)

做与此相同的事情：

public void takeThing(ArrayList<? extends Animal> list)

所以这是我的问题：如果它们完全相同，我们为什么不写

public <? extends Animal> void takeThing(ArrayList<?> list)

要么

public void takeThing(ArrayList<T extends Animal> list)

另外，什么时候使用？是有用的？而不是使用泛型的方法声明（如上所述）中的T或用于类声明？有什么好处？

Answer 1

之间的最大区别

public <T extends Animal> void takeThing(ArrayList<T> list)

和

public void takeThing(ArrayList<? extends Animal> list)

是在前一种方法中，您可以在方法中将“ T”作为给出的具体类。在第二种方法中，您无法执行此操作。

这里有一个更复杂的例子来说明这一点：

// here i can return the concrete type that was passed in
public <T extends Animal> Map<T, String> getNamesMap(ArrayList<T> list) {
    Map<T, String> names = new HashMap<T, String>();
    for (T animal : list) {
        names.put(animal, animal.getName()); // I assume there is a getName() method
    }
    return names;
}

// here i have to use general Animal
public Map<Animal, String> getNamesMap(ArrayList<? extends Animal> list) {
    Map<Animal, String> names = new HashMap<Animal, String>();
    for (Animal animal : list) {
        names.put(animal, animal.getName()); // I assume there is a getName() method
    }
    return names;
}

使用第一种方法，如果您传递“猫的清单”，您将获得一个以猫为键的地图。第二种方法将始终返回带有常规Animal键的Map。

顺便说一句，这是无效的Java语法：

public <? extends Animal> void takeThing(ArrayList<?> list)

使用这种形式的泛型方法声明，您必须使用有效的Java标识符，而不是“？”。

编辑：

形式“？extended Type”仅适用于变量或参数类型声明。在通用方法偏斜内，它必须是“标识符扩展类型”，因为您可以从方法内引用“标识符”。