java泛型的核心是编译期类型检查与运行时类型擦除：泛型参数仅作符号占位，编译后全部替换为object或上界类型，字节码中无泛型信息，导致无法创建泛型数组、不能用泛型做instanceof、静态成员不可用类泛型参数等限制。
Java泛型源码级面试题，核心不在背代码，而在理解“编译期做了什么、运行期剩下什么、为什么这么设计”。拆解时抓住三个锚点：类型参数怎么用、擦除后实际字节码长什么样、关键限制背后的底层原因。下面分四块讲清楚。
看懂泛型类定义和实例化过程
比如问 ArrayList
- 类声明里的 E 是占位符，不是真实类型，编译器只把它当符号处理；
- 源码中
transient Object[] elementData这一行，说明底层存储永远是 Object 数组，E 只用于编译检查和方法签名； -
public E get(int index)方法返回 E，但字节码里实际返回的是 Object，调用方会自动插入checkcast指令强转——这就是“自动类型转换”的真相。
直击泛型擦除的实证逻辑
面试官常让写代码验证擦除，重点不是结果，而是你怎么推导：
Java Development Manual
下载
Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要：(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...
- 写三行：
List<string> l1 = new ArrayList();</string>、List<integer> l2 = new ArrayList();</integer>、List<user> l3 = new ArrayList();</user> - 打印
l1.getClass() == l2.getClass()，结果为 true —— 因为擦除后都是ArrayList（裸类型）； - 进一步说明：泛型信息只存在于 .java 和编译中间态，.class 文件里没有 E、T、K/V 等任何类型参数痕迹。
解释常见限制的底层动因
这些限制不是语法随意定的，全是擦除机制倒逼出来的：
-
不能 new E[]：因为运行时 E 已变成 Object，
new E[10]编译不过，JVM 不认识 E； -
不能用泛型做 instanceof：如
if (list instanceof List<string>)</string>报错，因为运行时List<string></string>已退化为List，类型信息没了； - 静态方法/字段不能用类泛型参数：静态属于类，而泛型参数属于实例，擦除后静态上下文根本看不到 E。
结合包装类理解泛型边界
泛型不支持基本类型，必须用 Integer/Boolean 等包装类，这不是设计缺陷，而是 JVM 类型系统的硬约束：
- 擦除后所有泛型都归到 Object 或其上界，而基本类型不是 Object 子类；
- 所以
List<int></int>合法语法都不允许，编译直接报错； - 如果看到
<t extends number></t>，就该意识到：擦除后 T 被替换成 Number，所有对 T 的操作在字节码里都按 Number 处理，子类方法能用，父类方法才能保底。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
