Java中未绑定通配符泛型的用途和要点是什么？

Question

我不明白未绑定通配符泛型的用途。具有上限的绑定通配符泛型<? extends Animal>非常有意义，因为使用多态性，我可以使用该类型或集合。但是拥有可以是任何类型的泛型有什么意义呢？它是否违背了泛型的目的？编译器没有发现任何冲突，并且在类型擦除之后，就好像没有使用任何泛型一样。

Answer 1

当您的方法实际上并不关心实际类型时，未绑定类型可能很有用。

一个原始的例子是这样的：

public void printStuff(Iterable<?> stuff) {
  for (Object item : stuff) {
    System.out.println(item);
  }
}

由于PrintStream.println()可以处理所有引用类型（通过调用toString()），因此我们 不在乎
该引用的实际内容Iterable是什么。

而 来电者 可以在通过List<Number>或Set<String>或Collection<? extends MySpecificObject<SomeType>>。

还要注意，根本不使用泛型（使用原始类型进行调用）会产生完全不同的效果：这会使编译器处理 整个对象 ，就好像泛型 根本不存在一样
。换句话说：不仅会忽略类的类型参数，还会忽略方法上的所有泛型类型参数。

另一个重要的区别是，您不能将任何（非null）值Collection<?>添加到，而可以将 所有 对象添加到原始类型Collection：

这不会编译，因为的type参数c是未知类型（=通配符?），因此我们无法提供保证可分配给该值的值（null，可分配给所有引用类型的值除外）。

Collection<?> c = new ArrayList<String>();
c.add("foo");    // compilation error

如果不使用type参数（即使用原始类型），则可以向集合中添加 任何内容 ：

Collection c = new ArrayList<String>();
c.add("foo");
c.add(new Integer(300));
c.add(new Object());

请注意，编译器会 警告 您不要使用原始类型，尤其是出于这个原因：它会删除与泛型相关的所有类型检查。