了解Java泛型

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类型）。