学习一下Java中的泛型,还是张孝祥老师很好的讲解。。。jdk 1.5中新增的特性
一、泛型初探
泛型在Java中挺常用的,尤其是项目中也是比较常用的,但是用起来感觉好用,并没有深入的去理解一下,泛型是提供给javac编译器使用的,可以限定集合中的输入类型,让编译器挡住源程序中的非法输入,编译器编译带类型说明的集合时会去掉“类型”信息,使得程序运行不受影响,对于参数化的泛型类型,getClass() 方法的返回值和原始类型完全一样。由于编译生成的字节码会去掉泛型的类型信息,只要能跳过编译器,就可以往某个泛型集合中加入其它类型的数据,例如,用反射得到集合,在调用其add()方法即可。
1 ArrayList<String> collection1 = new ArrayList<String>(); 2 collection1.add("123"); 3 4 ArrayList<Integer> collection2 = new ArrayList<Integer>(); 5 collection2.add(11); 6 7 // 结果为 true 实际编译完成之后 实际上是相同的基本类型 8 System.out.println(collection1.getClass() == collection2.getClass()); 9 // 利用反射可以跳过编译器 10 collection2.getClass().getMethod("add", Object.class).invoke(collection2, "abc"); 11 System.out.println(collection2.get(1));
ArrayList<E> 这种是泛型类型;
E称为泛型变量或者是泛型参数;
ArrayList<Integer>称为参数化的类型;
Integer称为类型参数的实例或者是实际类型参数;
ArrayList为原始类型
二、泛型中的 ? 通配符
总结:使用?通配符可以引用各种参数化的类型,?通配符定义的变量只是用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法
通配符的扩展:
1) 限定通配符的上边界
正确:Vector<? extends Number> x = new Vector<Integer>();
这种是后面new出来的可以是extends 的子类,例如:Integer 是Number 的子类,是继承关系
错误:Vector<? extends Number> x = new Vector<String>();
2)限定通配符的下边界
正确:Vector<? super Integer> x = new Vector<Number>();
这种是后面new出来的是前面的父类,正好和上面的相反,例如:Number 是Integer的父类
错误:Vector<? super Integer> x = new Vector<Byte>();
三、泛型集合类的综合案例
1 // 简单的map中元素的迭代 2 Map<String,Integer> maps = new HashMap<String,Integer>(); 3 maps.put("A", 27); 4 maps.put("B", 28); 5 6 Set<Map.Entry<String, Integer>> entrySet = maps.entrySet(); 7 for(Map.Entry<String, Integer> entry : entrySet){ 8 System.out.println(entry.getKey() + ":" + entry.getValue()); 9 }
四、自定义泛型方法和应用
1、只有引用类型才能作为泛型方法的实际参数,swap(new int[3]{1,2,3},1,2)语句会报编译错误
2、除了在应用泛型时可以使用extends限定符,在定义泛型的时候也可以使用extends限定符
3、普通方法、构造方法和静态方法中都可以使用泛型
4、在泛型中可以同时有多个类型参数,在定义他们的尖括号中用逗号分,例如:
public static <K,V> v getValue(K key){return map.getKey()};
1 // 交换数组中任意下标中两个元素的位置 2 private static <T> void swap(T[] a, int i, int j){ 3 T tmp = a[i]; 4 a[i] = a[j]; 5 a[j] = tmp; 6 }
5、当一个变量被声明为泛型时,只能被实例变量和方法调用(还有内嵌类型),而不能被静态变量和方法调用,因为静态成员是被所有的参数化的类所共享的,所以静态成员不应该有类级别的类型参数
1 // 例如baseDao中经常那样定义成泛型类,注意:静态成员没有类级别的类型参数 2 public class GenericDao <T>{ 3 4 public void add(T t){ 5 6 } 7 8 public T findById(int id){ 9 return null; 10 } 11 12 public void delete(T obj){ 13 14 } 15 16 public void delete(int id){ 17 18 } 19 20 public T update(T obj){ 21 return null; 22 } 23 24 public Set<T> findByConditions(String where){ 25 return null; 26 } 27 28 }
五、通过反射获取泛型的实际类型参数
这个问题从来没有思考过,用过框架,但是并没有仔细思考过,为什么,底层是怎么杨实现的呢,今天看了张老师的视频,感觉自己就是在工作上挣钱,并没有投入太多的热情在学习中,在工作中,这也许就是为什么会和别人的差距越来越大,这是很值得深思的问题啊,看一下具体的怎么实现的,记住这个,以后再用框架的时候,可以多思考一下
1 // 为什么用Vector.class而不用Vector<Date>.class 后面的本身就是错误的,在编译之后会将泛型擦除掉,其实本质还是Vector 2 Method applyMethod = GenericTest.class.getMethod("applyVector", Vector.class); 3 Type[] types = applyMethod.getGenericParameterTypes(); 4 ParameterizedType pType = (ParameterizedType) types[0]; 5 System.out.println(pType.getRawType()); 6 System.out.println(pType.getActualTypeArguments()[0]); 7 8 // 将需要获取泛型类型的变量交给一个方法,当做参数来获取其中参数的实际类型 9 public static void applyVector(Vector<Date> v1){ 10 11 }
这里具体是在哪些框架中应用到了,现在还没有太清楚的,希望以后再看框架源码的时候,可以重新得到启发。