• 问题:

  • 定义一个方法，该方法用于打印出任意参数化类型的集合中的所有数据，该方法如何定义呢？

• 错误的方式

public static void printCollection(Collection

 

• 正确的方式:

public static void printCollection(Collection
       cols){    for(Object obj:cols){        System.out.println(obj);    }    /**    cols.add("string");//错误，因为他不知道自己未来匹配就一定是Stirng    cols.size();//没错，此方法与类型参数没有关系    cols=new HashSet
      
       ();//没错，可以和 Collection
       画等号    */}
      

• 总结:
  • 使用?通配符可以引用其他各种参数化的类型，?通配符定义的变量主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法。

上图中，大红叉的方法都是和类型相关的，在使用泛型通配符?时，不能调用。

Collection<?> a可以和任意参数化的类型匹配，但到底匹配的是什么类型，只有以后才知道，所以，

a=new ArrayList<Integer>();和 a= new ArrayList<String>();都可以，但a.add(new Date);或者 a.add("abc");都不行。

Cols<Object>中的Object只是说明Cols<Object>实例对象中的方法接收的参数是Object

Cols<Object>是一种具体类型，new HashSet<Date>也是一种具体类型，两者没有兼容性。

• 泛型中?通配符的扩展

  • 限定通配符的上边界

    • 正确  Vector<? extends Number> x=new Vector<Integer>();

    • 错误   Vector<? extends Number> x=new  Vector<String>();

  • 限定通配符的下边界

    • 正确  Vector<? super Integer> x=new Vector<Number>();

    • 错误  Vector<? super Integer> x=new Vector<Byte>();

  • 提示

    • 限定通配符总是包括自己