Java面试——Java泛型擦除与通配符用法_技术教程

不能，泛型擦除后Class对象中无泛型参数痕迹；仅继承场景可通过getGenericSuperclass()获取，其余情况需额外传入Class或使用TypeToken。

泛型擦除后还能获取类型信息吗

不能，编译期擦除后 Class 对象里没有泛型参数痕迹。比如 List 和 List 运行时都是 ArrayList.class，getClass() 拿不到 String 或 Integer。

例外情况只有：泛型用在继承关系中（如子类继承 ArrayList），可通过 getGenericSuperclass() 解析父类的泛型签名——但这是反射黑魔法，不是泛型本意支持的机制。

常见误判场景：

以为 instanceof List 合法 → 实际编译报错：ille gal generic type for instanceof
试图用 new ArrayList() 在方法内构造带具体泛型的实例 → 编译失败，T 已擦除，JVM 不知道该 new 什么
序列化/反序列化时依赖泛型类型做校验 → 必须额外传入 Class 参数，比如 Gson 的 TypeToken

什么时候必须用 ? extends T 而不是 T

当你需要从集合中「安全读取」元素，且希望限定上界类型时。比如方法接收一个只读数据源，你只关心它返回的元素是 Number 或其子类（Integer、Double 等），但不关心具体是哪一个。

? extends T 表示“某个未知的 T 子类型”，编译器禁止你往里写（因为不知道具体是什么类型），但允许你读出 T 类型的引用。

public static double sumNumbers(List list) {
    double sum = 0.0;
    for (Number n : list) { // ✅ 安全：所有子类都能向上转型为 Number
        sum += n.doubleValue();
    }
    return sum;
}

对比错误写法：

List → 无法传入 List，类型不兼容
List> → 可以传入，但循环时只能拿到 Object，要强转，失去类型安全
List super Number> → 允许写入 Number 及其子类，但读出来只是 Object，更弱

为什么不能向 ? super T 集合中读取具体子类型

因为 ? super T 表示“某个未知的 T 的父类型”，可能是 Object、Number、Serializable……编译器只知道它至少能装下 T，但不确定它自己是什么类型，所以读出来的只能是 Object。

典型使用场景是「消费数据」：比如把一堆 Integer 写进一个 List super Integer>，这个集合可以是 List、List 或 List —— 都合法。

public static void addIntegers(List list) {
    list.add(42);      // ✅ 允许：Integer 可以放进任何它的父类型容器
    list.add(100);     // ✅ 同上
    // Integer i = list.get(0); ❌ 编译错误：get() 返回 Object
    Object o = list.get(0); // ✅ 唯一安全的读法
}

容易踩的坑：

混淆 extends 和 super 的读写倾向：“PECS” 原则（Producer Extends, Consumer Super）不是记忆口诀，而是类型系统对协变/逆变的强制约束
试图用 ? super T 来统一处理多种输入类型 → 实际上它不提供类型归一能力，只是放宽了写入限制
在泛型方法返回值中滥用 ? super T → 返回类型太宽泛，调用方几乎无法直接使用

泛型方法中 T 和 ? 的本质区别

T 是方法声明时绑定的类型变量，整个方法体共享同一个具体类型（哪怕运行时擦除）；而 ? 是独立的、每次调用都可能不同的通配符，不参与类型推导，也不生成桥接方法。

这意味着：

泛型方法可实现类型安全的转换或转发： T cast(Object o) 可以配合 Class 做检查，而 void process(List> list) 无法还原原始类型
T 支持边界限定：>，通配符不支持嵌套限定（? extends Comparable> 合法，但 ? extends Comparable 中的 T 无意义）
多个 T 参数之间可建立关系（如 Map of(K k, V v)），而多个 ? 之间完全独立、无关联