java进阶--泛型

泛型：是JDK1.5版本以后出现新特性，用于解决安全问题，是一个类型安全机制。

泛型是提供给javac编译器使用的，可以限定集合中的输入类型，让编译器挡住源程序中的非法输入，编译器编译带类型说明的集合时会去除掉“类型”信息，使程序运行效率不受影响，对于参数化的泛型类型，getClass()方法的返回值和原始类型完全一样。

import java.util.*;
public class GenericDemo {
	public static void main(String[] args) 
	{
		ArrayList<String> al=new ArrayList<String>();
		al.add("abc001");
		al.add("abc021");
		al.add("abc102");
		al.add("abc101");
		//al.add(11);//出现问题ClassCastException
		
		System.out.println(al.getClass());  //输出结果为：class java.util.ArrayList
		
		Iterator<String> it=al.iterator();
		while (it.hasNext())   //通过iterator()遍历al中的元素并打印
		{
			String s=it.next();
			System.out.print(s+"\t");			
		}		
	}
}

由于编译生成的字节码会去掉泛型的类型信息，所以在运行时ArrayList<String>和ArrayList<Integer> 的实际类型是一样的class java.util.ArrayList

ArrayList<String> 的类型：class java.util.ArrayList
ArrayList<Integer> 的类型：class java.util.ArrayList

只要能跳过编译器，就可以往某个泛型集合中加入其它类型的数据，例如，用反射得到集合，再调用其add方法即可。

import java.lang.reflect.InvocationTargetException;
import java.util.ArrayList;
public class GenericTest {
	/**
	 * @param args
	 * @throws Exception 
	 * @throws InvocationTargetException 
	 * @throws IllegalAccessException 
	 * @throws SecurityException 
	 * @throws IllegalArgumentException 
	 */
	public static void main(String[] args) throws IllegalArgumentException, SecurityException, IllegalAccessException, InvocationTargetException, Exception {
		// TODO Auto-generated method stub
		//使用泛型避免了类型转换
		ArrayList<String> collection2=new ArrayList<String>();
		collection2.add("1");
		collection2.add("1.00000");
		collection2.add("abac");
		
		//演示泛型内部原理
		ArrayList<Integer> collection3=new ArrayList<Integer>();
		collection3.add(123);
		
		//getClass()方法的返回值和原始类型完全一样
		System.out.println("判断泛型类型===="+(collection2.getClass()==collection3.getClass()));
		
		//通过反射穿过 编译器的泛型类型判断 ：Integer类型中存入String类型的对象
		collection3.getClass().getMethod("add", Object.class).invoke(collection3, "abc");
		System.out.println(collection3.get(1));
	}
}

泛型术语

ArrayList<E>类定义和ArrayList<Integer>类引用中涉及如下术语：

整个称为ArrayList<E>泛型类型 
ArrayList<E>中的E称为类型变量或类型参数
整个ArrayList<Integer>称为参数化的类型
ArrayList<Integer>中的Integer称为类型参数的实例或实际类型参数
ArrayList<Integer>中的<>念着typeof
ArrayList称为原始类型

 

参数化类型与原始类型的兼容性：

参数化类型可以引用一个原始类型的对象，编译报告警告
例如， Collection<String> c = new Vector();//可不可以，不就是编译器一句话的事吗？

原始类型可以引用一个参数化类型的对象，编译报告警告
例如， Collection c = new Vector<String>();//原来的方法接受一个集合参数，新的类型也要能传进去

参数化类型不考虑类型参数的继承关系：
Vector<String> v = new Vector<Object>(); //错误!///不写<Object>没错，写了就是明知故犯
Vector<Object> v = new Vector<String>(); //也错误!

编译器不允许创建泛型变量的数组。即在创建数组实例时，数组的元素不能使用参数化的类型，例如，下面语句有错误：
  Vector<Integer> vectorList[] = new Vector<Integer>[10];

泛型中的？通配符

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

import java.util.ArrayList;
import java.util.Collection;
import java.util.HashSet;

public class GenericDemo {
	public static void main(String[] args) {
		HashSet<String> hs=new HashSet<String>();
		hs.add("C++");
		hs.add("Java");
		printCollection(hs);
		
		ArrayList<Integer> al=new ArrayList<Integer>();
		al.add(23);
		al.add(32);
		printCollection(al);
	}
	
	//使用泛型的通配符？定义一个方法，该方法用于打印出任意参数化类型的集合中的所有数据
	public static void printCollection(Collection<?> collection)
	{
		for(Object obj:collection)
		{
			System.out.println(obj);
		}
		//cols.add("string");//错误，因为它不知道自己未来匹配就一定是String
		collection.size();//没错，此方法与类型参数没有关系
		collection = new HashSet<String>();//原始类型可以引用一个参数化类型的对象
	}

}

限定通配符的边界

限定通配符的上边界：
正确：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>();

注意：限定通配符总是包括自己。?只能用作引用，不能用它去给其他变量赋值

Vector<? extends Number> y = new Vector<Integer>();
Vector<Number> x = y;
//上面的代码错误，原理与Vector<Object > x11 = new Vector<String>();相似，
//只能通过强制类型转换方式来赋值。