再读thinking in java -- 第十五章 泛型（二）

泛型变量的使用时在编译之前检查的。

ArrayList<String> array1 = new ArrayList();

ArrayList array2 = new ArrayList<String>();

前者和泛型一致，后者无泛型作用。new ArrayList（）只是在内存中开辟了空间。可以存储任意对象。而设计类型检查的是它的引用，因为array2中没用使用泛型引用，所以它没有泛型的作用。

类型检查是针对引用的，谁是一个引用，就用该引用调用泛型方法，就会对该引用调用的方法就行类型检查，无关真正的对象。

不能用new来实例化泛型类型（不能显示的引用运行是类型的操作）

类型恢复实在调用出强转的。

类中泛型数组中，传递泛型参数会被擦除，通过传递类型参数的Class对象可以保证转型（即类型标签）

通过对象来获取类型参数。使用isInstance()方法来表示对类型擦除的补偿。泛型元素的返回，可通过转型来实现，但返回泛型数组并强转是不行的，没有任何方式可以推翻数组类型，它只能是Object[]。386页的程序可以实现数组的返回，但会有警告。

尽管擦除会令Class<T>变为Class，但Class对象并没有被擦除，它依然存在。

List<? extends Fruit> flist = new ArrayList<Apple>();    这里flist不能添加任何元素。因为对于flist，任何fruit都可以添加，这对类型检查将造成混乱。编译器将直接拒绝参数列表中设计通配符的方法的调用。

可使用超类型通配符<? super Myclass>，（但不可用<T super Myclass>）这样就可以操作关系倒参数的元素了。

无界通配符是为了表明它是泛型。

List表示持有任何Object类型的原生List，而List<?>表示具有某种特定类型的非原生List。不能用Object对象（即原生类型）来充当泛型的参数。

向使用<?>的方法传递原生类型，可能会推断出实际的类型参数，使得该方法可回转并调用另一个使用该确切类型的方法，这被称为捕获转型。要求：在方法内部，需使用确切类型。

自动包装机制无法应用于数组。