比如下面这段代码

s = 'foo'
d = {'a':1}
def f():
    s = 'bar'
    d['b'] = 2
f()
print s
print d

这是因为，

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

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

但是如果是下面这样

d = {'a':1}
def f():
    d = {}
    d['b'] = 2
f()
print d

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

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

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

飘逸的python - 为什么修改全局的dict变量不用global关键字