Python 的 except 怪癖

让我来展示一下我最喜欢的 Python 怪癖。你希望这段 Python 代码做什么?

如果你是从另一种编程语言过来学习 Python 的，你可能希望except子句引入嵌套范围，因此在子句中赋值给 e 不会影响外部作用域中已有的 e 变量。然而，在 Python 中，控制结构通常不引入嵌套作用域(列表推导是一个例外)，所以如果你有更多的 Python 经验，你可能会期望它打印一个ZeroDivisionError实例。

实际上，在标准 CPython 实现中，它什么也不打印；同时，最后一行将引发一个NameError。这是一个 bug 吗?事实上，这是故意的。如果查看 except 子句生成的字节码，可以看到:

当控制流退出except块时，Python 将从作用域中删除该名称。为什么？因为异常持有对当前栈帧的引用，该栈帧包含作用域内的所有内容。由于Python主要是通过引用计数来管理内存主体的，这意味着当前作用域内的任何内容都不会被释放，直到下一轮垃圾收集运行 (如果有的话)。目前的行为是内存使用、易于实现和语言整洁之间的折衷。它有点缺点，但我认为它体现了我喜欢Python的一点：不让纯粹性妨碍实用性。

但这只解释了DELETE_NAME指令。为什么 CPython 把e设为None，即便随后立即就删除了这个变量？好吧，设想你和 CPython 团队有相同的想法，并且决定在 except 块的末尾清理异常引用:

在except块的末尾，CPython 将尝试删除你已经删除的名字e！为了解决这个问题，CPython 在删除e之前赋值e = None，以确保e存在。

英文原文：https://pydist.com/blog/python-except

译者：青书