在Java程序中显式抛出异常的操作(throw语句)都由athrow指令来实现。
而在Java虚拟机中,处理异常(catch语句)不是由字节码指令来实现的(很久之前曾今使用jsr和ret指令来实现,现在已经不用了),而是采用异常表来完成。
Java虚拟机会产生一个Exception table的结构,[from,to)是前闭后开的检测范围。一旦这个范围内的字节码执行出现异常,则通过type匹配异常类型,如果一致,进入target所指示行号,然后会先将异常对象存入局部变量表中。
为了保证finally中的代码会被执行,finally中的代码会被复制3份,分别放入try流程,catch流程以及catch剩余的异常类型流程。
如果finally中出现return,则返回结果以finally的为准,因为finally中的代码会在try或catch的return之前执行,而且异常也会被吞掉(没有athrow指令)。
finally对返回值的影响
1. 对于基本类型或常量(如String),finally里即使修改了,也不影响返回结果。是因为到finally块前,就将需要返回的变量值存了起来,执行完finally块后,return去寄存处拿存的返回值。
2. 如果是对象类型,finally里修改了对象是影响返回结果的。因为复杂对象传递的是指针,指针指向的内存区域是一样的。