泛型T和通配符？的理解

通过一个例子说明

新建一个动物基类 Animal

public class Animal {
}

新建两个子类（狗和猫） 

public class Dog extends Animal {
}

public class Cat extends Animal {
}

新建一个动物类型（Animal）的的类集合（假设这个类集合实现了集合功能）

public  class AnimalCollection<T extends Animal> {
    public void addAnimal(T t){}
}

假设现在需要定义一个往动物类型集合（AnimalCollection）新增动物的方法，现在有两种方式

1、使用泛型

public static <T extends Animal> void addAnimal(AnimalCollection<T> animalCollection){}

2、使用通配符

public static void addDog(AnimalCollection<? extends Dog> animalCollection){}

上面两种方法都可以正常编译运行的

如果上面两个方法的参数不是动物类集合（AnimalCollection），而是Animal或其子类对象呢？

可以看到想要通过通配符来定义参数类型会编译器会报错的

所以可以这样理解，泛型T是对方法的类型的一种“占位”方式，而通配符？实际上只能对形如 AnimalCollection<T> 这样的参数中T的替换以及对T指向的类型的范围限制实现方式。泛型T是对方法的参数类型的占位，在调用带泛型的方法的时候，参数类型可以是T所限定范围内的任何类型，而通配符？只能用于方法中形如 AnimalCollection<T>、ArrayList<T> 这样的类型，注意AnimalCollection<T>实际上就是一种类型，而T并不是某一种具体的类型，T可以表示AnimalCollection<Animal>、ArraryList<Dog>这种类型，也可以表示Animal、Dog、Cat这样的类型