不能用基本类型实例化类型参数
不能用类型参数代替基本类型:例如,没有Pair,只有Pair,其原因是类型擦除。擦除之后,Pair类含有Object类型的域,而Object不能存储double值。这体现了Java语言中基本类型的独立状态。
运行时类型查询只适用于原始类型(raw type)
运行时:通常指在Classloader装载之后,JVM执行之时
类型查询:instanceof、getClass、强制类型转换
原始类型:即(raw type),泛型类型经编译器类型擦除后是Object或泛型参数的限定类型(例如Pair,Comparable就是T的限定类型,转化后泛型的原始类型就是Comparable,所以Pair类不带泛型是Pair),即Pair类含有Comparable类型的域
JVM中没有泛型
if(a instanceof Pair<String>) //ERROR,仅测试了a是否是任意类型的一个Pair,会看到编译器ERROR警告
if(a instanceof Pair<T>) //ERROR
Pair<String> p = (Pair<String>) a;//WARNING,仅测试a是否是一个Pair
Pair<String> stringPair = ...;
Pair<Employee> employeePair = ...;
if(stringPair.getClass() == employeePair.getClass())
//会得到true,因为两次调用getClass都将返回Pair.class
//加入Java开发交流君样:756584822一起吹水聊天
不能创建参数化类型的数组(泛型数组)
参数化类型的数组:指类型带有泛型参数的数组,也即泛型数组,如Pair[] 、 T[]
不能实例化参数化类型的数组,例如:
Pair<String> table = new Pair<String>[10]; //ERROR
在这里我们假设可以实例化,那么经编译器类型擦除后,table的类型是Pair[],我们再让它协变为Object[]:
Object[] objArray = table;
而一般来说,数组会记住他的元素类型Pair,我们如果试图存储其他类型的元素,就会抛出异常(数组存储检查),例如:
objArray[0] = "Hello"; //ERROR--component type is Pair
但是,对于泛型类型Pair,类型擦除会使这种不同类检查机制无效,这就是不能实例化泛型数组的原因!
objArray[0] = new Pair