Python 中 finally 块的执行机制：为何递归崩溃前仍会逐层触发-Python教程-PHP中文网

Python 中 finally 块的执行机制：为何递归崩溃前仍会逐层触发

finally 块在 Python 中并非“仅当逻辑走通才执行”，而是只要对应 try 块已进入（哪怕后续因异常或递归溢出而中止），其 finally 就会在控制权向上回溯时逐层、确定性地执行——这是 Python 异常传播与栈展开的核心保障机制。

`finally` 块在 python 中并非“仅当逻辑走通才执行”，而是只要对应 `try` 块已进入（哪怕后续因异常或递归溢出而中止），其 `finally` 就会在控制权向上回溯时**逐层、确定性地执行**——这是 python 异常传播与栈展开的核心保障机制。

在你的 divisive_recursion 示例中，看似“无限递归”导致程序崩溃，实则 Python 并非粗暴终止，而是通过受控的异常传播机制处理 RecursionError：每当递归深度超限，解释器抛出 RecursionError 异常，该异常会沿调用栈逐层向上传播。而每层调用中，只要 try 块已被进入（无论是否执行完），其对应的 finally 子句就必然在该帧退出前执行——这正是你看到 "Finally block executed for n=1" 和 "Finally block executed for n=2" 被打印的根本原因。

✅ 正确理解 `finally` 的触发时机

finally 的执行不依赖于 try 块是否“正常完成”，而取决于：

try 块是否已开始执行（即控制流已进入该 try）；
该 try 所在的栈帧是否即将退出（无论是因 return、break、continue，还是因未捕获异常导致的栈展开）。

因此，在递归调用链中：

divisive_recursion(5) → enters try → calls divisive_recursion(4)
divisive_recursion(4) → enters try → calls divisive_recursion(3)
……
divisive_recursion(1) → enters try → calls divisive_recursion(0)
divisive_recursion(0) → returns 1 immediately (no try)
Back to divisive_recursion(1) → attempts 1 // 1 → 1 // 1 = 1 → calls divisive_recursion(1) again → …
最终触发 RecursionError，此时解释器开始从最深层未完成的 try 帧开始，逐层执行 finally，再向上弹出。

这就是为什么你会看到 n=1 和 n=2 的 finally 输出——它们对应的是尚未完全退出的、处于调用栈中较高位置的活跃帧。

? 验证机制：一个精简复现示例

def demo_finally_unwind(n):
    print(f"→ Entering demo({n})")
    try:
        if n <p>运行输出（节选）：</p><div class="aritcle_card flexRow artxards">
											<div class="artcardd flexRow">
												<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5772" title="Python Use Agent"><img
														src="https://img.php.cn/upload/skill/000/000/081/179065807481489.jpg" alt="Python Use Agent" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
												<div class="aritcle_card_info flexColumn">
													<a rel="nofollow" href="/xiazai/skill5772" title="Python Use Agent" class="overflowclass">Python Use Agent</a>
													<p class="overflowclass">智能执行Python任务，自动生成、执行代码并反馈结果，无需额外配置，兼容旧命令。</p>
												</div>
												<a rel="nofollow" href="/xiazai/skill5772" title="Python Use Agent" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
												</a>
											</div>
										</div><pre class="brush:php;toolbar:false;">→ Entering demo(3)
→ Entering demo(4)
→ Entering demo(5)
...
✓ Finally executed for n=5
✓ Finally executed for n=4
✓ Finally executed for n=3
? RecursionError finally caught at top level

可见：finally 按照栈后进先出（LIFO）顺序逆向执行，与函数调用顺序相反，但严格保证每层 try 的清理逻辑不被跳过。