有同学曾在微信中问小编什么是非局部语句(nonlocal statement),本文就是对此的回答,希望没有发的太晚。

非局部语句是Python 3.x中新引入的特性,可以让你给外层但非全局作用域中的变量赋值。官方文档中的说法是,非局部语句可以让所列的标识符(identifier)指向最近的嵌套作用域(enclosing scope)中已经绑定过的变量,全局变量除外。

如果没有非局部语句

一般来说,嵌套函数对于其外层作用域中的变量是有访问权限的。

>>> def outside():
msg = "Outside!"
def inside():
print(msg)
inside()
print(msg)
>>> outside()
Outside!
Outside!

我们在outside函数中声明了msg变量,并赋值为“Outside!”。然后,在inside函数中打印msg的值。结果证明,inside成功获得了外层作用域中msg的值。

但是如果我们想给外层作用域中的变量赋值时,是不是按照平常的赋值操作就可以修改它的值呢?

>>> def outside():
msg = "Outside!"
def inside():
msg = "Inside!"
print(msg)
inside()
print(msg)
>>> outside()
Inside! # inside函数打印的msg
Outside! # outside函数打印的msg

在inside函数中,我们想给msg变量赋值为"Inside!"。运行outside时,inside函数中msg的值为"Inside!",但是在outside函数中却保留了原先的值!

之所以出现这个情况,是因为在inside函数中,Python实际上并没有为之前已经创建的msg变量赋值,而是在inside函数的局部作用域(local scope)中创建了一个名叫msg的新变量,但是这样就和外层作用域(outer scope)中的变量重名了。

这说明,嵌套函数对外层作用域中的变量其实只有只读访问权限。如果我们在这个示例中的inside函数的顶部再加一个print(msg)语句,那么就会出现UnboundLocalError: local variable 'msg' referenced before assignment这个错误。

非局部语句的引入,就是要尽量减少这种变量名冲突情况的出现,同时也让嵌套函数更加方便的操作外层函数中的变量。更加详细的原因,请看参考资料部分的PEP-3104。

使用非局部语句之后


接下来,我们引入nonlocal语句。

>>> def outside():
msg = "Outside!"
def inside():
nonlocal msg
msg = "Inside!"
print(msg)
inside()
print(msg)
>>> outside()
Inside!
Inside!

现在,我们在inside函数的顶部添加了nonlocal msg语句。这个语句的作用,就是告诉Python解释器在碰到为msg赋值的语句时,应该向外层作用域的变量赋值,而不是声明一个重名的新变量。这样,两个函数的打印结果就一致了。

nonlocal的用法和global非常类似,只是前者针对的是外层函数作用域的变量,后者针对的则是全局作用域的变量。

什么时候该使用非局部语句

有时候,你可能会疑惑什么时候才应该使用nonlocal。以下面的函数为例:

>>> def outside():
d = {"outside": 1}
def inside():
d["inside"] = 2
print(d)
inside()
print(d)
>>> outside()
{'inside': 2, 'outside': 1}
{'inside': 2, 'outside': 1}

你可能会想,因为没有使用nonlocal,inside函数中往字典d中插入的"inside": 2键值对(key-value pair)不会体现在outside函数中。你这么想挺合理,但却是错的。因为字典插入并不是赋值操作,而是方法调用(method call)。事实上,往字典中插入一个键值对相当于调用字典对象中的__setitem__方法。

>>> d = {}
>>> d.__setitem__("inside", 2)
>>> d
{'inside': 2}

所以,这个示例中我们可以不使用nonlocal,就能直接操作外层作用域中的变量。

小结

其实在许多Python程序中,很少用到非局部语句。但是,有了这种语句之后,我们就可以减少不同作用域之间变量名的冲突。非局部语句,也让我们更加容易地访问、操作外层作用域中的变量。不过,这在一定程度上也让语法变得更加复杂。

有关变量、语句等术语的基础知识,还可以参考《Think Python 2e》的第二章:量、表达式和语句。