Java泛型：通配符与类型参数？

Question

我正在刷新有关Java泛型的知识。因此，我转向了Oracle的优秀教程……并开始为我的同事编写一个演示文稿。我在本教程中遇到了有关通配符的部分，内容为：

考虑以下方法，printList：

public static void printList(List<Object> list) {
...

printList的目标是打印任何类型的列表，但未能实现该目标-
它仅打印Object实例的列表；它不能打印List<Integer>，List<String>，List<Double>，等等，因为它们不是的亚型List<Object>。要编写通用的printList方法，请使用List<?>：

public static void printList(List<?> list) {

我知道那是List<Object>行不通的；但我将代码更改为

static <E> void printObjects(List<E> list) {
    for (E e : list) {
        System.out.println(e.toString());
    }
}
...
    List<Object> objects = Arrays.<Object>asList("1", "two");
    printObjects(objects);
    List<Integer> integers = Arrays.asList(3, 4);
    printObjects(integers);

你猜怎么着; 使用List<E>我可以打印不同类型的列表，没有任何问题。

长话短说：至少本教程表明， 需要 通配符来解决此问题；但如图所示，也可以通过这种方式解决。所以，我想念什么？

（旁注：已通过Java7测试；因此，也许这是Java5，Java6的问题；但是，另一方面，Oracle似乎在教程更新方面做得很好）

Answer 1

严格来说，使用通用方法的方法要比带有通配符的版本强大，因此，是的，您的方法也是可能的。但是，本教程 并未
声明使用通配符是唯一可行的解​​决方案，因此本教程也是正确的。

与通用方法相比，使用通配符可以获得的好处：您只需编写较少的代码，并且界面更“干净”，因为非通用方法更易于掌握。

为什么泛型方法比通配符方法更强大：为参数提供一个可以引用的名称。例如，考虑一种方法，该方法删除列表的第一个元素并将其添加到列表的后面。使用通用参数，我们可以执行以下操作：

static <T> boolean rotateOneElement(List<T> l){
    return l.add(l.remove(0));
}

使用通配符，这是不可能的，因为l.remove(0)会返回capture-1-of-?，但l.add需要capture-2-of-?。即，编译器无法推断出的结果与预期的remove类型相同add。这与第一个示例相反，在第一个示例中，编译器可以推断出两者是同一类型T。此代码无法编译：

static boolean rotateOneElement(List<?> l){
    return l.add(l.remove(0)); //ERROR!
}

那么，如果要使用带有通配符的rotationOneElement方法，该方法比通用解决方案更容易使用，该怎么办？答案很简单：让通配符方法调用通用方法，然后它就会起作用：

// Private implementation
private static <T> boolean rotateOneElementImpl(List<T> l){
    return l.add(l.remove(0));
}

//Public interface
static void rotateOneElement(List<?> l){
     rotateOneElementImpl(l);
}

标准库在许多地方都使用此技巧。其中之一是IIRC，Collections.java