Java中的`finally`块是用来确保某些代码无论是否抛出异常都会被执行的关键结构。它常常与`try-catch`块一起使用，特别是在处理资源清理，如关闭文件流或网络连接等操作时。`finally`块的执行时机是多方面的，下面我们将深入分析其执行流程。
`finally`块不会被跳过，除非遇到以下两种极端情况：
1. 程序通过`System.exit()`退出。
2. 由于硬件故障或操作系统干预导致进程被终止。
在正常情况下，`finally`块的执行遵循以下规则：
1. 当`try`块执行完毕，且没有发生异常时，`finally`块会在返回值返回调用者之前执行。
2. 如果`try`块中发生异常，`catch`块（如果存在）会捕获该异常，然后在返回调用者之前执行`finally`块。
3. `finally`块内的`return`语句会替换`try`或`catch`块中的`return`语句返回的值。这意味着，即使在`finally`块中有`return`，最终的返回值将是`finally`块中的值。
4. `finally`块的执行并不意味着一定会等到所有其他代码执行完毕。例如，如果`try`或`catch`块中有一个`return`语句，`finally`块将在`return`之前执行，但不会阻止`return`语句的执行。
关于字节码层面的解释，根据《深入Java虚拟机》一书的描述，`finally`块的实现是通过`jsr`（Jump to Subroutine，跳转到子例程）指令来实现的。这个指令使得JVM能够调转到`finally`块执行，然后在`finally`块执行完毕后，恢复执行流程。在执行`jsr`指令前，返回值会被保存在局部变量中，这样即使`finally`块内部有异常或返回值，也能保证返回一致性。
在实际的JDK8u-25版本的编译器中，虽然字节码可能会有所不同，但基本原理不变。通过查看字节码，我们可以发现`finally`块的执行逻辑是隐含在JVM的解释执行过程中的。
以下是一个简单的例子来展示`finally`块的执行顺序：
```java
public class FinallyTest {
public static void main(String[] args) {
int r = test();
System.out.println(r);
}
public static int test() {
try {
System.out.println("try");
//return 1/0; // 产生异常
return 0;
} catch (Exception e) {
System.out.println("exception");
return 100;
} finally {
System.out.println("finally");
}
}
}
```
在这个例子中，无论`try`块是否抛出异常，`finally`块都会在返回之前执行。当`try`块中没有异常时，输出顺序是"try" -> "finally" -> "0"；当`try`块中抛出异常时，输出顺序是"try" -> "exception" -> "finally" -> "100"。
`finally`块的存在确保了程序的整洁性和资源管理的可靠性，它使得开发者能够在任何情况下执行必要的清理操作，而不用担心异常会影响这部分代码的执行。理解`finally`块的执行机制对于编写健壮的Java代码至关重要。
