Python | LEGB规则

LEGB的名字取自：

• Locals ：当前命名空间，如函数或模块
• Enclosing ：外部嵌套函数的命名空间（闭包常见）
• Globals：全局变量的命名空间
• Builtins ： 内建模块的命名空间

各作用域首字母

LEGB规则是：Python 使用 LEGB 的顺序来查找一个符号对应的对象
顺序是：
locals -> enclosing function -> globals -> builtins
查找顺序从左到右，不会反过来，比如一个功能在globals，当它在当前作用域找不到定义时，只能从builtins查找，而不会从enclosing中去查找

下面以一道题来演示

def proc1():
    j, k = 3, 4
    print('j == %d and k == %d' % (j, k))
    k = 5

def proc2():
    j = 6
    proc1()
    print('j == %d and k == %d' % (j, k))
    
k = 7

proc1()  #1

#print('j == %d and k == %d' % (j, k))  #2

j = 8

proc2()  # 3

print('j == %d and k == %d' % (j, k))  # 4

从代码中那个我们可以看出，一共有 #1和#3两个函数调用，#2和#4两个print语句（下面会说#2为何要注释掉）
在看以下分析前，你可以自己先想下答案是什么

• #1

Python函数从上往下运行语句，proc1中print了 j 和 k ，print前定义了 j, k = 3, 4，因此 #1 的结果输出是

j == 3 and k == 4

• #2

现在我们来说为何#2要被注释掉了，在#2 print语句之前，只定义了k的值，而没有定义 j 的值。如果不注释掉会报错

NameError: name 'j' is not defined

有人估计会问，#1 中不是定义了 j 的值吗？
因为proc1函数中的 j、k 值只作用在 Locals 中，而 #2 中的 j、k 明显是 Globals 中参数，Globals 是不会从 Locals 去搜寻值的，只能从 builtins 中去寻找，所以“ j is not defined ”。

• #3

这里值得注意的是， proc2 中先是 定义了 j 值，然后调用了 proc1()，再 print 语句，所以这里会有2个输出
前面说，Python函数从上往下运行语句，那么 proc2 中 proc1 中的 j 值会变成 6 吗？
这里虽然 j 是 proc2 的Locals参数，但 proc1 中有自己的Locals，为何要从 proc2 中去 “借”呢？（如果proc1 从 proc2 中取值，那是闭包的用法了）

所以 proc1() 的结果是：

j == 3 and k == 4

随后的 print 结果：

j == 6 and k == 7

j 是 自己定义的，k 是 Globals 的，如果这里看不懂 k 为何是7，请从头再认真看一遍

• #4

这个没什么好说的：

j == 8 and k == 7

Summary | 小结

• 寻找顺序：locals -> enclosing function -> globals -> builtins
• 官大一级压死人，事情安排找“下级”