本文详解java泛型中`
在Java泛型中，类型参数（type parameter）的声明位置和使用方式有严格语法规则。你遇到的编译错误：
Incorrect number of arguments for type ArrayList; it cannot be parameterized with arguments <T, Animal>
根本原因在于：ArrayList<T extends Animal> 是非法语法——T extends Animal 不能直接作为 ArrayList 的类型实参（type argument）写在尖括号内。Java 不允许在类型应用（如 ArrayList<...>）中嵌入类型变量及其边界；边界（extends Animal）只能出现在类型参数声明处，而非类型使用处。
✅ 正确做法是将类型参数 <T extends Animal> 前置声明在方法签名开头，再在参数中使用该已声明的类型变量 T：
public static <T extends Animal> void killAll(ArrayList<T> animals) {
System.out.println("animals are dead");
}此时 <T extends Animal> 是方法的类型参数声明，ArrayList<T> 中的 T 是对该参数的合法引用。该写法支持传入 ArrayList<Animal> 或 ArrayList<Dog>（假设 Dog extends Animal），且在方法体内可安全使用 T（例如获取元素、返回泛型结果等）。
立即学习“Java免费学习笔记（深入）”；
⚠️ 但若方法体不依赖具体类型 T（如本例仅打印日志，未操作集合元素），则更推荐使用上界通配符（upper-bounded wildcard）：
public static void killAll(List<? extends Animal> animals) {
System.out.println("animals are dead");
}这里 ? extends Animal 表示“某个未知的 Animal 子类型”，它：
- 允许传入 List<Animal>、List<Dog>、List<Cat> 等任意 Animal 子类的列表；
- 保证从集合中读取的元素可安全视为 Animal（即 animals.get(0) 返回 Animal 类型）；
- 禁止向集合添加任何对象（除 null 外），因为编译器无法确定实际类型（例如不能确定 ? 是 Dog 还是 Cat），从而保障类型安全。
? 最佳实践建议：
- 优先使用接口而非具体实现类：用 List<? extends Animal> 替代 ArrayList<? extends Animal>，提高灵活性；
- 若需在方法内操作泛型类型（如返回 T、创建 new T[]、调用 T 特有方法），才使用显式类型参数 <T extends Animal>；
- 避免混淆声明（<T extends X>）与使用（X<?> 或 X<T>）：边界只属于声明，通配符用于类型使用。
综上，<? extends Animal> 能工作，是因为它符合泛型类型使用的语法规则；而 <T extends Animal> 直接写在 ArrayList<...> 中则违反了Java泛型的语法设计——类型参数必须先声明，后引用。
