python3的变量作用域规则和nonlocal关键字

‘’’

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

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

‘’’

i = 100

def f():

print(i)

在这段代码中，print位于builtin作用域，i位于global，那么：

• 在函数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_GLOBAL和STORE_GLOBAL接手了，没问题。

当然global也有它的局限性：

• 一旦声明global，那么这个名字始终是global作用域的一个变量，不可以再是局部变量

• 名字必须存在于global里，因为python在运行时进行名字查找，所以你的变量在global里找不到的话对它的引用将会出错

• 接上一条，因为global限定了名字查找的范围，所以像闭包作用域的变量就找不到了

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

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

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

‘’’

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

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

‘’’

def closure():

count = 0

def func():

other code

count += 1

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

return func

还是老问题，这样写对吗？

答案是不对，你又制造暂时性死区啦！

f=closure()

f()
自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数Python工程师，想要提升技能，往往是自己摸索成长或者是报班学习，但对于培训机构动则几千的学费，着实压力不小。自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年Python开发全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上前端开发知识点，真正体系化！

由于文件比较大，这里只是将部分目录大纲截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且后续会持续更新

如果你觉得这些内容对你有帮助，可以扫码获取！！！（备注：Python）

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上前端开发知识点，真正体系化！

由于文件比较大，这里只是将部分目录大纲截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且后续会持续更新

如果你觉得这些内容对你有帮助，可以扫码获取！！！（备注：Python）