java无法从空堆栈中弹出操作数
使用ASM4。我正在用另一种语言动态生成字节码。它产生了以下结果,但我不清楚发生了什么。我猜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
# 1 楼答案
是,当进入catch()块时,堆栈为空。由于catch处理程序无法知道try{}块内发生异常的指令,堆栈可能处于try{}块的任何可能状态
此外,在进入catch()块时,不能假设try{}块内修改的任何局部变量处于任何特定状态,但在您的情况下这不是问题
因此,当退出catch块时,需要确保堆栈处于与未引发异常相同的状态。在这种情况下,需要在代码到达L6时用Lambda2对象和Long对象填充堆栈