如何从编译时未知的索引处的局部变量加载引用

Question

就我对JVM字节码规范的理解而言，CCD_ 1将在CCD_ 2中找到的引用推送到当前堆栈帧上。在我的例子中，我需要aload，一个在索引中找到的引用，它存储在一个局部变量中——类似于这样：aload (iload 2)。

(怎么(这可能吗？

Answer 1

这是不可能的。否则，验证器将无法证明字节码的正确性。

要通过索引访问值，请使用具有相应字节码的数组对象，例如aaload。

Answer 2

没有专门的字节码指令来执行这种选择器，所以如果你想根据另一个变量的内容加载一个本地变量，你必须自己编写这个操作，例如

// pick #1 or #2 based on #0 in [0..1]
0: iload_0
1: ifne          8
4: aload_1
5: goto          9
8: aload_2
9: // value is now on the stack, ready for use

或

// pick #1, #2, or #3 based on #0 in [0..2]
0: iload_0
1: ifne          8
4: aload_1
5: goto          18
8: iload_0
9: iconst_1
10: if_icmpne     17
13: aload_2
14: goto          18
17: aload_3
18:  // value is now on the stack, ready for use

或者，有一个变量数量更大的变体：

// pick #1, #2, or #3 based on #0 in [0..2]
0: iload_0
1: tableswitch   { // 0 to 2
0: 28
1: 32
2: 36
default: 36
}
28: aload_1
29: goto          37
32: aload_2
33: goto          37
36: aload_3
37: // value is now on the stack, ready for use

最后一个变体是用ASM库和下面的helper方法生成的，称之为loadDynamic(…, 0, 1, 3);

/**
* Load variable #(firstChoice + value(#selector))
*/
public static void loadDynamic(
MethodVisitor target, int selector, int firstChoice, int numChoices) {
Label[] labels = new Label[numChoices];
for(int ix = 0; ix < numChoices; ix++) labels[ix] = new Label();
Label end = new Label();
target.visitVarInsn(Opcodes.ILOAD, selector);
target.visitTableSwitchInsn(0, numChoices - 1, labels[numChoices - 1], labels);
target.visitLabel(labels[0]);
target.visitVarInsn(Opcodes.ALOAD, firstChoice);
for(int ix = 1; ix < numChoices; ix++) {
target.visitJumpInsn(Opcodes.GOTO, end);
target.visitLabel(labels[ix]);
target.visitVarInsn(Opcodes.ALOAD, firstChoice + ix);
}
target.visitLabel(end); // choosen value is now on the stack
}

显然，在大多数情况下，使用基于内部索引的访问指令的基于数组的代码要简单得多，效率也更高。