对变量名的赋值和引用，是两种不同的情况：

• 赋值：创建一个变量或者修改。
• 引用：检索其值。

以上两者的差别，会导致我们在函数中：

• 赋值一个

1. 全局变量：等于创建一个局部变量。
2. 自由变量：等于创建一个局部变量。

• 引用：正常检索其值。

我们修改上例中的inner函数为如下形式：

1. def inner(i1,i2='i2'): 
2.     e = 'enclose' 
3.     g = 'inner global' 
4.     print(i1,i2,o1,o2,e,g,b) 

在嵌套函数内，重新定义了g变量，其他语言一般理解这是重新赋值全局变量。但是我们看上条规则：在函数中，赋值一个全局变量时，等于创建一个局部变量。就是说此时的g已经是局部变量了——在程序最后的 print(g) 语句输出 global，而不是修改后的 inner global 也验证了以上规则。

完整代码如下：

1. import builtins 
2.  
3. builtins.b = 'builtins' 
4. g = 'global' 
5.  
6. def outer(o1,o2='o2'): 
7.     e = 'enclose' 
8.     g = 'inner global' 
9.     def inner(i1,i2='i2'): 
10.         print(i1,i2,o1,o2,e,g,b) 
11.     return inner  
12.  
13. fun = outer('o1')  
14. fun('i1') 
15.  
16. print(g) 

输出结果如下：

1. i1 i2 o1 o2 enclose inner global builtins 
2. global 

不重新赋值，只是使用全局变量和自由变量，则没有问题。

自由变量也是类似的情况。

为了解决局部作用域中赋值全局变量和自由变量导致的变成局部变量问题，Python引入关键字 global 和 nonlocal 。

1. def inner(i1,i2='i2'): 
2.     global g 
3.     nonlocal e 
4.     g = 'inner global' 
5.     e = 'inner enclose' 

此时的赋值，则分别是对全局变量和自由变量的操作，而非新建局部变量。

完整代码如下：

1. import builtins 
2.  
3. builtins.b = 'builtins' 
4. g = 'global' 
5.  
6. def outer(o1,o2='o2'): 
7.     e = 'enclose' 
8.     def inner(i1,i2='i2'): 
9.         global g 
10.         nonlocal e 
11.         g = 'inner global' 
12.         e = 'inner enclose' 
13.         print(i1,i2,o1,o2,e,g,b) 
14.     return inner  
15.  
16. fun = outer('o1')  
17. fun('i1') 
18.  
19. print(g) 

输出结果如下：

1. i1 i2 o1 o2 inner enclose inner global builtins 
2. inner global