Java泛型中的通配符上限和下限

在Java泛型中，通配符（Wildcard）允许我们在使用泛型类或接口时，不指定具体的类型参数，而是使用一个问号（?）表示未知类型。通配符可以有上限（Upper Bound）和下限（Lower Bound），用于限制未知类型的范围。

1. 通配符上限（Upper Bound）

通配符上限使用关键字extends来表示，它限制了未知类型必须是某个特定类型或其子类型。语法如下：

泛型类<? extends 上限类型>

例如，如果我们有一个泛型类Animal和它的两个子类Dog和Cat，我们可以使用通配符上限来限制未知类型必须是Animal或其子类：

public void processAnimals(List<? extends Animal> animals) {
    // ...
}

这样，我们可以将List<Dog>或List<Cat>类型的参数传递给processAnimals方法，但不能将List<String>类型的参数传递给它。

2. 通配符下限（Lower Bound）

通配符下限使用关键字super来表示，它限制了未知类型必须是某个特定类型或其父类型。语法如下：

泛型类<? super 下限类型>

例如，如果我们有一个泛型类Animal和它的两个子类Dog和Cat，我们可以使用通配符下限来限制未知类型必须是Animal或其父类：

public void addAnimals(List<? super Animal> animals) {
    // ...
}

这样，我们可以将List<Animal>、List<Object>类型的参数传递给addAnimals方法，但不能将List<Dog>或List<Cat>类型的参数传递给它。

总结一下，通配符上限和下限可以帮助我们在使用泛型时更加灵活地处理不同类型的关系。通配符上限用于限制未知类型必须是某个特定类型或其子类型，而通配符下限用于限制未知类型必须是某个特定类型或其父类型。