end_finally是python虚拟机中一个重要的字节码指令，主要用于在finally块结束或没有匹配的except块时，恢复异常传播、return或continue操作。在早期python版本中，即使没有finally块或存在通配except，编译器也可能生成end_finally，但通过jump_forward指令跳过，使其不被执行。本文将通过示例代码和字节码分析，详细探讨end_finally的作用、行为及其在不同python版本中的演变。
END_FINALLY指令的核心作用
END_FINALLY字节码指令在Python虚拟机中扮演着关键角色，它主要负责处理try...except...finally结构中的控制流恢复。具体来说，它的作用包括：
- 恢复异常传播：当一个finally块执行完毕，或者在没有finally块的情况下，所有except块都未能匹配当前异常时，END_FINALLY会重新抛出（或继续传播）原始异常。
- 恢复中断的控制流：如果一个return语句或continue语句被finally块暂时中断，END_FINALLY会在finally块执行完毕后，恢复这些被挂起的控制流操作。
简而言之，END_FINALLY确保了在try语句块的清理阶段（即finally块）结束后，程序的执行能够正确地回到之前的状态，无论是继续处理异常，还是完成被延迟的返回或循环控制。
示例分析：try-except结构中的END_FINALLY行为
为了更好地理解END_FINALLY的行为，我们来看一个Python 2.7中的try-except示例及其对应的字节码：
# Python 2.7 代码示例
try:
helloworld()
except:
failure()上述代码的字节码反汇编（Python 2.7）如下：
立即学习“Python免费学习笔记（深入）”；
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 字节码分析：
- 0 SETUP_EXCEPT 11 (to 14)：设置异常处理块，如果try块发生异常，程序将跳转到地址14。
- 3 LOAD_NAME 0 (helloworld) 到 9 POP_TOP：这是try块内调用helloworld()的代码。
- 10 POP_BLOCK：如果helloworld()成功执行，此指令将移除异常处理块。
- 11 JUMP_FORWARD 14 (to 28)：如果try块正常完成，程序会直接跳过整个异常处理和END_FINALLY指令，跳转到地址28。
- >> 14 POP_TOP (三次)：当helloworld()抛出异常时，程序跳转到这里。这三个POP_TOP指令用于清除栈顶的异常信息（类型、值、回溯）。
- 17 LOAD_NAME 1 (failure) 到 23 POP_TOP：这是except块内调用failure()的代码。
- 24 JUMP_FORWARD 1 (to 28)：在except块处理完异常后，程序再次执行一个JUMP_FORWARD指令，跳过紧随其后的END_FINALLY指令，直接跳转到地址28。
- 27 END_FINALLY：尽管此指令出现在字节码中，但在上述try-except示例中，由于存在通配符except块（except:），它总是能捕获所有异常，并且在处理完毕后通过JUMP_FORWARD指令跳过END_FINALLY。因此，在这种特定情况下，END_FINALLY实际上不会被执行。
为什么会出现不执行的END_FINALLY？
在上述示例中，END_FINALLY的存在看似多余，因为它总是被JUMP_FORWARD指令跳过。这主要是因为Python字节码编译器在生成try-except结构时，会遵循一种通用模式。即使代码中没有显式的finally块，或者存在一个能捕获所有异常的except块，编译器也可能为了简化编译逻辑，生成END_FINALLY。在这种情况下，后续的JUMP_FORWARD指令确保了END_FINALLY不会被不必要地执行。这体现了编译器设计中，有时为了通用性和简化，会生成一些在特定条件下不会执行的指令。
END_FINALLY的执行场景
虽然在上面的try-except示例中END_FINALLY未被执行，但在以下情况中它会发挥作用：
-
带有finally块的try语句：
try: # ... except SomeError: # ... finally: # cleanup code当finally块执行完毕后，如果之前有未处理的异常，或者有被挂起的return/continue，END_FINALLY会负责恢复这些操作。
-
没有匹配except块的异常：
try: raise ValueError except TypeError: pass # This except block won't match ValueError在这种情况下，ValueError不会被TypeError的except块捕获。当程序尝试离开try结构时，END_FINALLY会重新抛出ValueError，使其继续向上层调用栈传播。
END_FINALLY的演变：Python 3.9+ 中的RERAISE
随着Python语言的发展，字节码指令集也在不断优化和演进。在Python 3.9及更高版本中，END_FINALLY指令被重命名为RERAISE。这一改动更加直观地表达了该指令的核心功能——重新抛出异常。
您可以在Godbolt Compiler Explorer上观察到这一变化。尽管名称有所改变，但其基本语义和作用保持一致，即在finally块结束或异常未被处理时，确保异常的正确传播。
注意事项与总结
- 对反编译工具的影响：像uncompyle6这样的Python字节码反编译工具，在处理包含这种“不执行END_FINALLY”模式的旧版本字节码时，可能会遇到解析上的挑战，因为它们需要准确地理解字节码的控制流。
- 编译器优化：虽然在某些情况下END_FINALLY可能不会被执行，但它的存在是编译器通用处理逻辑的一部分。现代Python编译器可能会进行更高级的优化，以避免生成完全不必要的指令。
- 理解字节码的价值：深入理解Python字节码有助于开发者更好地理解Python程序的底层执行机制，这对于性能优化、调试复杂问题以及开发底层工具（如反编译器、代码分析器）都非常有帮助。
总之，END_FINALLY（及其在Python 3.9+ 中的RERAISE）是Python虚拟机中一个基础而重要的字节码指令，它确保了try...except...finally结构中异常和控制流的正确处理。即使在某些场景下它被跳过，其存在也反映了Python字节码编译器的设计哲学。
