• 在函数f中找不到这两个名字,所以从local向上查找,
  • 首先f不是闭包,因此跳过闭包作用域的查找,
  • 然后查找global,找到了i,但print还未找到,
  • 然后查找builtin,找到了print的builtin模块里的一个函数。

至此名字查找结束,调用找到的函数,输出结果100。

现在你可能更加疑惑了,既然查找规则按照LEGB的方向进行,那么test.py中的f不就应该找到i为global中的变量吗,为什么会报错呢?

名字隐藏和暂时性死区

在揭晓答案之前,我们先复习一下名字隐藏。

它是指一个声明在局部作用中的名字会隐藏外层作用域中的同名的对象。许多语言都遵守这一特性,python也不例外。

那么暂时性死区是什么呢?这是es6的一个概念,当你在局部作用域中定义了一个非全局的名字时,这个名字会绑定在当前作用域中,并将外部作用域的同名对象隐藏:

var i = ‘hello’
function f() {
i = ‘world’
let i
}

这段代码中函数中的i被绑定在局部作用域(也就是函数体内)中,在绑定的作用域中可见,并将外部的名字隐藏,而对一个未声明的局部变量赋值会导致错误,所以上面的代码会引发ReferenceError: i is not defined

对于python来说也是一样的问题,python代码在执行前首先会被编译成字节码,这就会导致某些时候实际执行的程序会和我们看到的产生出入。不过我们有dis模块帮忙,它可以输出python对象的字节码,下面我们就来看下经过编译后的f:

dis(f)

2 0 LOAD_GLOBAL 0 (print)
2 LOAD_FAST 0 (i)
4 CALL_FUNCTION 1
6 POP_TOP
3 8 LOAD_CONST 1 (‘a’)
10 STORE_FAST 0 (i)
4 12 LOAD_GLOBAL 0 (print)
14 LOAD_FAST 0 (i)
16 CALL_FUNCTION 1
18 POP_TOP
20 LOAD_CONST 0 (None)
22 RETURN_VALUE

其中LOAD_FAST和STORE_FAST是读取和存储local作用域的变量,我们可以看到,i变成了局部作用域的变量!而对i的赋值早于i的定义,所以报错了。

产生这种现象的原因也很简单,python对函数的代码是独立编译的,如果未加说明而在函数内对一个变量赋值,那么就认为你定义了一个局部变量,从而把外部的同名对象屏蔽了。这么做无可厚非,毕竟python没有独立的声明一个局部变量的语法,但结果就会造成我们看到的类似暂时性死区的现象。所以请允许我把es6的概念套用在python身上。

消除暂时性死区

既然知道问题的症结在于python无法区分局部变量的声明和定义,那么我们就来解决它。

对于一个可以区分声明和定义的语言来说是没有这种烦恼的,比如c:

‘’’

遇到问题没人解答?小编创建了一个Python学习交流QQ群:778463939

寻找有志同道合的小伙伴,互帮互助,群里还有不错的视频学习教程和PDF电子书!

‘’’
int i = 0;
void f(void)
{
i++;
printf(“%d\n”, i); // 1
const char *i = “hello”;
printf(“%s\n”, i); // “hello”
}

python中不能这么做,但是我们可以换一个思路,声明一个变量是全局作用域的,这样不就解决了吗?

global运算符就是为了这个目的而存在的,它声明一个变量始终是全局作用域的变量,因此只要存在global声明,那么当前作用域里的这个名字就是一个对同名全局变量的引用。改进后的函数如下:

def f():
global i
print(i)
i += 1
print(i)

现在运行程序就会是你想要的结果了:

python test.py

0

1

1

如果你还是不放心,那么我们再来看看字节码:

dis(f)

3 0 LOAD_GLOBAL 0 (print)
2 LOAD_GLOBAL 1 (i)
4 CALL_FUNCTION 1
6 POP_TOP
4 8 LOAD_CONST 1 (‘a’)
10 STORE_GLOBAL 1 (i)
5 12 LOAD_GLOBAL 0 (print)
14 LOAD_GLOBAL 1 (i)
16 CALL_FUNCTION 1
18 POP_TOP
20 LOAD_CONST 0 (None)
22 RETURN_VALUE

对于i的存取已经由LOAD_GLOBALSTORE_GLOBAL接手了,没问题。

当然global也有它的局限性:

  • 一旦声明global,那么这个名字始终是global作用域的一个变量,不可以再是局部变量
  • 名字必须存在于global里,因为python在运行时进行名字查找,所以你的变量在global里找不到的话对它的引用将会出错
  • 接上一条,因为global限定了名字查找的范围,所以像闭包作用域的变量就找不到了

事实上需要引用非global名字的需求是极其常见的,因此为了解决global的不足,python3引入了nonlocal

使用nonlocal声明闭包作用域变量

假设我们有一个需求,一个函数需要知道自己被调用了多少次,最简单的实现就是使用闭包:

def closure():

count = 0

def func():

other code

count += 1

print(f’I have be called {count} times’)

return func

还是老问题,这样写对吗?

答案是不对,你又制造暂时性死区啦!

f=closure()

f()

Traceback (most recent call last):
File “”, line 1, in 
File “”, line 5, in func
UnboundLocalError: local variable ‘count’ referenced before assignment

这时候就要nonlocal出场了,它声明一个名字位于闭包作用域中,如果闭包作用域中未找到就报错。