泛型疑点

ArrayList是一个使用泛型的类，它的类声明如下：

public class ArrayList<E> extends AbstractList<E> implement List<E> ...{
      public boolean add(E o)...
}

当我们定义一个方法如下：

public void takeAnimal(ArrayList<Animal> animals){
      ...
}

当我定义个实例对象 ArrayList<Animal> animals = new ArrayList<Animal>() 然后使用 takeAnimal(animals) 来调用我们定义的方法，编译并运行程序，程序能够正常运行；
  重新实验，当我创建一个 Animal 的子类 Cat 的实例对象，例如 ArrayList<Cat> cats = new ArrayList<Cat>()，然后我们再使用 takeAnimal(cats) 来调用之前定义的方法，编译，这个时候程序会报错，错误大致如下：

java.util.ArrayList<Animal> cannot be applied to java.utils.arrayList<Dog>

** Cat 明明为 Animal 的子类，为什么不能作为参数传递呢？**
  理由其实简单，根据Java面向对象的特性。试想想，如果在方法内我添加Animal其他子类的对象怎么办，例如：我们添加 Animal 的另一子类 Dog ，代码如下：

public void takeAnimal(ArrayList<Animal> animals){
      animals.add(new Dog);
}

此时 animals 引用实际上持有的是ArrayList<Cat> 对象，而 Cat 与 Dog 虽然拥有同一父类，但它们之间并没有 is-a 或者 has-a 关系，因此 Dog 不能添加到 animal 中。而在这个方法中 animals.add(new Dog); 确实在语法上没有错误，Java 为了避免这个问题，在编译时就会提示之前的错误。

那么我们是不是要为每一个类的 ArrayList 参数定义一个方法呢？ 
  答案是不用！！！Java 为我们提供了一个方案：使用泛型与万用字符。例如我们重写方法

public void takeAnimals(ArrayList<? extends Animal> animals){
      ...
}

或者

public <T extends Animal> void takeAnimals(ArrayList<T> animals){
      ...
}

使用上述方法后我们使用 takeAnimal(cats) 来调用方法就不会报错了，但是有一个问题需要注意，在该方法体中不会允许你向 animals 添加任何元素。