java核心之泛型（三）约束

——每天的寥寥几笔，坚持下去，将会是一份沉甸甸的积累。

从前一篇文章我们可以看出擦除机制的强大，由于擦除，使得新的语法糖——泛型被成功的加入到java语法中，同时又兼容了java虚拟机原有的处理机制。

不过，擦除的加入也带来了不少的约束与限制。

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

比如说Pair<double>是不被允许的，因为类型擦除过后，Pair含有Object类型的域，而Object不能存储基本数据类型double。

2.运行时类型查询只适用于原始类型。

因为泛型类型会被擦除，最后不是我们想要的结果。比如

if(a isinstanceof Pair<String>)//ERROR
由于擦除，结果只会变成判断是否是Pair的实例，而不是我们原来想要的判断是否是Pair<String>的实例

3.不能创建参数化类型的数组

Pair<String> [] table = new Pair<String>[10];//ERROR
擦除过后，table的类型为Pair[],然后
Object[] array = table;
array[0] = "hello";//ERROR-component type is Pair,throw arrayStoreException
array[0] = new Pair<Employee>();//pass the array store check but still result in a type error

如果需要收集参数化类型对象，直接使用ArrayList：ArrayList<Pair<String>>最安全且有效

4.Varargs警告

从3可以看出java不支持泛型类型的数组，然后对应一个类似的——可变参的方法，如addAll(T...ts)，往里面传泛型类型的参数实例就会垂涎Varargs警告。

5.不能实例化泛型类型

new T(...),new T[...],T.class这些的表达式都不能使用，因为T会被擦除为Object
那样的话结果会始终new出来Object类型的实例，这不是我们想要的。必要时需要用反射来实现

public static <T> Pair<T> makePair(Class<T> c1){
    return new Pair(c1.newInstance(), c1.newInstance());
}

那么既然new T()不被允许，我们又该怎么new一个对象出来呢？答案是用Object类型。

看ArrayList的实现

public class ArrayList<E>{
	Object[] element;
	public E get(int n){
		return (E)element[n];
	}
	public void set(int n,E e){
		element[n] = e;
	}
}

这里需要注意的是，如果返回的不是E类型，而是E[]类型，那么就出问题，像下面

public static <T> T[] minmax(T...a){
	Object[] mm = new Object[2];
	return (T[])mm;//编译通过，运行时类型转换异常
}

上面这种情况还是得需要反射来解决

public static <T> T[] minmax(T...a){
	T[] mm == (T[])Array.newInstance(a.getClass().getComponentType(),2);
	return mm;//编译通过，运行时类型转换异常
}

6.泛型类的静态上下文中类型变量无效

public class A<T>{
	private static T a;//error
	public static T get(){}//error,因为擦除，而且类A没有被实例化
}

7.类型擦除后的冲突

publicclass Pair<T>{
	public boolean equals(T value){}//由于擦除，变成equals(Object)，这会和从Object父类继承过来的equals(Object)同名冲突
}