Java泛型原理及应用

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

泛型中的通配符：例如：

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

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

?后面的extends是对？的限定就是说只能是Number的子类，而String不是，这是限定通配符的上边界。

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

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

这是限定通配符的下边界，就是？是Integer的父类，限定通配符总是包括自己

java中的泛型类似于C++中的模板。但这种相似性仅限于表面，Java语言中的泛型基本上完全是在编译器中实现的，用于编译器执行类型检查和类型推断，然后生成普通的非泛型字节码，这种实现技术称为擦除eraser(编译器使用泛型信息保证类型安全，然后在生成字节码之前将其擦除)。这是因为扩展虚拟机指令集来实行泛型被认为是无法接受的，这回为Java厂商升级虚拟机造成难以逾越的障碍。

当一个类型变量用来表示两个参数之间或者参数和返回值之间的关系时，即同一个类型的变量在方法签名的两处被使用，或者类型变量在方法体代码中也被使用，而不是仅在签名的时候使用，才需要使用泛型的方法。

获取一个函数参数的泛型的代码：

public static void applyVector(Vector<Date> vi){

}

Method applyMethod = Generictest.class.getMethod("applyVector", Vector.class);
Type[] types = applyMethod.getGenericParameterTypes();
ParameterizedType pType = (ParameterizedType)types[0];
System.out.println(pType.getRawType());
System.out.println(pType.getActualTypeArguments()[0]);