浅谈python函数之作用域(python3.5)

1 基本概念

1.1 命名空间 (namespace)

命名空间是变量名到对象的映射（name -> obj）。目前大多数的命名空间以类似于python字典的形式实现，实现形式在未来可能发生变化。命名空间举例：内置变量（内置函数abs, 内置的异常等），模块中的全局变量，函数调用时的局部变量。在某种意义上讲，对象的属性也形成一个命名空间。重要的是，不同的命名空间中的变量没有任何关联，两个不同的命名空间中可以包含相同的变量名。

命名空间有不同的创建时间和生命周期：

•内置变量命名空间在python解释器启动时创建，并且在解释器运行期间永远不会被删除；

•一个模块的命名空间在模块被导入时创建，并且到解释器退出会一直存在；

•函数的本地(局部)命名空间在函数调用时创建，函数退出时删除；

•解释器顶层执行的语句都是 __main__ 模块的组成部分，它们有自己的命名空间。

注：内置变量实际上同样是以模块的形式存在，模块名为 builtins 。

1.2 作用域 (scope)

作用域是Python程序中可以直接访问一个命名空间内变量的文本区域，可直接访问即命名空间内的变量在该文本区域内可见、可引用。

•本地(局部)作用域：函数或者类的内部

•全局作用域：整个程序的运行环境。

全局作用域中无法直接访问本地作用域中定义的变量：

def func1():
name = 1

print(func1) # <function func1 at 0x101a03d08>
print(name)
# Traceback (most recent call last):
# File "<stdin>", line 1, in <module>
# NameError: name 'name' is not defined

本地作用域中的变量定义：

•在python中，变量赋值即定义。在局部作用域内被赋值的变量，除非由 global 或者 nonlocal 声明，否则全部为局部变量，函数调用时存在于函数命名空间。

•global var : 声明变量 var 为全局变量，它所有的引用和赋值都在模块的命名空间进行。

•nonlocal var : 将外层函数命名空间中的变量 var 绑定到本地作用域，使其在本地作用域可重新赋值。如果变量没有被声明为 nonlocal，这些变量在本地作用域仅可读，尝试给变量赋值则会在本地命名空间创建一个同名变量。

nonlocal声明的变量在上层函数中必须存在，否则报错:

test = 'global variable'

def scope_test():
def inner():
 nonlocal test
 print(test)

scope_test() # SyntaxError: no binding for nonlocal 'test' found

2 示例

2.1 本地作用域中变量的搜索遵守LEGB规则

1.L-Local(function)：函数或类的命名空间，其中的变量称为本地变量

2.E-Enclosing function locals：外层函数的命名空间(例如closure)，包含被声明为non-local的变量

3.G-Global(module)：函数定义所在模块的命名空间，其中的变量称为全局变量

4.B-Builtin(Python)：Python内置模块的名字空间

def scope_test():
def do_local():
 spam = "local spam"

def do_nonlocal():
 nonlocal spam# 递归向上寻找上层函数命名空间中的spam变量
 spam = "nonlocal spam"

def do_global():
 global spam # 在全局变量中寻找spam变量，没有则创建
 spam = "global spam"

spam = "test spam"
do_local()
print("After local assignment:", spam) # 输出本地变量 spam
do_nonlocal()
print("After nonlocal assignment:", spam)
do_global()
print("After global assignment:", spam)

scope_test()
print("In global scope:", spam)

结果

<SPAN style="FONT-SIZE: 14px">1 After local assignment: test spam
After nonlocal assignment: nonlocal spam
After global assignment: nonlocal spam
In global scope: global spam
</SPAN>

2.2 闭包

闭包：在嵌套函数中，如果内层函数引用了外层函数的变量，就形成了一个闭包。

自由变量：被引用的外层函数变量，称为内层函数的自由变量。

def fn():
 a = 1
 def closure():
   nonlocal a
   a += 1
   print(a)
 return closure

inner = fn()
print(inner.__closure__)  # (<cell at 0x10240b408: int object at 0x100277bc0>,)
inner() # 2
inner() # 3

外层函数执行完，其命名空间删除。但是因为 a 是内层函数的自由变量，所以变量 a 被保留，可以看作是 closure 函数对象的一个附加属性。

3 静态检测

3.1 本地变量

python是在编译def语句时静态检测其本地变量的。

a = 1
def local_test():
 a += 1
 print(a)
local_test()  # UnboundLocalError: local variable 'a' referenced before assignment

print(b)  # NameError: name 'b' is not defined

在编译local_test函数时，python就确定了变量 a 为函数的本地变量。所以在执行 a += 1 是会直接在本地命名空间寻找变量a。

3.2 命名空间搜索链

name = "lzl"

def f1():
 print(name)

def f2():
 name = "eric"
 f1()

f2() # lzl

一个函数的变量搜索路径是在它定义的时候决定的，不受它调用位置的影响。

f1定义在全局作用域中，其变量的搜索路径为：本地命名空间 --> 模块命名空间。所以最后的输出结果为‘lzl'。

4 匿名函数

Python借助lambda关键字定义匿名函数，格式如下：

lambda 参数列表: 表达式

lambda x: x + 1
# 函数功能类型于下面的函数
def _(x):
 return x + 1

示例

下面一段代码的输出结果是什么：

li = [lambda :x for x in range(10)]
print(li[0]())

其等价形式：

def fn():
 return x

li = []
for x in range(10):
 li.append(fn)
li[0]() # fn() -> 9，根据变量搜索规则，x在函数中没有定义，在全局变量中查找

来源：http://www.cnblogs.com/wadirum/archive/2017/10/26/7674740.html