Java中try-finally在字节码层面并非复制finally块，而是由javac将finally提取为公共代码段，通过goto跳转、异常表捕获及栈操作（如dup/astore）确保其总被执行且不改变原始返回值。
Java 中 try-finally 在字节码层面并非“复制” finally 块，而是由 javac 编译器在每个可能的出口路径（包括正常返回、异常抛出、break/continue 跳转等）后，**插入对 finally 代码逻辑的调用**。这种机制确保 finally 总是执行，但不是物理复制字节码，而是通过**代码生成 + 异常表 + goto 跳转**协同实现。
javac 如何生成 finally 的字节码结构
javac 不会把 finally 块的指令重复写多遍，而是在编译时：
- 将 finally 中的语句提取为一个独立的、可复用的代码段（通常放在方法末尾或 try 块之后）
- 在每个 try 块的正常退出点（如 return 前）、每个 catch 块末尾、以及所有可能抛出异常的位置之后，插入
goto指令跳转到该 finally 公共入口 - 利用字节码的 exception table（异常表）捕获未被 catch 的异常，并强制跳转到 finally 入口
finally 公共入口与 dup/astore 等细节
如果 finally 中有 return 或 throw，javac 还需处理值栈保存问题。例如：
try { return 1; } finally { System.out.println("done"); }
编译后实际类似：
立即学习“Java免费学习笔记（深入）”；
- 先将 return 值（1）压栈并
dup保存一份 - 跳转执行 finally 逻辑
- finally 执行完后，再取出之前保存的值，执行
ireturn
这是为了保证 finally 不改变原始返回值（除非 finally 自己 return）——javac 会插入栈操作指令来暂存和恢复值。
异常表（Exception table）的关键作用
字节码中 exception table 记录了「从哪到哪」的代码范围、对应处理的异常类型、以及异常发生时跳转到哪（通常是 finally 入口）。
- try 块起始 → try 块结束：覆盖范围设为整个 try 区域
- handler_pc 指向 finally 入口地址
- 即使没有显式 catch，该表也存在，确保任何未捕获异常都会先走 finally
反编译验证：看 javap 输出
用 javap -c 查看字节码，你会看到：
- 多个
goto指向同一个 finally 入口标签（如25: goto 40） - exception table 中明确列出 try 范围与 finally handler 地址
- finally 内部若含 return，则其前有
astore_n/iload_n等栈操作指令
这印证了“复用而非复制”的本质：javac 生成的是结构化跳转逻辑，不是字节码文本拷贝。
