Java泛型方法擦除后无专用指令，参数以Object引用传递，核心依赖aload加载和checkcast运行时校验；返回及内部使用时编译器自动插入checkcast确保类型安全，无new T或instanceof T等泛型操作。
Java泛型方法擦除后，参数传递在字节码层面不生成特殊“泛型指令”，而是通过普通对象引用传递 + 隐式类型转换指令完成。核心指令是 aload（加载引用）和 checkcast（运行时类型校验），后者最关键。
参数入参：擦除为 Object，用 aload 系列指令加载
泛型方法声明如 <t> void process(T item)</t>，编译后等效于 void process(Object item)。调用时：
- 实参（比如 String 或 Integer）作为对象引用压入操作数栈，使用
aload_0、aload_1或aload指令； - JVM 不区分它原本是 String 还是 List>，只当它是普通 Object 引用处理；
- 方法签名在字节码中变为
(Ljava/lang/Object;)V，无泛型痕迹。
返回值与内部使用：checkcast 保证类型安全
泛型方法体内若需将参数当作具体类型使用（如强转后调用 String 方法），编译器会在调用点前自动插入 checkcast 指令：
- 例如
T result = (T) item;编译后实际是checkcast java/lang/String（若调用时传的是 String）； - 该指令在运行时检查栈顶引用是否可赋值给目标类型，失败则抛
ClassCastException； - 它不是泛型专属指令，但正是泛型擦除后实现“假类型安全”的底层保障。
没有泛型专用指令，也没有 new T() 对应的字节码
因为擦除后 T 已不存在，JVM 字节码规范中根本没有任何指令用于泛型类型实例化或泛型类型判断：
立即学习“Java免费学习笔记（深入）”；
-
new指令只能创建具体类（如new java/lang/String），无法用于T； -
instanceof后面必须是具体类型，写item instanceof T编译直接报错； - 所有“类型还原”动作都靠编译器预埋的
checkcast和开发者手动转型配合完成。
本质上，泛型方法擦除后的调用，就是一次普通的引用传递 + 若干次由编译器精心安排的 checkcast 校验。它不改变 JVM 指令集，只改变编译器生成字节码的方式。
