为什么python在函数中修改"字典型全局变量"不需要global

转自http://blog.youkuaiyun.com/handsomekang/article/details/41392417?utm_source=tuicool：

比如下面这段代码

[python]  view plain copy

1. s = 'foo'  
2. d = {'a':1}  
3. def f():  
4.     s = 'bar'  
5.     d['b'] = 2  
6. f()  
7. print s  
8. print d  

为什么修改字典d的值不用global关键字先声明呢？

这是因为，

• 在s = 'bar'这句中，它是“有歧义的“，因为它既可以是表示引用全局变量s，也可以是创建一个新的局部变量，所以在python中，默认它的行为是创建局部变量，除非显式声明global.
• 在d['b']=2这句中，它是“明确的”，因为如果把d当作是局部变量的话，它会报KeyError，所以它只能是引用全局的d,故不需要多此一举显式声明global。

上面这两句赋值语句其实是不同的行为，一个是rebinding, 一个是mutation.

但是如果是下面这样

[python]  view plain copy

1. d = {'a':1}  
2. def f():  
3.     d = {}  
4.     d['b'] = 2  
5. f()  
6. print d  

在d = {}这句，它是”有歧义的“了，所以它是创建了局部变量d，而不是引用全局变量d，所以d['b']=2也是操作的局部变量。

推而远之，这一切现象的本质就是”它是否是明确的“。

仔细想想，就会发现不止dict不需要global，所有”明确的“东西都不需要global。因为int类型str类型之类的，只有一种修改方法，即x = y， 恰好这种修改方法同时也是创建变量的方法，所以产生了歧义，不知道是要修改还是创建。而dict/list/对象等，可以通过dict['x']=y或list.append()之类的来修改，跟创建变量不冲突，不产生歧义，所以都不用显式global。