通过泛型使得一个类型的功能增强了,好像扩展出好多子类一样。例如: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> 的一个子类型。。
由于系统中并不会真正生成泛型类,所以如下操作也是不允许的:
ArrayList<String> list = new ArrayList<String>(); //编译错误,instanceof后面不能使用泛型类 if (list instanceof ArrayList<String>) { }
