Java 泛型 泛型的约束与局限性

不能用基本类型实例化类型参数

不能用类型参数代替基本类型：例如，没有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