Java泛型是从JDK1.5开始引入的,它与C++的模版非常类似。但是Java的模版完全在编译的时候实现,使用一种擦除的技术在编译的时候就将模版完全替换,由编译器执行类型检查和推断,编译成普通的非泛型字节码。正因为如此,虽然Java泛型是Java类型安全的一大进步,但是使用起来的时候可能会遇到各种非常困扰的问题。
Java泛型不协变
在Java中,因为Number是Integer的父类,所以Integer也是Number,不仅如此,而且Integer[]也Number[]。所以下面这段代码是没有任何问题的:
Number[] nums = new Integer[5];
这就是协变,因为Integer是Number,所以Integer[]也是Number[]。Java的数组是支持协变的。但是Java泛型时不支持协变的。所以下面这段代码将会出现编译错误。
List<Number> list = new ArrayList<Integer>(); //compile error
如果想要编译通过,这需要将List的申明改成如下
List<? extends Number> list = new ArrayList<Integer>(); //ok
这是通过***通配符引用***来解决这个编译不通过的问题,现在上面那段代码的泛型类型就是TypeVariable了。Integer也是符合? extends Number
的。
不能实例化泛型数组
Java泛型的不协变导致的一个问题就是不能实例化泛型数组。因为数组是协变的,但是泛型不协变。这样如果可以实例化泛型数组,那么就会导致问题的出现,看下面这段代码
List<Character>[] listArr = new List<Character>[10]; // illegal, 非法,假设可以通过编译
Object[] oa = listArr; //数组协变,这句没有问题
oa[0] = new ArrayList<Integer>(); // 看似没问题,但已经出问题了
上面最后一句已经是有问题了,oa中每个元素的类型时List,但是现在却将ArrayList赋值给了它。
不能够实例化泛型数组,但是这种通配符类型(List<?>)除外,如:
List<?>[] listArr = new List<?>[10];
构造
构造变量
我们不能直接new 泛型数组,也不能够直接实例化一个泛型类型对象,比如下面这种也是不能够通过编译的:
T t = new T(); //error
对于泛型的初始化,可以考虑clone:
static <T extends Cloneable> void create(T t1){
T t = t1.clone();
}
但是必须将clone 的改为public。
构造数组
对于数组,我们可以通过下面的方式创新新的数组
V[] arr = (V[]) new Object[10]
这种方式通过强制转换Object[]为V[],但是太别扭,并不推荐这种方式。或者通过每次使用V的时候,将Object[]读取的时候进行强制转换。
最好的办法是向构造函数传递类文字(Foo.class),这样,该实现就能在运行时知道 T的值。不采用这种方法的原因在于向后兼容性 —— 新的泛型集合类不能与 Collections 框架以前的版本兼容。
所以在Collections中也有这么一种方式实现构造数组
ArrayList<V> implements List<V> {
public ArrayList(Class<V> elementType){
blockArray = (V[])Array.newInstance(elementType,DEFAULT_LENGTH);
}
}
其中Array.newInstance返回的是Object[],这是为了向下兼容而做的妥协。
擦除也是造成上述构造问题的原因,即不能创建泛型类型的对象,因为编译器不知道要调用什么构造函数。如果泛型类需要构造用泛型类型参数来指定类型的对象,那么构造函数应该接受类文字(Foo.class)并将它们保存起来,以便通过反射创建实例。
Java擦除
Java的泛型是在编译的时候就被擦除的,因为泛型基本上都是在 Java 编译器中而不是运行库中实现的,所以在生成字节码的时候,差不多所有关于泛型类型的类型信息都被“擦掉”了。换句话说,编译器生成的代码与您手工编写的不用泛型、检查程序的类型安全后进行强制类型转换所得到的代码基本相同。如List与List这两个类型是一样的,也因为擦出,instanceof在范型是没有任何意义的。
另外强制转换也是没什么作用,比如下面这段代码:
public static <T> T nativeCast(Object o){
return (T)o;
}
实际上编译之后T就被擦出了,其实就是直接返回o(是Object类型)。