finally 块在 Python 中几乎总会在对应 try 退出时执行，包括函数因未捕获异常（如 RecursionError）而逐层退栈时——此时所有已进入但尚未退出的 try 对应的 finally 会按调用栈逆序依次执行，确保资源清理逻辑不被跳过。
`finally` 块在 python 中几乎总会在对应 `try` 退出时执行，包括函数因未捕获异常（如 `recursionerror`）而逐层退栈时——此时所有已进入但尚未退出的 `try` 对应的 `finally` 会按调用栈逆序依次执行，确保资源清理逻辑不被跳过。
在 Python 的异常处理模型中，finally 不是“条件性执行”的代码块，而是与 try 语句绑定的确定性清理钩子。它的设计目标非常明确：无论 try 块如何退出——正常返回、return/break/continue 跳出、还是因异常（无论是否被捕获）而中止——只要该 try 块已被进入且尚未完成退出流程，其对应的 finally 就必然被执行一次且仅一次。
这一点在递归场景下尤为关键。以问题中的 divisive_recursion(5) 为例，其调用链迅速展开为：
divisive_recursion(5)
→ divisive_recursion(4)
→ divisive_recursion(3)
→ divisive_recursion(2)
→ divisive_recursion(1)
→ divisive_recursion(0) # 返回 1
→ 1 // divisive_recursion(0) → 1 // 1 = 1
→ divisive_recursion(1) 再次调用自身 → ... → 触发 RecursionError当解释器因超出最大递归深度而抛出 RecursionError 时，该异常会沿着调用栈向上冒泡。此时，每个已进入 try 块但尚未退出的函数帧（frame），都会在退栈过程中触发其 finally 子句。也就是说：
-
divisive_recursion(0)的try已完成（返回 1），无待执行的finally； -
divisive_recursion(1)的try在计算n // ...时崩溃，但其try块已进入，故finally必执行（此时n == 1，打印"Finally block executed for n=1"）； - 同理，
divisive_recursion(2)的try也已进入但未退出，n == 2，触发对应打印； - 依此类推，
n == 3, 4, 5的finally也会按5→4→3→2→1的逆序执行（注意：实际打印顺序取决于异常发生点，本例中因n=1是首次崩溃入口，故n=1和n=2的finally最先被触发）。
✅ 正确理解的关键在于：finally 的执行不依赖于 n == 1 或 n == 2 的“逻辑结果为真”，而依赖于“该函数调用中 try 块已被进入且当前正退出”这一控制流状态。 条件判断 if n == 2: 只是 finally 块内部的一条普通语句，只要 finally 被触发，该判断就会被求值并执行其分支。
立即学习“Python免费学习笔记（深入）”；
⚠️ 注意事项：
-
finally并非绝对“万能”：它无法在进程被os._exit()、SIGKILL（kill -9）、线程被强制终止或解释器致命错误中断时执行； - 若
finally块自身抛出新异常，它会覆盖原异常（除非原异常尚未被处理）； - 在
return语句中，finally在返回值确定后、控制权交还调用者前执行，可修改返回值（如通过return覆盖）——但本例中无此行为。
以下是一个精简验证示例：
def demo_finally_unwind(n):
print(f"Enter: {n}")
try:
if n <= 0:
raise ValueError("Base case error")
demo_finally_unwind(n - 1)
except ValueError:
print(f"Caught at n={n}")
finally:
print(f"Finally executed for n={n}") # 总会执行
demo_finally_unwind(3)输出将清晰展示退栈时 finally 的逆序执行：
Enter: 3 Enter: 2 Enter: 1 Enter: 0 Caught at n=1 Finally executed for n=1 Finally executed for n=2 Finally executed for n=3
综上，finally 是 Python 提供的强保证机制，是编写健壮资源管理代码（如文件关闭、连接释放、锁解除）的基石。理解其在异常传播与递归退栈中的行为，是掌握 Python 异常处理本质的重要一环。
