(Oreilly)Java Generics and Collections 读书笔记一

1 子类和代入法则

   首先先介绍一下,涉及到泛型的子类的概念. 1 Integer 是 Number 的子类 2 ArrayList<E> 是 List<E>的子类
   注意: List<Integer> 不是 List<Number>的子类 
   这里介绍一个泛型使用时的代入法则,原文如下:

   Substitution Principle: a variable of a given type may be assigned a value of any subtype of that type, and a method with a parameter of a given type may be invoked with an argument of any subtype of that type.

   个人理解:对于一个给定的泛型类型可以被任何一个它的子类型赋值,对于一个给定泛型参数类型的方法可以被任何一个类型为该参数类型子类的参数所调用
   这个法则有两个方面的意思,一个是赋值,一个是方法调用
   看下面列子:
   List<Number> nums = new ArrayList<Number>();
   nums.add(2);
   nums.add(3.14);
   assert nums.toString().equals("[2, 3.14]");
   代码第1行根据法则,ArrayList<Number> 是 List<Number> 的子类 所以可以赋值给 List<Number>,第2,3行根据法则,Integer 和 Double 类型是 Number 的子类,所以该方法调用也是正确的
   同样下面是一个错误的列子 
   List<Integer> ints = Arrays.asList(1,2);
   List<Number> nums = ints; // compile-time error
   nums.add(3.14);
   assert ints.toString().equals("[1, 2, 3.14]"); // uh oh!
   根据代入法则,List<Integer>不是List<Number> 的子类所以不能赋值,在代码的编译阶段就会报错,也避免了在运行期出现classCast异常
   以上法则应用于没有泛型通配符的情况