先来看下面的代码及执行结果：

a = 1
b = [2,3]
def nums():
    a = 2
    b[0] = 0
    print(a)
    print(b)
print(a)
print(b)
nums()
print(a)
print(b)

结果：

1
[2, 3]
2
[0, 3]
1
[0, 3]

对上面结果的分析：

函数 nums() 中重新定义了一个变量 a ，这个 a 是局部变量，与外面的全局变量没有关系，而全局变量 列表 b 直接被引用过来进行修改了，同样是全局变量为什么会有差别呢？

　　因为格式问题引发了歧义，容器类型的数据如，列表，字典，他们的修改和创建书写格式全然不同，不会引发奇异，而数字，字符串类型变量的定义和修改都是用 = 链接，引发了格式上的歧义，所以，当Python解释器遇到函数中的 “a = 2”这种格式时，不知道是 “引用全局变量a修改为2” 还是 “定义一个等于 2 的变量” ，从而引发歧义，为了确保全局变量对代码其他部分产生更小的影响，Python默认为第二种——重新定义一个变量，来避免修改全局变量对整体代码产生其他未知影响。

综上所述：

本质：格式引发的歧义问题

运用：对于字典，列表不会因为格式问题引发歧义的，不用管他；对于数字，字符串来说，当引用与创建发生歧义时，Python解释器默认创建新的变量，若不想创建，只是想修改全局变量，需要加global声明，另外，如果只是单纯的引用全局变量，而不会产生歧义的，如 对于全局变量 a 来说，b = a + 5，这里只是单纯的使用，不会产生格式上的歧义问题，也不需要加global。

转自：https://www.cnblogs.com/Fruitzombie/p/8041115.html