Java泛型编译错误疑问：为何不能用T extends SomeClass这类写法？

一、编译错误的核心原因：语法规则混淆 #

你遇到的编译错误，本质是混淆了类型参数声明和通配符使用的语法规则：

1. 类型参数的约束位置错误 #

当你声明方法的类型参数（比如<T>）时，对该类型参数的约束（如extends Dog）必须写在类型参数的声明部分，而非在使用该类型参数作为泛型类型的实际参数时重复添加约束。

错误写法：

<T> void printExtends_compile_error(List<T extends Dog> t) {}

修正后的合法写法：

<T extends Dog> void printExtends_fixed(List<T> t) {}

此时编译器明确T是Dog或其子类，List<T>也就符合语法规则了。

2. 类型参数不支持super下界约束 #

Java的类型参数声明仅允许用extends指定上界，完全不支持super指定下界。因此<T> void printSuper_compile_error(List<T super Dog> t) {}从语法层面就是非法的——无论如何调整位置，类型参数都不能设置下界约束。

二、extends/super是否只能与通配符?配合？ #

答案是否定的，两者的适用场景有明确区分：

• extends可同时用于类型参数声明和通配符：
  • 类型参数声明：<T extends Dog>表示T必须是Dog或其子类，适合需要复用该类型参数的场景（比如方法返回值也是T类型）。
  • 通配符：List<? extends Dog>表示List的元素类型是未知的，但一定是Dog的子类（含Dog本身），多用于只读场景（生产者模式）。
• super仅能用于通配符：
  Java不允许在类型参数声明中使用super（如<T super Dog>是非法语法），只有通配符才能用super指定下界，比如List<? super Dog>表示List的元素类型是未知的，但一定是Dog的父类（含Dog本身），多用于只写场景（消费者模式）。

三、补充合法写法示例 #

// 类型参数声明用extends，复用T作为返回值类型
<T extends Dog> T getFirstDog(List<T> dogs) {
    return dogs.get(0);
}

// 通配符用extends，只读遍历场景
void printDogTypes(List<? extends Dog> dogs) {
    for (Dog dog : dogs) {
        System.out.println(dog.getClass().getSimpleName());
    }
}

// 通配符用super，只写添加场景
void addSubDogs(List<? super Dog> collection) {
    collection.add(new Dog1());
    collection.add(new Dog2());
}

内容的提问来源于stack exchange，提问作者CuriousMind