ASM 中 visitLocalVariable 不支持写入泛型签名，仅处理名称、描述符、作用域等信息；局部变量泛型需通过方法 signature 声明、标准擦除 descriptor 表达，并可选使用 type signature 参数辅助调试显示。
在 ASM 中，visitLocalVariable 本身**不支持写入泛型签名**（generic signature），它只负责记录局部变量的名称、描述符（descriptor）、作用域范围（start/end）、索引（slot）和调试信息（如是否为参数）。泛型签名（如 Ljava/util/List<Ljava/lang/String;>;）属于类型元数据，需通过其他方式注入——关键在于：**局部变量的泛型信息不是由 visitLocalVariable 承担，而是由 visitLocalVariable 的 descriptor 参数隐含表达，或通过额外的 visitLocalVariableAnnotation（ASM 9+）或字节码属性间接体现，但标准做法是依赖 descriptor + 泛型签名属性（SignatureAttribute）在类/方法级别声明，而非局部变量级别。**
局部变量泛型的本质限制
Java 字节码规范中，局部变量表（LocalVariableTable）属性**不包含泛型签名字段**。JVM 运行时不使用局部变量的泛型信息做类型检查（擦除后仅用 descriptor），所以 ASM 的 visitLocalVariable API 也未提供 signature 参数。你传入的 descriptor（如 "Ljava/util/List;"）已是擦除后的类型；若想表达泛型，必须确保：
- 该局部变量所归属的**方法本身**已在
MethodVisitor.visitMethod时通过signature参数声明了完整泛型签名（例如"<T:Ljava/lang/Object;>(Ljava/util/List<TT;>)V"）； - 局部变量的 descriptor 使用规范擦除形式（如
"Ljava/util/List;"），不能强行写入带尖括号的字符串，否则会导致 VerifyError； - 调试器或 IDE 读取泛型信息时，实际依赖的是方法签名 + 变量在代码中的位置 + 源码级类型推断，而非局部变量表里的额外字段。
正确写入带泛型语义的局部变量
虽然不能直接“签名”局部变量，但可通过以下方式让泛型语义生效：
-
用正确的 descriptor：例如 List<String> 的 descriptor 是
"Ljava/util/List;"（不是"Ljava/util/List<Ljava/lang/String;>;"），Map<Integer, ? extends Number> 是"Ljava/util/Map;"； -
确保方法签名完整：在
ClassWriter.visitMethod或MethodVisitor.visitMethod中传入泛型 method signature，例如："(Ljava/util/List<Ljava/lang/String;>)V"（注意：这是 method signature，不是 descriptor）； -
配合 LocalVariableTypeTable 属性（可选，非必需）：ASM 5.0+ 支持
visitLocalVariableTypeTable（需手动开启并写入），但它存储的是 type descriptor（即泛型擦除前的字符串，如"Ljava/util/List<Ljava/lang/String;>"），仅用于调试信息，不影响运行。调用方式为：mv.visitLocalVariable("list", "Ljava/util/List;", "Ljava/util/List<Ljava/lang/String;>", start, end, slot);
注意第三个参数signature是 type signature（不是 method signature），且仅当启用COMPUTE_FRAMES或手动管理时才有效；
ASM 9+ 的新方式：visitLocalVariableAnnotation
从 ASM 9 开始，支持 visitLocalVariableAnnotation，可用于附加类型注解（如 @NonNull），但**仍不支持泛型签名注解**。Java 泛型本身不是运行时注解，无法通过此 API 表达。真正与泛型相关的是 Signature 属性，它只能出现在类、字段、方法层级，不能出现在局部变量上。
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
常见错误与规避
不要尝试：
- 把泛型签名字符串（如
"Ljava/util/List<Ljava/lang/String;>"）传给visitLocalVariable的 descriptor 参数 —— 这会破坏字节码结构，导致 ClassFormatError； - 在局部变量名里硬编码泛型（如
"listOfString"）并认为这能被 JVM 识别 —— 这仅影响调试显示，无语义； - 忽略方法 signature 而只改局部变量 —— 泛型信息必须在方法定义层面声明，局部变量只是引用。
不复杂但容易忽略：泛型签名属于结构性元数据，不是局部变量的附属属性。写对 method signature + 用标准 descriptor + （可选）填好 type signature 参数，调试器就能还原泛型视图。
