Question

使用ASM 4.我正在使用其他语言动态生成字节码。它产生了以下结果，但我不清楚发生了什么。我的猜测是try / catch块正在干扰堆栈。前两行正在加载一个Lambda2，然后需要它是最后一个堆栈中最深的项目，但我不明白是什么让它在整个过程中消失。

似乎在指令13处堆栈消失。这就是它进入try / catch块的地方。当堆栈进入try / catch块时，它是否会被抛出？如果是这样，那就可以解释问题。

java.lang.RuntimeException: Error at instruction 43: Cannot pop operand off an empty stack. apply()Ljava/lang/Object;
00000 R . .  :  :    L0
00001 R . .  :  :     LINENUMBER 1 L0
00002 R . .  :  :     LDC "foo"
00003 R . .  : R  :     INVOKESTATIC com/stralos/asm/ASMUtil.getUserFunc (Ljava/lang/Object;)Ljava/lang/Object;
00004 R . .  : R  :    L1
00005 R . .  : R  :     LINENUMBER 1 L1
00006 R . .  : R  :     CHECKCAST com/stralos/lang/Lambda2
00007 R . .  : R  :    L2
00008 R . .  : R  :     LINENUMBER 1 L2
00009 R . .  : R  :     LDC 1
00010 R . .  : R J  :     INVOKESTATIC java/lang/Long.valueOf (J)Ljava/lang/Long;
00011 R . .  : R R  :    L3
00012 R . .  : R R  :     LINENUMBER 1 L3
00013 ?        :     LDC 1
00014 ?        :     INVOKESTATIC java/lang/Long.valueOf (J)Ljava/lang/Long;
00015 ?        :    L4
00016 ?        :     LINENUMBER 1 L4
00017 ?        :     ASTORE 1
00018 ?        :    L5
00019 ?        :     GOTO L6
00020 R . .  : R  :    L7
00021 R . .  : R  :     LINENUMBER 1 L7
00022 R . .  : R  :    FRAME SAME1 java/lang/Throwable
00023 R . .  : R  :     ASTORE 2
00024 R . R  :  :    L8
00025 R . R  :  :     LINENUMBER 1 L8
00026 R . R  :  :     NEW shen/lambda/ToRun$1
00027 R . R  : R  :     DUP
00028 R . R  : R R  :    L9
00029 R . R  : R R  :     LINENUMBER 1 L9
00030 R . R  : R R  :     INVOKESPECIAL shen/lambda/ToRun$1.<init> ()V
00031 R . R  : R  :    L10
00032 R . R  : R  :     LINENUMBER 1 L10
00033 R . R  : R  :     CHECKCAST com/stralos/lang/Lambda1
00034 R . R  : R  :     ALOAD 2
00035 R . R  : R R  :     INVOKEVIRTUAL com/stralos/lang/Lambda1.apply (Ljava/lang/Object;)Ljava/lang/Object;
00036 R . R  : R  :     ASTORE 1
00037 R R R  :  :    L6
00038 R R R  :  :     LINENUMBER 1 L6
00039 R R R  :  :    FRAME FULL [shen/eval/ToEvaluate$0 java/lang/Object] [com/stralos/lang/Lambda2 java/lang/Long]
00040 R R R  :  :     ALOAD 1
00041 R R R  : R  :    L11
00042 R R R  : R  :     LINENUMBER 1 L11
00043 R R R  : R  :     INVOKEVIRTUAL com/stralos/lang/Lambda2.apply (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
00044 ?        :     ARETURN
00045 ?        :    L12
     TRYCATCHBLOCK L3 L5 L7 java/lang/Throwable

Answer 1

是的，在输入catch（）块时堆栈为空。由于catch处理程序无法知道try {}块内发生异常的指令，因此堆栈可能处于try {}块的任何可能状态。

此外，在try {}块中修改的任何局部变量在进入catch（）块时都不能被假定为处于任何特定状态，但在您的情况下这不是问题。

因此，当退出catch块时，您需要确保堆栈处于相同状态，就好像没有抛出异常一样。在这种情况下，您需要在代码到达L6时使用Lambda2对象和Long对象填充堆栈。

无法在空堆栈中弹出操作数

1 个答案: