ASM - 使用 LocalVariableSorter 中的 newLocal 的奇怪 localVar 索引

Question

我正在通过newLocal 从LocalVariableSorter 添加新的本地人。我要添加局部变量的方法是一个带有长参数的实例方法。我要添加两个本地人；一长一物。示例代码中没有其他本地变量。

因此，我预计会有以下插槽/索引：

0 - this
1 - the long param
3 - my 1st local added via `newLocal` - using two slots as it is a long
5 - my 2nd local added via `newLocal`

我从newLocal 返回的结果是 3 和 7。为什么会有这么大的差距？

更奇怪的是，当我使用这些索引添加 xSTORE 指令并使用 javap 检查结果时，它显示给我：

LSTORE 5
ASTORE 8

注意：不仅值与我传递给 xSTORE 指令的值不同，而且它们之间的差距现在是 3 而不是之前的 4。

生成的代码虽然有效。我只想了解这里发生了什么magic 以及为什么。

谢谢

Answer 1

LocalVariableSorter 类有一个设计，很容易用错。

在其上调用MethodVisitor API 定义的方法时，局部变量会经历class documentation 中提到的重新编号。

因此，当与ClassReader 一起使用时，访问的旧代码会被转换。由于您不希望注入的新代码进行这种转换，而是要使用新定义的变量，因此您必须绕过 LocalVariableSorter 并调用底层目标 MethodVisitor 上的方法。

当您在LocalVariableSorter 上调用visitVarInsn(LSTORE, 3) 时，它会像引用索引3 的旧指令一样处理，并且由于您注入了一个占用索引3 和4 的新变量，因此“旧变量” at index 3 被重新映射到下一个空闲索引，即5（和6）。然后，当您定义下一个新变量时，它会获得索引 7 并在 LocalVariableSorter 上调用 visitVarInsn(ASTORE, 7) 会像处理与新变量冲突的旧变量一样处理，因此它会重新映射到 8。

这种行为与类文档的第一句话完全吻合：

LocalVariablesSorter

一个 MethodVisitor，它按照局部变量的出现顺序重新编号。

因此，虽然您必须在 LocalVariableSorter 上调用 newLocal 来创建不会重新映射的新变量，但您必须在原始包装上调用 visit… 方法，包装 MethodVisitor 才能使用它。当您使用子类GeneratorAdapter 时，您可以使用它新定义的方法（那些不以visit… 开头的方法）来创建不会被转换的新指令，但对我来说，这会使事情变得更糟，拥有方法转换指令并在同一类上创建未转换的指令，并且始终需要记住 visit… 前缀会有所不同。对于某些方法，您仍然需要访问原始方法访问者，正如 this answer 中所讨论的，它处理 visitLocalVariable 来为创建的变量创建调试信息。