# 变量的作用域
[TOC]
## 特点
python的作用域是静态的，在源代码中变量名被赋值的位置决定了该变量能被访问的范围。即Python变量的作用域由变量所在源代码中的位置决定。Python中并不是所有的语句块中都会产生作用域。**只有当变量在Module(模块)、Class(类)、def(函数)中定义的时候，才会有作用域的概念。**
**1. 函数内部的变量，函数外部不能访问**
```python
def func():
variable = 100
print(variable)
print(variable) # name 'variable' is not defined
```
**2. 函数上层的变量(标量)只能读取，不能再次定义，初始化**
```python
def counter1():
n = 0
def compute():
n = n + 1 # n为标量（数值，字符串，浮点数），Python程序会因为“如果内部函数有引用外部函数的同名变量或者全局变量,并且对这个变量有修改.那么python会认为它是一个局部变量,又因为函数中没有n的定义和赋值，所以报错
# y = n + 1 # 更改为y就没事
# return y
return n
return compute
```
```python
variable = 300
def test_scopt():
print(variable) # 此时调用局部变量variable并有没绑定到一个内存对象(没有定义和初始化，即没有赋值)。本质上还是遵循的LEGB法则
variable = 200 #因为这里，前面调用过一次，所以variable就变为了局部变量
# print(variable) # 写在下面就没问题，因为variable是新的局部变量，而不是重新被定义，却没有绑定
test_scopt()
```
Python中的模块代码在执行之前，并不会经过预编译，但是模块内的函数体代码在运行前会经过预编译，因此不管变量名的绑定发生在作用域的那个位置，都能被编译器知道。Python虽然是一个静态作用域语言，但变量名查找是动态发生的，直到在程序运行时，才会发现作用域方面的问题,
**3. list，dict等复合变量里面的值都可以引用更改**
```python
def counter():
n = [0]
def compute():
n[0] += 1 # 更改的是n里面的第一个值，不是更改n
return n[0]
return compute
func = counter()
func() # 1
func() # 2
func() # 3
```
**4. global 声明全局变量，如果在局部要对全局变量修改，需要在局部也要先声明该全局变量**
```python
def counter1():
n = 0
def compute():
global n # 如果在局部要对全局变量修改，需要在局部也要先声明该全局变量,但此处也会报错，因为没有全局变量n
n += 1
return n
return compute
# right
def counter1():
global n
n = 0
def compute():
global n
n += 1
return n
return compute
```
**5. nonlocal关键字用来在函数或其他作用域中使用外层(非全局)变量**
```python
def make_counter():
count = 0
def counter():
nonlocal count # 使用外层非全局变量
count += 1
return count
return counter
```
## 作用域的类型
在Python中，使用一个变量时并不严格要求需要预先声明它，但是在真正使用它之前，它必须被绑定到某个内存对象(被定义、赋值)；这种变量名的绑定将在当前作用域中引入新的变量，同时屏蔽外层作用域中的同名变量。
**L(local)局部作用域**
局部变量：包含在def关键字定义的语句块中，即在函数中定义的变量。每当函数被调用时都会创建一个新的局部作用域。Python中也有递归，即自己调用自己，每次调用都会创建一个新的局部命名空间。在函数内部的变量声明，除非特别的声明为全局变量，否则均默认为局部变量。有些情况需要在函数内部定义全局变量，这时可以使用global关键字来声明变量的作用域为全局。局部变量域就像一个 栈，仅仅是暂时的存在，依赖创建该局部作用域的函数是否处于活动的状态。所以，一般建议尽量少定义全局变量，因为全局变量在模块文件运行的过程中会一直存在，占用内存空间。
注意：如果需要在函数内部对全局变量赋值，需要在函数内部通过global语句声明该变量为全局变量。
**E(enclosing)嵌套作用域**
E也包含在def关键字中，E和L是相对的，E相对于更上层的函数而言也是L。与L的区别在于，对一个函数而言，L是定义在此函数内部的局部作用域，而E是定义在此函数的上一层父级函数的局部作用域。主要是为了实现Python的闭包，而增加的实现。
**G(global)全局作用域**
即在模块层次中定义的变量，每一个模块都是一个全局作用域。也就是说，在模块文件顶层声明的变量具有全局作用域，从外部开来，模块的全局变量就是一个模块对象的属性。
注意：全局作用域的作用范围仅限于单个模块文件内
**B(built-in)内置作用域**
系统内固定模块里定义的变量，如预定义在builtin 模块内的变量。
## 作用域链：变量名解析LEGB法则
搜索变量名的优先级：**局部作用域 > 嵌套作用域 > 全局作用域 > 内置作用域**
LEGB法则： 当在函数中使用未确定的变量名时，Python会按照优先级依次搜索4个作用域，以此来确定该变量名的意义。首先搜索局部作用域(L)，之后是上一层嵌套结构中def或lambda函数的嵌套作用域(E)，之后是全局作用域(G)，最后是内置作用域(B)。按这个查找原则，在第一处找到的地方停止。如果没有找到，则会出发NameError错误。
**example 1**
```python
name = "lzl"
def f1():
print(name)
def f2():
name = "eric"
f1()
f2() # 在函数未执行之前，作用域链就已经形成了，此时f1()的上一级应该name = 'lzl'
```
**example 2**
```python
def scope_test():
def do_local():
spam = "local spam" # 此函数定义了另外的一个spam字符串变量，并且生命周期只在此函数内。此处的spam和外层的spam是两个变量，如果写出spam = spam + “local spam” 会报错
def do_nonlocal():
nonlocal spam # 使用外层的spam变量 test spam
spam = "nonlocal spam"
def do_global():
global spam
spam = "global spam"
spam = "test spam"
do_local()
print("After local assignmanent:", spam) # test spam
do_nonlocal()
print("After nonlocal assignment:",spam) # nonlocal spam
do_global()
print("After global assignment:",spam) # nonlocal spam ???? 先找是本地变量，找到的本地变量已经在do_nonlocal()里面改变了所以输出的是nonlocal spam
scope_test()
print("In global scope:",spam) # global spam
```
