1. 正常执行时finally块的执行时机
- 在正常执行情况下，当try块中的代码没有抛出异常时，Java字节码会在try块执行完毕后，接着执行finally块的代码。
- 例如，对于代码
try { System.out.println("try block"); } finally { System.out.println("finally block"); }，字节码层面，在执行完try块中的System.out.println("try block");对应的字节码指令后，会接着执行finally块中System.out.println("finally block");对应的字节码指令。
2. 异常抛出时finally块的执行时机
- 当try块中抛出异常时，Java虚拟机会查找匹配的catch块。如果找到匹配的catch块，在执行catch块之前，会先执行finally块。
- 例如，代码
try { throw new RuntimeException(); } catch (RuntimeException e) { System.out.println("catch block"); } finally { System.out.println("finally block"); }，字节码层面，当try块中抛出异常后，首先会跳转到finally块执行其字节码指令，然后再根据异常类型查找并执行匹配的catch块（如果有）的字节码指令。
3. 方法返回时finally块的执行时机
- 当try块中执行到return语句时，在实际返回之前，会先执行finally块。
- 例如，代码
public int test() { try { return 1; } finally { System.out.println("finally block"); } }，字节码层面，在遇到try块中的return 1;对应的字节码指令时，会先跳转到finally块执行其字节码指令，然后再完成返回操作。
4. 字节码指令确保finally块语义正确执行
- Java字节码使用
jsr（jump to subroutine）和ret（return from subroutine）指令（在Java 7之前）来实现finally块的执行。jsr指令会跳转到finally块的入口，ret指令用于从finally块返回。在Java 7及之后，使用invokespecial指令调用一个合成的方法来处理finally块的逻辑。
- 例如，在上述代码中，字节码会根据不同的控制流情况，通过相应指令确保finally块在合适的时机执行，保证无论try块是正常结束、抛出异常还是执行return，finally块都会被执行。
5. 复杂嵌套try - catch - finally结构中字节码层面的执行逻辑
public class NestedTryCatchFinally {
public void nested() {
try {
try {
System.out.println("inner try block");
throw new RuntimeException();
} catch (RuntimeException e) {
System.out.println("inner catch block");
} finally {
System.out.println("inner finally block");
}
} catch (Exception e) {
System.out.println("outer catch block");
} finally {
System.out.println("outer finally block");
}
}
}
- 字节码层面，当内部try块抛出异常时，首先会执行内部finally块的字节码指令。然后根据异常类型查找匹配的catch块，这里内部catch块匹配，执行内部catch块字节码。之后，执行外部finally块字节码。如果内部异常未被内部catch块处理，继续查找外部catch块，若匹配则执行外部catch块字节码，无论如何，最终都会执行外部finally块字节码。整个过程通过字节码指令的跳转和执行顺序，确保嵌套结构中finally块语义的正确执行。
