泛型Java，无界通配符

Question

您好直接从Oracle
http://docs.oracle.com/javase/tutorial/collections/interfaces/collection.html提供的Java教程中

static void filter(Collection<?> c) {
    for (Iterator<?> it = c.iterator(); it.hasNext(); )
        if (!cond(it.next()))
            it.remove();
}

我知道编译时的类型擦除。而且我也知道，一个类型（无界）将被Object取代。知道在编译时如何使用无界通配符进行编译吗？只是删除它，因为它是原始类型？

提前致谢。

Answer 1

假设我们有一个通用声明

interface Foo<T>
    T get();
    void set(T);
    void bet();

原始类型Foo等效于声明为

interface Foo
    Object get();
    void set(Object);
    void bet();
    // all generics info are stripped

例如，在Java 5中List<E>，其原始版本List包含与java5之前的List接口完全相同的方法签名。原始类型用于向后兼容。

Raw List很接近List<Object>; 但是与List<?>

foo类型的对象Foo<?>的类型为

interface Foo<X>
    X get();
    void set(X);
    void bet();

对于某些确定的（尽管未知）类型X。尽管X是未知的，我们仍然可以调用foo.get()和foo.bet()。但是我们无法调用，foo.set(a)因为无法知道是否a为未知类型X-除非a为null。