泛型变量的使用时在编译之前检查的。
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对象(即原生类型)来充当泛型的参数。
向使用<?>的方法传递原生类型,可能会推断出实际的类型参数,使得该方法可回转并调用另一个使用该确切类型的方法,这被称为捕获转型。要求:在方法内部,需使用确切类型。
自动包装机制无法应用于数组。