Java面试题 — try-catch-finally语句块中，finally块一定会执行吗？在什么情况下不会执行？

Author : Cyan_RA9
Source : 【卡码笔记】网站
Question : try-catch-finally语句块中，finally块一定会执行吗？在什么情况下不会执行？

【简要回答】

正常情况下，finally代码块一定会执行：
- 无论 try-catch 块中是否抛出异常、是否包含 return 语句，只要程序正常执行，finally 块始终会在方法返回前执行。
finally 不执行的四种特殊情况
- JVM 被强制终止（如 System.exit()）。
- 线程被强制杀死（如 Thread.stop()）。
- 无限循环或死锁导致程序无法退出 try-catch 块。
- 操作系统崩溃或硬件故障（外部不可抗力因素）。

【详细回答】

正常情况下，finally代码块一定会执行：
- 无论 try-catch 块中是否抛出异常、是否包含 return 语句，只要程序正常执行，finally 块始终会在方法返回前执行。
- 若 try 中抛出异常，但 finally 中有 return 语句，则异常会被忽略，不再向外传播，这会掩盖错误，导致代码难以调试，因为这意味着调用者完全感知不到异常的发生，就好像一切正常一样。所谓的“掩盖错误” 指的是程序中明明发生了异常（例如数据库连接失败、文件不存在、除零错误等），但由于 finally 中的 return，这个异常被静默忽略，调用方无法得知任何异常信息，误以为方法执行成功。
- 如果 finally 中含有 return 语句，会永远只返回 finally 中 return 的结果，因此要尽量避免此情况发生。
finally 不执行的四种特殊情况：
- JVM 被强制终止：
  若在 try 或 catch 中调用 System.exit() 或 Runtime.getRuntime().halt()，JVM 进程将立即终止，跳过 finally 代码块。
- 线程被强制杀死：
  通过作废的 Thread.stop() 或操作系统命令强制终止线程时，线程直接停止，finally 无法执行。
- 无限循环或死锁：
  若 try 或 catch 块陷入无限循环、死锁或阻塞操作（如 Thread.sleep(Long.MAX_VALUE)），程序无法退出当前代码块，finally 不会触发。
- 操作系统崩溃或硬件故障：
  如断电、内核崩溃等外部不可控事件，所有程序逻辑（包括 finally）均中断。

【知识拓展】

异常表（Exception Table）的存储与结构：

存储位置：每个方法的异常表（Exception Table）作为 类元数据的一部分，存储在元空间（Metaspace）中。它属于方法元数据（method_info 结构）的组成部分，与字节码指令紧密关联。

数据结构：异常表是一个数组，每个条目包含以下字段：

字段	说明
start_pc	try 块的起始字节码偏移量（Program Counter）
end_pc	try 块的结束字节码偏移量（不包含 end_pc 本身）
handler_pc	catch 或 finally 块处理的起始字节码偏移量
catch_type	捕获的异常类型（类常量池索引）。若为 `0`，表示 finally 块（非 catch 块）。

finally 的字节码生成机制：
- 代码复制策略： JVM 编译器（如 javac）会将 finally 块的代码 复制到所有可能的退出路径，如：
  - ① try 块正常结束后的路径。
  - ② 每个 catch 块处理完异常后的路径。
  - ③ 显式的 return、throw 或 break 语句之前。
- 操作数栈与局部变量表：
  为了保证 finally 块的代码能独立执行，编译器会确保在跳转到 finally 前，使得操作数栈清空与 finally 无关的数据；以及保证局部变量表 中的变量状态与 try-catch 块退出时一致。
临时变量的本质：当 try-catch 块中存在 return 语句时，编译器会生成一个 局部变量槽（Slot） 用于暂存返回值。
- 基本类型：直接存储值。
- 引用类型：存储对象引用。
异常表与 finally 的执行：
- catch_type=0 的特殊含义：
  - ① 异常表中 catch_type=0 的条目表示 finally 块。
  - ② 无论 try 块是否抛出异常，JVM 都会遍历异常表，找到所有匹配的 finally 处理块并执行。