不能，泛型擦除后Class对象中无泛型参数痕迹；仅继承场景可通过getGenericSuperclass()获取，其余情况需额外传入Class<T>或使用TypeToken。
泛型擦除后还能获取类型信息吗
不能，编译期擦除后 Class 对象里没有泛型参数痕迹。比如 List<String> 和 List<Integer> 运行时都是 ArrayList.class，getClass() 拿不到 String 或 Integer。
例外情况只有：泛型用在继承关系中（如子类继承 ArrayList<String>），可通过 getGenericSuperclass() 解析父类的泛型签名——但这是反射黑魔法，不是泛型本意支持的机制。
常见误判场景：
- 以为
instanceof List<String>合法 → 实际编译报错：illegal generic type for instanceof - 试图用
new ArrayList<T>()在方法内构造带具体泛型的实例 → 编译失败，T 已擦除，JVM 不知道该 new 什么 - 序列化/反序列化时依赖泛型类型做校验 → 必须额外传入
Class<T>参数，比如 Gson 的TypeToken
什么时候必须用 ? extends T 而不是 T
当你需要从集合中「安全读取」元素，且希望限定上界类型时。比如方法接收一个只读数据源，你只关心它返回的元素是 Number 或其子类（Integer、Double 等），但不关心具体是哪一个。
立即学习“Java免费学习笔记（深入）”；
? extends T 表示“某个未知的 T 子类型”，编译器禁止你往里写（因为不知道具体是什么类型），但允许你读出 T 类型的引用。
public static double sumNumbers(List<? extends Number> list) {
double sum = 0.0;
for (Number n : list) { // ✅ 安全：所有子类都能向上转型为 Number
sum += n.doubleValue();
}
return sum;
}
对比错误写法：
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
-
List<Number>→ 无法传入List<Integer>，类型不兼容 -
List<?>→ 可以传入，但循环时只能拿到Object，要强转，失去类型安全 -
List<? super Number>→ 允许写入Number及其子类，但读出来只是Object，更弱
为什么不能向 ? super T 集合中读取具体子类型
因为 ? super T 表示“某个未知的 T 的父类型”，可能是 Object、Number、Serializable……编译器只知道它至少能装下 T，但不确定它自己是什么类型，所以读出来的只能是 Object。
典型使用场景是「消费数据」：比如把一堆 Integer 写进一个 List<? super Integer>，这个集合可以是 List<Integer>、List<Number> 或 List<Object> —— 都合法。
public static void addIntegers(List<? super Integer> 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> T cast(Object o)可以配合Class<T>做检查，而void process(List<?> list)无法还原原始类型 -
T支持边界限定：<T extends Comparable<T>>，通配符不支持嵌套限定（? extends Comparable<?>合法，但? extends Comparable<T>中的T无意义） - 多个
T参数之间可建立关系（如<K,V> Map<K,V> of(K k, V v)），而多个?之间完全独立、无关联
最常被忽略的一点：泛型方法的类型实参是在调用点由编译器推断或显式指定的，而通配符的“未知类型”在编译期就已固定，不会随上下文变化——它不是延迟绑定，而是彻底放弃绑定。
