解题关键在于建立三层认知：语法表象→编译机制→设计意图；需从错误现象倒推泛型本质，如编译失败体现静态类型约束，ClassCastException暴露类型擦除局限，通配符add受限反映协变安全设计。
找泛型面试题的解题思路，关键不是背答案，而是建立三层认知：**语法表象 → 编译机制 → 设计意图**。面试官真正想看的，是你能不能把“为什么这么设计”和“出了问题怎么定位”串起来。
从错误现象倒推泛型本质
很多题以报错或异常行为切入，比如：
- 编译失败：List<String> list = new ArrayList<Integer>(); → 立刻意识到这是类型检查在编译期拦截，说明泛型提供的是静态类型约束；
- 运行时报 ClassCastException：List<Integer> ints = (List<Integer>) new ArrayList<String>(); → 说明擦除后只剩原始类型 List，强制转型绕过编译检查，暴露了类型擦除的运行时局限；
- 通配符无法 add：List<? extends Number> nums = new ArrayList<Integer>(); nums.add(1); → 提示你思考 extends T> 的生产者原则（PECS）：只能取不能存，因为编译器不确定具体子类型。
紧扣三个核心锚点组织回答
遇到任何泛型问题，先快速判断它落在哪个维度：
- 语法层：是类、接口还是方法？类型参数命名是否合理（T/E/K/V）？边界限定符（extends/super）用对没？
- 机制层：这个写法在编译后会变成什么？有没有桥接方法？能否反射获取真实泛型类型？（答案通常是不能，因已擦除）
- 设计层：为什么 ArrayList<E> 要用 E 而不是 Object？为什么 Map<K,V> 需要两个参数？——指向类型安全 + 复用性 + 消除强转这三大原始动机。
遇到通配符题，先画继承关系图
比如问：List<? super Integer> 能 add 哪些值？能 get 出什么类型？
立即学习“Java免费学习笔记（深入）”；
- 画出 Integer 的父类链：Integer → Number → Object；
- “super Integer” 表示上限是 Integer，下限是 Object，所以可 add Integer 及其子类（如 Long 不行，但 Integer、new Integer(5) 可以）；
- get 返回的是 Object（因为最宽泛的共同父类），必须靠业务逻辑保证安全；
- 对比 extends Number>：只能 get Number 或子类，add 只能传 null（编译器禁止不确定类型）。
写代码题，优先用类型推断和约束收口
例如实现一个泛型工具方法：合并两个 List<T> 并去重。
- 别直接写 List<T> merge(List<T> a, List<T> b)，要考虑 T 是否可比较；
- 更稳妥：<T extends Comparable<? super T>> —— 表明 T 必须能跟自己或父类比，兼容 String、Integer 等；
- 再加一层：如果 T 不一定实现 Comparable，就要求传入 Comparator<T>，体现泛型的灵活性和契约意识。
