`end_finally`是python虚拟机中的一个字节码指令，主要用于在`finally`块结束时，或在没有`finally`块且无`except`匹配时，恢复异常传播或被挂起的`return`/`continue`操作。在旧版python的`try-except`结构中，即使没有`finally`且`except`块总是匹配，该指令也可能作为编译器遗留物出现，但不会被执行。

1. 引言：Python异常处理与字节码

Python的异常处理机制（try-except-finally）是构建健壮应用程序的关键组成部分。当Python代码被执行时，它首先会被编译成一系列字节码指令，然后由Python虚拟机（PVM）解释执行。理解这些底层字节码有助于我们更深入地掌握Python程序的运行机制，尤其是在处理复杂的控制流和异常场景时。本文将聚焦于一个在旧版本Python中常见的字节码指令——END_FINALLY，探讨其设计目的、在特定try-except结构中的行为，以及其在Python版本演进中的变化。

2. END_FINALLY字节码的核心功能

END_FINALLY字节码指令在Python虚拟机中扮演着一个关键角色，主要负责在异常处理流程结束时恢复正常的程序流。其核心功能可以归纳为以下几点：

• 恢复异常传播： 当一个finally块执行完毕后，如果之前有未被捕获的异常发生，END_FINALLY负责重新激活该异常，使其继续向上传播。
• 处理未匹配的except： 如果一个try块中发生异常，但所有的except块都未能匹配该异常，并且也没有finally块，END_FINALLY会确保该异常继续传播。
• 恢复被挂起的控制流： 在try块中，如果遇到return、break或continue语句，并且存在一个finally块，这些控制流操作会被暂时挂起，直到finally块执行完毕。END_FINALLY负责在finally块结束后恢复这些被挂起的控制流操作。

简而言之，END_FINALLY是确保异常或特殊控制流（如return）在finally块执行后能够正确延续的关键机制。

3. 案例分析：try-except结构中的END_FINALLY

为了更好地理解END_FINALLY的行为，我们来看一个具体的Python 2.7代码示例及其字节码反汇编：

Python 代码:

try:
    helloworld()
except:
    failure()

Python 2.7 字节码反汇编:

  1           0 SETUP_EXCEPT            11 (to 14)

  2           3 LOAD_NAME                0 (helloworld)
              6 CALL_FUNCTION            0
              9 POP_TOP             
             10 POP_BLOCK           
             11 JUMP_FORWARD            14 (to 28)

  3     >>   14 POP_TOP             
             15 POP_TOP             
             16 POP_TOP             

  4          17 LOAD_NAME                1 (failure)
             20 CALL_FUNCTION            0
             23 POP_TOP             
             24 JUMP_FORWARD             1 (to 28)
             27 END_FINALLY         
        >>   28 LOAD_CONST               0 (None)
             31 RETURN_VALUE     

字节码分析:

1. 0 SETUP_EXCEPT 11 (to 14): 这条指令设置了一个异常处理块。如果try块（地址3到9）中发生异常，程序执行将跳转到地址14，即except块的开始。
2. 3 LOAD_NAME 0 (helloworld) / 6 CALL_FUNCTION 0: 调用helloworld()函数。
3. 9 POP_TOP: 移除helloworld()的返回值（如果它正常返回）。
4. 10 POP_BLOCK: 弹出SETUP_EXCEPT创建的异常处理块。
5. 11 JUMP_FORWARD 14 (to 28): 如果try块正常执行完毕，程序会跳过整个except块，直接跳转到地址28。
6. >> 14 POP_TOP (x3): 这是except块的开始。当异常发生时，Python会将异常类型、异常值和回溯对象压入栈中。这三条POP_TOP指令用于清除栈上的这三个异常信息，因为这是一个通用的except块，它捕获所有异常。
7. 17 LOAD_NAME 1 (failure) / 20 CALL_FUNCTION 0: 调用failure()函数。
8. 23 POP_TOP: 移除failure()的返回值。
9. 24 JUMP_FORWARD 1 (to 28): 在except块处理完异常后，程序会跳过紧随其后的END_FINALLY指令，直接跳转到地址28，继续执行后续代码。
10. 27 END_FINALLY: 尽管存在于字节码中，但在本例中，由于前面的JUMP_FORWARD指令，它实际上永远不会被执行。
11. >> 28 LOAD_CONST 0 (None) / 31 RETURN_VALUE: 程序结束，返回None。

4. 为何END_FINALLY在此场景下未被执行？

从上述字节码分析中我们可以清楚地看到，END_FINALLY指令虽然存在于字节码序列中，但它被24 JUMP_FORWARD 1 (to 28)指令跳过了，这意味着它在实际运行时并不会被执行。

其根本原因在于：

Reachout.ai

一个AI驱动的视频开发平台，专为忙碌的企业家和销售团队打造

142 查看详情

1. 缺少finally块： END_FINALLY的主要作用之一是在finally块执行完毕后恢复异常或控制流。然而，我们提供的代码中只包含try和except，没有finally块。
2. 通用except块： 代码中使用了裸except:，这是一个通用的异常捕获器，它会捕获任何类型的异常。这意味着一旦helloworld()函数抛出异常，它必然会被这个except块捕获并处理。由于异常已经被完全处理，并且没有finally块需要执行，因此不需要END_FINALLY来恢复异常传播或挂起的控制流。

在这种特定情况下，END_FINALLY指令的存在可以被视为Python字节码编译器的一种行为。编译器可能在生成try-except结构时，总是会生成END_FINALLY作为异常处理块的结束标记，即使在某些简单场景下它实际上是冗余的且永远不会被执行。换句话说，编译器没有进行足够的优化来消除这种情况下无用的END_FINALLY指令。

5. END_FINALLY的演进：Python 3.9+的RERAISE

