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。

生成的代码虽然有效。我只想了解这里发生了什么 魔术 ，为什么。

谢谢

Answer 1

该LocalVariableSorter班有一个设计，这使得它非常容易出错使用它。

当调用由MethodVisitorAPI
定义的方法时，它们将进行类文档中提到的重新编号。
因此，当与一起使用时ClassReader，所访问的旧代码将被转换。由于您不希望注入的新代码进行此转换，而是使用新定义的变量，因此必须绕过LocalVariableSorter基础target上的and调用方法MethodVisitor。

当你打电话visitVarInsn(LSTORE, 3)的LocalVariableSorter，它就会像一个老指令引用索引处理3因为你注入了新的变量占用的索引3和4索引，“老变量”
3被重新映射到一个空闲的索引，这是5（和6）。然后，当你定义你的下一个新的变量，它得到指数7，并呼吁visitVarInsn(ASTORE, 7)在LocalVariableSorter是像一个老变量处理与您的新的变量冲突，因此它被重新映射到8。

此行为与类文档的第一句话完全匹配：

LocalVariablesSorter

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

所以，当你要调用newLocal的LocalVariableSorter创建将不会被重新映射一个新的变量，你必须调用visit…原始方法，包MethodVisitor使用它。使用子类时GeneratorAdapter，可以使用其新定义的方法（不是以开头的方法visit…）来创建不会被转换的新指令，但是对我来说，如果拥有用于转换指令和创建未转换指令的方法，情况将变得更糟。在同一个类上，并且始终需要记住visit…前缀会有所不同。对于某些方法，您仍然需要访问原始方法访问者，如本答案中所讨论的，该访问者处理visitLocalVariable为创建的变量创建调试信息。