下界通配符（? super Type）

  在Java中，? super Type是一个下界通配符，表示参数化类型的下限是Type。这意味着容器可以持有Type类型的任何对象或者Type的父类型对象。

使用场景

  这种类型的通配符通常用于泛型方法中，允许方法接受Type的实例或其父类型的集合。这是基于PECS原则（Producer Extends, Consumer Super），即如果你需要一个提供（生产）指定类型元素的集合，使用? extends；如果你需要一个消费（接受）指定类型元素的集合，使用? super。

例子

  假设有一个基类Animal和两个子类Dog和Cat

class Animal {}
class Dog extends Animal {}
class Cat extends Animal {}

  现在，我们有一个方法，它的目的是往一个集合里添加Dog对象：

public void addDogsToList(List dogs) {
    dogs.add(new Dog()); // 这是允许的，因为List可以是Dog或其父类型
}

  这个方法接受的参数是一个列表，这个列表的类型是Dog或Dog的任何父类型。因此，以下的调用都是有效的：

List animalList = new ArrayList<>();
List dogList = new ArrayList<>();
List