为什么“ ord”在这里被视为未分配变量？

Question

我希望它不是重复的（同时鉴于存在此类错误的问题数量之多，但这是基本错误，同时也很难分辨），但我不明白这里会发生什么。

def f():
    c = ord('a')

f()

运行，没有错误（ord将字符转换为ASCII代码，它是内置的）。现在：

if False:
    ord = None
def f():
    c = ord('a')

f()

也可以运行，没有错误（ord不会被覆盖，条件始终为false）。现在：

def f():
    if False:
        ord = None
    c = ord('a')

f()

我得到（在哪里c = ord('a')）

UnboundLocalError: local variable 'ord' referenced before assignment

看起来，即使不运行代码，仅引用左侧操作数也会使其成为局部变量。

显然，我可以解决此问题，但令我感到 非常 惊讶的是，由于python的动态方面允许您定义一个像整数一样的变量，并在下一行将其定义为字符串。

似乎与if语句中初始化的变量的范围有关？

显然，解释器在编译为字节码时仍会记录未到达的分支，但是究竟发生了什么呢？

（在Python 2.7和Python 3.4上测试）

Answer 1

这与编译器在编译为字节码时基于不相关分支进行静态分析无关；这要简单得多。

Python有一个区分全局变量，闭包变量和局部变量的规则。在函数中分配的所有变量（包括隐式分配给参数的参数）都是局部变量（除非它们具有globalornonlocal语句）。参考文档的“绑定和命名”及后续章节对此进行了说明。

这并不是要使解释器简单，而是要使规则足够简单以使人类读者通常可以直观地理解，并且在不直观时可以很容易地被人解决。（这对于此类情况尤其重要-
行为并非到处都是直观的，因此Python将规则保持足够简单，以使一旦学习，该情况仍然很明显。但是您肯定必须在此之前学习该规则是的，当然，大多数人是第一次对规则感到惊讶来学习该规则的…）

即使优化器足够聪明，可以完全删除与之相关的任何字节码if False: ord=None，ord但根据语言语义规则，仍必须是局部变量。

因此：ord =函数中有一个，因此对的所有引用ord都是对局部变量的引用，而不是碰巧具有相同名称的任何全局或非局部变量，因此您的代码是UnboundLocalError。

许多人在不了解实际规则的情况下走了过来，而是使用了更简单的规则：变量是

• 如果可能，则为本地，否则为
• 如果可能，将其封闭，否则
• 如果是全局变量，则为全局变量，否则
• 内置（如果内置），否则
• 一个错误

尽管这种方法在大多数情况下都有效，但在某些情况下（例如这种情况）可能会产生误导。具有以Lisp样式完成LEGB范围界定的语言会看到它ord不在本地名称空间中，因此会返回全局名称，但Python不会这样做。您可以说这ord
是
在本地名称空间中，但是绑定到一个特殊的“未定义”值，它实际上接近幕后发生的事情，但这不是Python规则所说的，尽管这样做可能更直观简单的情况下，很难进行推理。

如果您好奇这是如何工作的，请执行以下操作：

在CPython中，编译器将扫描您的函数以查找所有以标识符为目标的赋值，并将其存储在数组中。它删除全局变量和非局部变量。该数组最终将作为您的代码对象的数组co_varnames，因此，假设您ord是co_varnames[1]。然后，对该变量的每次使用都会编译为LOAD_FAST 1或STORE_FAST 1，而不是编译为LOAD_NAME或STORE_GLOBAL或其他操作。解释时，这LOAD_FAST 1只是将框架的内容加载f_locals[1]到堆栈中。它f_locals以NULL指针数组而不是指向Python对象的指针开始，如果LOAD_FAST加载了NULL指针，它将引发UnboundLocalError。