猜猜看输出是什么？你会说不就是0，1，1么，真的是这样吗？

这是为什么？如果你还不清楚产生错误的原因，那就请继续往下阅读吧！

变量的作用域，这是一个老生常谈的问题了。

在python中作用域规则可以简单的归纳为LEGB原则，也就是说，对于一个变量name，首先会从当前的作用域开始查找，如果它不在函数里那就从global开始，没找到就查找builtin作用域，如果它位于函数中，就先从local作用域查找，接着如果当前的函数是一个闭包，那么就查找外层闭包的作用域，也就是规则中的E，接着是global和builtin，如果都没找到name这个变量，则抛出NameError。

那么我们来看一段代码：

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

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

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

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

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

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

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

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

字节码的解释在这里。

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

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

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

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

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

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

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

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

对于i的存取已经由LOAD_GLOBAL和STORE_GLOBAL接手了，没问题。

当然global也有它的局限性：

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

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

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

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

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

所以修正后的函数如下：

测试一下：

现在可以正常使用和修改闭包作用域的变量了。

当然，在函数里修改外部变量往往会导致潜在的缺陷，但有时这样做又是对的，所以希望你在好好了解作用域规则的前提下合理地利用它们。

作用域规则可以总结为下：

只要记住这些规则你就可以和因作用域引起的各种问题说再见了。而且理解了这些规则还会为你探索更深层次的python打下坚实的基础，所以请将它牢记于心。