java高新技术-泛型

Posted 2020-08-16 wq3435

1.体验泛型

　　泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时去除掉“类型”信息，使程序运行小效率不受影响，对于参数化的泛型类型，getClass()方法返回值和原始类型完全一样.由于编译生成的字节码会去掉泛型的类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，例如，用反射得到集合，在调用其add方法即可.

　　ArrayList<String> collection1 = new ArrayList<String>();

　　ArrayList<Integer> collection2 = new ArrayList<Integer>();

　　System.out.println(collection1.getClass() == collection2.getClass()); //true

　　

public static void main(String[] args) throws Exception {
        ArrayList<String> collection1 = new ArrayList<>();
        collection1.add("abc");
        
        ArrayList<Integer> collection2 = new ArrayList<>();
        System.out.println(collection1.getClass() == collection2.getClass()); //true
        
        collection2.getClass().getMethod("add", Object.class).invoke(collection2, "abc");
        System.out.println(collection2.get(0)); //abc
    }

 

 

　　参数化类型不考虑类型参数的继承关系：

　　Vector<String> v1 = new Vector<Object>();//错误！不写<Object>没错

　　Vector<Object> v2 = new Vetcor<String>(); //错误

　　在创建数组时，数组的元素不能使用参数化的类型，例如，下面语句有误

　　　　Vector<Integer> vectorList[] = new Vector<Integer>[10];

 

　　思考题：下面代码会报错么？

　　Vector v1 = new Vector<String>();  //参数化类型给原始类，不报错

　　Vector<Object> v2 = v1 ;           //原始类型给参数化类型，可以

2.泛型的通配符扩展应用

　　泛型中的 ？ 通配符

　　　　?表示任意类型

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

　　　　

public void printCollection(Collection<?> cols){
        for(Object obj: cols){
            System.out.println(obj);
        }
        //cols.add("string")  //错误，因为它不知道自己未来匹配就一定是String
        cols.size(); //没错，此方法与类型参数没有关系
        cols=new HashSet<Date>();  //? 可以引用其他类型
    }

 

　　限定通配符的上边界：

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

　　限定通配符的下边界：

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

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