泛型的好处:
泛型的适用可以省去类型转换
泛型可以将集合中的元素限定到一种特定类型
但是:
泛型是提供给编译器使用的,所以泛型存在于编译期
编译期过后会去类型化,去掉类型信息
!所以可以透过反射去给泛型集合加入限定类型以外的类型的元素
ArrayList<E>称为泛型类型
E称作类型参数
ArrayList<Integer>称为参数化的类型,Integer称为实际类型参数
<>念作typeof
参数化类型可以向下兼容原始类型对象
例:
Connection<String> con = new Vector()
原始类型可以引用一个参数化类型对象
例:
Vector v = new Vector<String>();
但无论怎样定义泛型都只存在与编译期,在字节码里v只是new Vector()而已
参数化类型不考虑类型参数的继承关系
泛型中的?通配符
?表示泛型中的任意类型
适用?通配符可以引用其他各种参数化的类型,?通配符定义的变量主要用作引用,可以调用与参数化无关的方法,不能调用与参数化有关的方法
通配符的扩展
限定通配符的上边界
? extends ClassName
限定通配符的下边界
? super ClassName
可以用&同时定义多个边界
? extends A_ClassName&B_ClassName
自定义泛型:
T代表任意某类型
public <T> T Method (T parameter1,T parameter2){
//do...
}
Java的泛型是在编译期实现的,所以无法拥有完整的C++泛型模板的强大功能
泛型类型只能是对象类型,只有引用类型才能作为泛型的实际参数
<>括号内可以指定多个类型参数,如
HashMap<K,V>
如果调用方法时多处的实际应用类型对应到了不同的类型,且没有返回值,这时候取多个参数的最大交集,如果有返回值则优先考虑返回值的类型
如果类的实例对象中的多处要用到同一个泛型参数,使这些地方引用的泛型类型保持同一类型,就可采用泛型类型的方式对类进行定义,也就是类级别的泛型
public class ClassName <T>{
public T method(T t){......}
public T method2(T t){......}
}
静态方法不能适用类级别的泛型类型,因为静态方法是类所持有的,对象共有,但是静态方法可以
自己定义自己的泛型
public static<T> T method (T t){
//do........
}
通过变量是无法知道变量类型的泛型类型,因为泛型只存在于编译期!
但是可以通过反射方法类型,而获得方法参数的泛型类型
Type [] types=
xxx.class.getMethod("methodName",Parameter.class).getGenericParameterTypes();
ParameterizedType type =(ParameterizedType)types[0];
type.getActualTypeArguments()[0]