Question

这个问题不是要解决问题，而是要理解Python（2.7）编译器部分的内部工作原理。

请参阅下面的代码。它是一个标准的装饰器函数，其参数被剥夺了所有花哨的东西。

def deco(basedir):
  def wrap(f):
    def newf(*args, **kwargs):
      if basedir == "":          # local or nested?
        basedir="empty"          # local scope
      print basedir              # local or nested?
      return f(*args, **kwargs)
    return newf
  return wrap

@deco(basedir="full")
def test1(a):
  print a

if __name__ == "__main__":
  test1("test1")

当你测试它时，它失败了 UnboundLocalError：在 if basedir ==“”：行的分配之前引用的局部变量'basedir'。请注意，在此示例中，条件（赋值）的主体从未执行过。

但是当您使用以下代码段替换if时，它突然起作用。

if basedir == "": base = "empty" else: base = basedir print base

我希望失败的情况在解释器遇到赋值时创建一个局部变量basedir，但在if语句中使用parent的scope。但在我看来，当代码中的任何地方都存在 basedir = 赋值时，它会尝试在if中使用局部变量。

那么有人可以向我解释一下Python编译器在这种情况下如何创建名称？在编译期间是否提前准备了本地范围？当编译器看到对局部变量的赋值时，它是否使用未定义的值预先初始化名称？

您知道这种行为是否记录在任何地方？

我知道之前类似的情况已经解决了，但我不是在解决之后。我希望看到解释，理想情况下是指向文档的指针。

相关： "local variable referenced before assignment" — only functions?

Answer 1

问题是Python编译器无法确定basedir的适当范围。 Python中的范围是静态确定的。但是basedir="empty"赋值语句使basedir变量成为newf函数的局部变量。因此，在第一次分配之前，您无法访问本地变量。

至于您的“修复”，只是您删除了basedir="empty"的作业，basedir并不是newf的本地作品，但它使用来自{{ 1}}功能。

Answer 2

在Python 2中，您只能全局或本地设置变量，而不能嵌套：

global_variable_that_is_global = 1
global_variable_that_is_only_used_locally = 2

def function():
    nested_variable_that_can_not_be_set_by_inner_functions = 3
    def inner_function():
        global global_variable_that_is_global
        global_variable_that_is_global = "changed"
        global_variable_that_is_only_used_locally = "changed"
        nested_variable_that_can_not_be_set_by_inner_functions = "changed"

    def get_nested_variable():
        return nested_variable_that_can_not_be_set_by_inner_functions

    return inner_function, get_nested_variable

执行此操作时，您可以尝试：

>>> inner_function, get_nested_variable = function()
>>> get_nested_variable()
3
>>> inner_function()
>>> get_nested_variable()
3
>>> global_variable_that_is_only_used_locally
2
>>> global_variable_that_is_global
'changed'

因此，与Python 2相反，Python 3中有一个非本地关键字：

>>> def function():
    nonlocal_variable = 1
    def inner_function():
        nonlocal nonlocal_variable
        nonlocal_variable = "changed"
    def get_nonlocal_variable():
        return nonlocal_variable
    return inner_function, get_nonlocal_variable

>>> inner_function, get_nonlocal_variable = function()
>>> get_nonlocal_variable()
1
>>> inner_function()
>>> get_nonlocal_variable()
'changed'

Python何时在本地范围内创建名称记录

2 个答案: