Question

据我了解JVM字节码规范， document.getElementById("mus").style.visibility="visible"; document.getElementById("mus").style.display="block";将在aload index找到的引用推入当前堆栈帧。就我而言，我需要index在存储在局部变量中的索引处找到的引用-像这样：aload。

（怎么办？）

Answer 1

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

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

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库和以下帮助程序方法生成的，其调用方式类似于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
}

很明显，在大多数情况下，使用基于内在索引的访问指令的基于数组的代码更加简单和高效。

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

2 个答案: