java异常 字节码,处理Java字节码中的Try / Catch异常？ (“堆栈高度不一致”)

我试图在

java字节码中做一些错误处理.我首先尝试实现一些类似catch的子例程,在那里我将检查错误情况,并跳转到相应的子例程,有点像：

iconst_1

iconst_0

dup

ifeq calldiverr

goto enddivtest

calldiverr:

jsr divError

enddivtest:

idiv

...More instructions...

divError:

getstatic java/lang/System/out Ljava/io/PrintStream;

ldc "Oh dear you divided by 0!"

invokevirtual java/io/PrintStream/print(Ljava/lang/String;)V

上面的问题是当我有多个指令跳转到这个子程序时,我在运行字节码时收到一条错误信息,说堆栈高度不一致.

也许使用例外是解决这个问题的最佳方法？

通过一些谷歌搜索,我发现你可以创建Exception类的实例,并用以下内容初始化它们：

new java/lang/Exception

dup

ldc "exception message!"

invokespecial java/lang/Exception/(Ljava/lang/String;)V

我还发现你可以用它们抛出它们,这似乎没问题.

然而令我感到困惑的是如何捕获异常.似乎有一个神奇的“异常表”将异常的抛出和捕获粘在一起,但我不知道如何从头开始编写字节码(以及使用Jasmin进行汇编)时定义其中一个.有人可以告诉我创建异常表的秘诀吗？并且可能给我一个与jasmin汇编的异常处理示例？