泛型与继承

通过泛型使得一个类型的功能增强了，好像扩展出好多子类一样。例如：ArrayList，通过指定泛型，可以延伸出ArrayList只能处理字符串类型的集合，ArrayList只能处理Ingeter类型的集合。但是，实际上，系统并没有为ArrayList等生成新的class文件，而且也不会把ArrayList当成新的类型处理。

看下面的代码的打印结果是什么？

ArrayList list1 = new ArrayList();
ArrayList<Object> list2 = new ArrayList<>();
ArrayList<Integer> list3 = new ArrayList<>();
ArrayList<String> list4 = new ArrayList<>();
System.out.println(list1.getClass()); //class java.util.ArrayList
System.out.println(list2.getClass()); //class java.util.ArrayList
System.out.println(list3.getClass()); //class java.util.ArrayList
System.out.println(list4.getClass()); //class java.util.ArrayList
System.out.println(list1.getClass() == list2.getClass()); //true
System.out.println(list2.getClass() == list3.getClass()); //true
System.out.println(list1.getClass() == list3.getClass()); //true
System.out.println(list3.getClass() == list4.getClass()); //true

​ 可见ArrayList<String>、ArrayList<Integer> 不是 ArrayList<Object> 的子类，因为他们的运行时类型都是ArrayList，因此不允许如下赋值操作：

ArrayList<Object> list = new ArrayList<String>(); //编译不通过，类型不兼容
ArrayList<Object> list = new ArrayList<Integer>(); //编译不通过，类型不兼容

​ 这点和数组不同，因为数组是要生成新的Class对象的，String[]仍然是Object[]的子类，因此允许如下赋值操作。

Object[] arr = new String[5];  

​ 但是数组这么处理也是有风险的，如下操作编译正确，但运行时会报ArrayStoreException，所以请谨慎这样操作。

Object[] arr = new String[5];       
arr[0] = 12; //因为12不是字符串对象  

但是，在泛型中，List<String> 和 ArrayList<String> 之间任然存在实现关系：

List<String> list = new ArrayList<String>(); //合法，允许向上转型

总结：

如果B是A的一个子类型（子类或者子接口），而G是具有泛型声明的类或接口，则 G<B> 并不是 G<A> 的子类型；

如果F、G是具有泛型声明的类和接口，且F是G的一个子类型（子类或者子接口），C是任一确定的引用类型，则 F<C> 是 G<C> 的一个子类型。。

instanceof后面不支持泛型类

由于系统中并不会真正生成泛型类，所以如下操作也是不允许的：

ArrayList<String>  list = new ArrayList<String>(); 
//编译错误，instanceof后面不能使用泛型类
if (list instanceof ArrayList<String>) {

}