比如下面這段程式碼

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  

這是因為，

• 在s = 'bar'這句中，它是“有歧義的“，因為它既可以是表示引用全域性變數s，也可以是建立一個新的區域性變數，所以在python中，預設它的行為是建立區域性變數，除非顯式宣告global.
• 在d['b']=2這句中，它是“明確的”，因為如果把d當作是區域性變數的話，它會報KeyError，所以它只能是引用全域性的d,故不需要多此一舉顯式宣告global。

上面這兩句賦值語句其實是不同的行為，一個是rebinding, 一個是mutation.

但是如果是下面這樣

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。