14. finally语句一定会执行吗？有哪些例外情况？

14. finally 语句一定会执行吗？有哪些例外情况？

finally 语句通常会在 try-catch 块结束后执行，无论是否发生异常，都会执行。但在某些极端情况下，如 JVM 崩溃、调用 System.exit() 或线程被强制中断时，finally 块可能不会执行。

finally 语句是 try-catch 结构的一部分，设计的目的是无论 try 块是否抛出异常，最终都会执行 finally 块中的代码。它通常用于资源清理、释放锁、关闭文件等操作。

通常情况下的行为： finally 块的代码总会执行，除非发生特殊情况。它会在 try 块和 catch 块之后执行，不论 try 块是否抛出异常，catch 块是否执行，finally 块始终会被执行。如果在 try 或 catch 中发生了 return 语句，finally 仍然会在方法返回之前执行。
正常执行流程：
1. 如果 try 块中没有异常，finally 会在 try 结束后执行。
2. 如果 try 块抛出异常并且被 catch 块捕获，finally 会在 catch 块后执行。
3. 如果 try 块抛出异常但没有被捕获，finally 仍然会执行，然后异常会被抛到调用者。

虽然 finally 块通常会执行，但在某些情况下，finally 可能不会执行，以下是一些常见的例外：

System.exit() 被调用： System.exit() 会强制终止 JVM，无论 finally 是否存在，它都会终止程序的执行。因此，finally 块中的代码不会被执行。

示例：
```
try {
    System.exit(0);
} finally {
    System.out.println("Finally block");
}
```
1
2
3
4
5
在上述代码中，System.exit(0) 调用后，JVM 会直接退出，finally 块不会执行。
JVM 崩溃或强制停止：如果 JVM 因某些不可恢复的错误（如 OutOfMemoryError 或 StackOverflowError）崩溃或停止运行，那么 finally 块可能不会被执行。崩溃通常是因为资源不足或系统级别的错误导致的。
线程被中断：如果在 finally 块执行过程中，当前线程被中断（例如调用 Thread.interrupt()），finally 中的某些代码（尤其是长时间运行的代码）可能会被中断并提前退出。然而，如果 finally 中的代码是简单的或者快速执行的，它通常会完成。
死锁情况：在某些情况下，如果在 finally 块中存在锁操作（例如 synchronized 块或 ReentrantLock），并且程序发生了死锁，finally 块中的代码可能永远无法执行。

滥用 return 和 finally：在 finally 块中执行 return 或改变异常对象（如重新抛出异常）可能会导致混淆。例如，在 finally 中改变返回值，可能使得原本预期的返回值发生变化，甚至丢失异常信息。

示例：
```
public int example() {
    try {
        return 1;
    } finally {
        return 2;
    }
}
```
1
2
3
4
5
6
7
这段代码中，finally 中的 return 2 会覆盖 try 中的返回值，因此该方法总是返回 2。
资源泄漏与中断：如果 finally 块中执行了资源清理操作（如关闭流、释放数据库连接等），并且该操作没有进行适当的异常处理，可能会导致资源泄漏或其他问题，尤其在多线程环境下，finally 可能受到线程中断的影响。

避免在 finally 块中使用 return：除非绝对必要，否则不要在 finally 中执行 return 语句。这样可以避免意外地覆盖 try 或 catch 中的返回值，导致行为不可预见。
确保 finally 中的代码简洁且高效：finally 主要用于资源清理，避免在其中执行复杂的逻辑或长时间运行的任务，以减少意外的错误和性能问题。
关注异常的处理：确保 finally 中的资源关闭等操作能够妥善处理异常，避免异常吞噬或丢失。

finally 的性能开销通常非常小，但在异常频繁发生的场景下，如果 finally 中的代码存在性能瓶颈（如文件关闭或数据库连接释放的耗时操作），可能会影响整体的性能表现。在高并发场景下，应避免在 finally 块中执行昂贵的操作。

🔹 finally 和异常机制的关系：如何确保在复杂的异常链中，finally 块仍然能够有效地执行？

🔹 如何在 finally 中处理异常：如果 finally 中发生异常，它是如何处理的？这会如何影响原始异常？