java学习之泛型

泛型是提供给javac编译器使用的，可以限制集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时会去除掉类型信息，使程序运行效率不受影响，由于编译器生成的字节码会去掉泛型类型信息，只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，如用反射得到集合，再调用其add方法

 

package cn.itcast.day1;

 

import java.util.ArrayList;

 

public class GenericTest {

 

/**

* @param args

*/

public static void main(String[] args) throws Exception {

// TODO Auto-generated method stub

     ArrayList Collections1= new ArrayList();

     ArrayList Collections2= new ArrayList();

     System.out.println(Collections1.getClass()==Collections2.getClass());

     Collections1.getClass().getMethod("add",Object.class).invoke(Collections1,"abc");

     System.out.println(Collections1.get(0));

}

 

}

 

 

输出：

 true

abc

 

问题：

 

 Collections2.getClass().getMethod("add",Object.class).invoke(Collections2,11);

     System.out.println(Collections2.get(0));

如果是String 放入 int类型的数据 就会报错：java.lang.Integer cannot be cast to java.lang.String

好像是没跳过编译检查？

 

泛型术语

 

整个称为泛型ArrayList泛型类型

ArrayList中的E称为泛型类型或类型参数

整个ArrayList称为参数化的类型

ArrayList中的Integer称为类型参数的实例或实际类型参数

ArrayList中的<>念type of

ArrayList称为原始类型

 

Collectoin中，？是通配符，表示任意参数化类型的集合；

使用？通配符可以引用其它各种参数化的类型，？通配符定义的变量主要用作引用，可以调用与参数化无关的方法，不能调用与参数化有关的方法

 

泛型中？通配符的扩展

 

 

//限定通配符的上边界：

         ArrayList x1 = new ArrayList();//正确 因为?号通配符表示任意类型但他继承了Number，表示只要是Number这个范围的就行！而Integer是Number的子类，所以可以

         //错误: ArrayList x2 = new ArrayList();因为String不属于Number的子类

         //限定通配符的下边界：

ArrayList x3 = new ArrayList();//可以?号必须是Integer的父类

编译完的泛型集合已经去类型化了(就是可以忽略这个泛型集合里装的是什么类型，所以可以往这个泛型集合里加别的类型的对象)

 

 

HashMap maps=new HashMap();

     maps.put("syh", 18);

     maps.put("syh1", 15);

     maps.put("syh2", 18);

     Set> entrySet= maps.entrySet();

     for(Map.Entry entry:entrySet){//迭代；

     System.out.println(entry.getKey()+entry.getValue());

 

 

输出：

 syh118

syh15

syh218

 

注：如果 可前面参数key:String是相同的，则不管后面integer参数是否相同都只能存储一个，存储前应该会进行Key值检测看是否有相等（equals），如有就不放进去

 

自定义泛型

 

   swap(new String[]{"abc","ass","sss"},1,2);

     swap(new int[]{1,3,4},1,2);//出错，只有引用类型才能作为泛型方法的实际参数

 

    public static void swap(T[] a,int i,int j){

     T t= a[i];

     a[i]=a[j];

     a[j]=t;

    }

只有引用类型才能作为泛型方法的实际参数