Python 中 finally 块的执行机制:递归异常传播时的清理保障

陌丽大大_1395

陌丽大大_1395

2026-08-25

463人浏览

原创

Python 中 finally 块的执行机制:递归异常传播时的清理保障

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版
提示词大师-python版

图片提示词生成器?不止如此。 马甲系统 —— 把脑海中的画面,翻译成AI能理解的专业表达。 用得越多,它越懂你:首次需要多问几句确认方向,用久了几乎一说就懂。 用得越多,它越快:缓存机制让后续对话越来越省。 RAG进化:成功案例持续入库,越跑越聪明。 输入「新手指南」查看完整功能介绍

下载
  • finally 并非绝对“万能”:它无法在进程被 os._exit()、SIGKILL(kill -9)、线程被强制终止或解释器致命错误中断时执行;
  • 若 finally 块自身抛出新异常,它会覆盖原异常(除非原异常尚未被处理);
  • 在 return 语句中,finally 在返回值确定后、控制权交还调用者前执行,可修改返回值(如通过 return 覆盖)——但本例中无此行为。

以下是一个精简验证示例:

def demo_finally_unwind(n):
    print(f"Enter: {n}")
    try:
        if n <p>输出将清晰展示退栈时 <code>finally</code> 的逆序执行:</p><pre class="brush:php;toolbar:false;">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 异常处理本质的重要一环。

Python免费学习笔记(深入):立即使用
在学习笔记中,你将探索 Python 的核心概念和高级技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

python

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
python打包成可执行文件
python打包成可执行文件

本专题为大家带来python打包成可执行文件相关的文章,大家可以免费的下载体验。

2023.07.20

1611

4

python能做什么
python能做什么

python能做的有:可用于开发基于控制台的应用程序、多媒体部分开发、用于开发基于Web的应用程序、使用python处理数据、系统编程等等。本专题为大家提供python相关的各种文章、以及下载和课程。

2023.07.25

3864

7

format在python中的用法
format在python中的用法

Python中的format是一种字符串格式化方法,用于将变量或值插入到字符串中的占位符位置。通过format方法,我们可以动态地构建字符串,使其包含不同值。php中文网给大家带来了相关的教程以及文章,欢迎大家前来阅读学习。

2023.07.31

1609

3

python教程
python教程

Python已成为一门网红语言,即使是在非编程开发者当中,也掀起了一股学习的热潮。本专题为大家带来python教程的相关文章,大家可以免费体验学习。

2023.08.03

22257

23

python环境变量的配置
python环境变量的配置

Python是一种流行的编程语言,被广泛用于软件开发、数据分析和科学计算等领域。在安装Python之后,我们需要配置环境变量,以便在任何位置都能够访问Python的可执行文件。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.04

2727

5

python eval
python eval

eval函数是Python中一个非常强大的函数,它可以将字符串作为Python代码进行执行,实现动态编程的效果。然而,由于其潜在的安全风险和性能问题,需要谨慎使用。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.04

2787

5

scratch和python区别
scratch和python区别

scratch和python的区别:1、scratch是一种专为初学者设计的图形化编程语言,python是一种文本编程语言;2、scratch使用的是基于积木的编程语法,python采用更加传统的文本编程语法等等。本专题为大家提供scratch和python相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.11

1103

5

python合并两个列表
python合并两个列表

Python是一种强大的编程语言,具有许多方便的功能和工具。在Python中,有多种方法可以合并两个列表。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.10

596

4

python是前端还是后端
python是前端还是后端

Python属于前端也属于后端,其灵活性和丰富的生态系统使得开发人员能够在不同的领域中灵活运用。本专题为大家提供python相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.11

2143

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程