值得注意的是，Python的字节码指令集随着版本的迭代也在不断演进。在Python 3.9及更高版本中，END_FINALLY指令已被更具语义化的RERAISE指令取代。

RERAISE指令的引入，使得异常处理的字节码逻辑更加清晰和精确。它专门用于在异常处理的上下文中重新抛出当前正在处理的异常。这种改变表明Python核心开发者在不断优化字节码的表达能力和执行效率，使得底层机制更加符合高级语言的语义。

6. 注意事项与实际影响

虽然END_FINALLY在上述特定场景下不执行，但其存在并非没有影响。例如，在问题背景中提到，这种结构可能会导致某些反编译工具（如uncompyle6）出现问题。反编译工具需要精确地理解字节码的语义和控制流，当遇到一个存在但永不执行的指令时，可能会导致其逻辑判断错误，从而无法正确地还原原始代码结构。

这强调了理解底层字节码对开发和维护Python工具链的重要性。对于开发者而言，虽然日常编程很少直接接触字节码，但在进行性能优化、安全分析或开发调试/反编译工具时，深入了解字节码的工作原理是必不可少的。

7. 总结

END_FINALLY字节码指令是Python虚拟机中处理异常和控制流的关键组成部分，特别是在涉及finally块的场景中。它确保了在finally块执行完毕后，异常能够继续传播，或被挂起的return/continue操作能够恢复。

然而，在不包含finally块且使用通用except捕获所有异常的旧版Python try-except结构中，END_FINALLY可能会作为编译器生成的冗余指令而出现，但由于控制流的跳转，它并不会被实际执行。这种行为是编译器设计的一种体现，尽管可以优化，但在旧版本中并未完全消除。随着Python版本的演进，如Python 3.9中RERAISE的引入，字节码的语义表达变得更加精确，反映了Python在底层机制上的持续改进。理解这些底层细节，对于深入掌握Python的运行机制和解决特定工具链问题具有重要意义。

以上就是深入理解Python字节码：END_FINALLY的用途及其在旧版本中的行为的详细内容，更多请关注其它相关文章！

相关文章： 抖音DOU+怎么投最有效 抖音付费推广的ROI提升技巧  XML中包含HTML标签导致解析错误？ 正确嵌入非XML数据的两种方法  Lar*el Excel导入时生成自定义递增ID的策略与实践  Python getattr() 异常处理深度解析：避免程序意外退出  c++中的const_cast和reinterpret_cast怎么用_c++四种类型转换  如何设置Windows Defender的定时扫描_计划任务实现自动杀毒【安全】  俄罗斯搜索引擎Yandex指南 附2025年免登录官网入口  Tabulator表格日期时间排序问题及自定义解决方案  使用Python高效删除Word宏并转换DOCM为DOCX格式  Surface怎么安装系统 微软Surface Pro U盘重装win11教程  腾讯QQ邮箱官方网站_QQ邮箱网页版在线登录  创客贴用户入口官网登录 创客贴网页版电脑版系统  Python Socket多播通信中指定源IP地址的实践指南  Win11截图该按哪些键 Win11截屏完整流程解析【教程】  Angular Material 垂直步进器：实现底部到顶部排序的教程  处理Kafka消费者会话超时：深入理解消息处理语义与幂等性  在PHP脚本中通过SSHFS挂载远程文件系统的最佳实践与常见问题解决  QQ邮箱正确登录入口_QQ邮箱官方网站使用地址  Golang并发任务中错误如何聚合_Golang goroutine error收集方式  qq游戏免费畅玩入口_qq游戏电脑版快速启动  Windows电脑怎么截图最方便_系统自带截图工具的5种神仙用法【技巧】  解决移动端滚动问题的overflow属性应用指南  处理嵌套交互式控件：前端可访问性指南  自动化J*a应用中GitHub CLI或REST API的认证与交互  抖音网页版快捷访问 抖音网页版网页版入口操作教程  PHP：根据嵌套关联数组项值动态添加新键值对  C++如何比较两个字符串_C++ string compare函数与操作符对比  怎么在html里运行vbs脚本_html中运行vbs脚本方法【教程】  如何在CSS中使用visited与link控制链接颜色_visited link伪类配合  NRF24L01数据传输深度解析：解决大载荷接收异常与分包策略  Archive of Our Own官网直达 AO3最新可用地址一览  Highcharts 雷达图径向轴标签定制指南：利用多Y轴实现数值标注  Mac怎么查看崩溃日志_Mac控制台错误报告分析  荣耀Play7T运行卡顿解决_荣耀Play7T性能优化  PySpark中高效提取字符串右侧可变长度数字：使用regexp_extract  限制HTML日期输入框的日期选择范围  拼多多视频播放卡顿如何处理 拼多多视频播放优化技巧  谷歌浏览器怎么给标签页静音_Chrome标签静音快捷操作  漫蛙2(台版)官方入口地址 漫蛙2(台版)正版漫画网页端  Golang如何使用new_Go new分配内存机制讲解  抖音怎么赚钱_抖音创作者变现方法与途径指南  UE5.7引擎表现爆炸优化无敌！5090跑4K稳定60FPS  J*aScript map 方法中处理循环元素为空数组的策略  4399免费游戏网址入口 4399小游戏免费入口点开即玩  蛙漫限时开放最深处链接_蛙漫全站漫画会员同款秒开地址  Python自定义类排序：解决lambda键值访问TypeError的实践指南  Pygame教程：解决用户输入与游戏状态更新不同步问题  如何优雅地扩展SprykerGlue后端API授权逻辑，使用spryker/glue-backend-api-application-authorization-connector-extension  苹果手机如何防止被恶意App追踪  J*a里如何使用forEach遍历Map_Map遍历方法说明