Java——通配符

考虑编写打印出集合中所有元素的例程的问题。以下是您可以在旧版本的语言中编写它（即5.0之前的版本）：

void printCollection（Collection c）{
    Iterator i = c.iterator（）;
    for（k = 0; k <c.size（）; k ++）{
        的System.out.println（i.next（））;
    }
}

以下是使用泛型（以及新的for循环语法）编写它的尝试：

void printCollection（Collection <Object> c）{
     for（Object e：c）{
        的System.out.println（E）;
    }
}

问题是这个新版本比旧版本更有用。虽然可以使用任何类型的集合作为参数调用旧代码，但新代码仅采用Collection<Object>，正如我们刚才演示的那样，它不是各种集合的超类型！

那么，什么是所有类型的集合的超？它是写的Collection<?>（发音为“未知的集合”），即元素类型与任何东西匹配的集合。由于显而易见的原因，它被称为通配符类型。我们可以写：

void printCollection（Collection <？> c）{
     for（Object e：c）{
        System.out.println（E）;
    }
}

现在，我们可以用任何类型的集合来调用它。请注意，在里面printCollection()，我们仍然可以读取元素c并给它们输入类型Object。这总是安全的，因为无论集合的实际类型如何，它都包含对象。然而，向它添加任意对象是不安全的：

集合<？> c = new ArrayList <String>（）;
c.add（new Object（））; //编译错误

由于我们不知道元素类型c代表什么，我们无法向其添加对象。该add()方法接受类型的参数E，即集合的元素类型。当实际的类型参数是?，它代表一些未知类型。我们传递给的任何参数add都必须是这种未知类型的子类型。由于我们不知道它是什么类型，我们无法传递任何内容。唯一的例外是null，它是每种类型的成员。

另一方面，给定a List<?>，我们可以调用get()并使用结果。结果类型是未知类型，但我们始终知道它是一个对象。因此，将结果分配给get()类型变量Object或将其作为Object期望类型的参数传递是安全的。