Python函数修改全局对象属性无需global声明的原因

核心认知偏差是将「名字重绑定」和「对象内部属性修改」两类完全不同的操作混为一谈，二者在Python的作用域规则下适用完全不同的逻辑，不存在设计上的不一致。

底层核心规则：Python的名字绑定机制 #

Python没有C/Java这类静态语言中“变量是存储值的内存单元”的概念，所有变量本质上都是绑定到具体对象上的名字标签，作用域规则只负责管理名字的查找和绑定，完全不干涉对象本身的内部操作。
当你在函数内部执行赋值相关操作时，解释器的默认逻辑是：如果没有显式声明global或nonlocal，所有出现在赋值符号左侧的名字，都会被判定为当前函数局部作用域的局部名字。
这就是修改全局普通变量必须加global的原因：

k = 6
print(k) # 初始赋值输出6
def increase_k():
    # 不加global的话，k会被判定为局部名字
    # 执行k +=2 时先读局部k，发现还没绑定对象就直接报错
    global k
    k += 2

increase_k()
print(k) # 调用函数后输出8

k += 2本质是将全局作用域中k这个名字，从原来绑定的整数6，重新绑定到运算得到的整数8上，属于对全局名字的重绑定操作，必须显式声明告诉解释器不要创建局部同名名字。

修改全局对象属性不需要global的原因 #

在函数里执行n.value +=1时，从头到尾没有对n这个名字做任何重绑定操作，整个执行流程和全局名字管理无关：

1. 第一步是读取名字n：解释器发现局部作用域没有n的绑定，就逐层向上查找，最终在全局作用域找到n绑定的Integer实例——读取外层作用域的名字不需要任何声明，只要你不在局部给同名名字赋值，就不会触发局部名字判定。
2. 拿到实例对象之后，所有操作都是针对这个对象本身的：n.value +=1等价于n.value = n.value +1，修改的是Integer实例自身属性表中的value绑定，全局作用域里的n从始至终都绑定在原来的实例对象上，根本没有被改动，自然不需要global声明。
   对应的示例代码运行结果完全符合规则：

class Integer:
    def __init__(self, number):
        self.value = number

n = Integer(20)
print(n.value) # 初始化输出20

def increase_n():
    n.value += 1

increase_n()
print(n.value) # 调用函数后输出21

要注意一个边界情况：如果你在函数里写n = Integer(100)，这时候n出现在赋值号左侧，会被判定为局部名字，操作的是函数内部新建的局部实例，和全局的n没有关系，这种情况要修改全局绑定才需要加global。

这种设计的优劣 #

优势 #

• 规则高度自洽：作用域规则只管控名字的查找与绑定，不管对象内部的修改逻辑。不管是全局对象、闭包外层对象还是作为参数传入的对象，只要拿到对象引用，修改属性、调用可变对象的方法（比如给列表追加元素、给字典添加键值对）都不需要额外声明，使用非常灵活。
• 降低意外篡改全局绑定的风险：如果不要求global声明，函数里随便写个和全局同名的赋值语句就会悄咪咪改掉全局绑定，排查bug的成本会极高。强制要求显式写global，相当于给所有修改全局名字的操作加了显式标记，代码可读性更高。

劣势 #

• 新手门槛高：刚接触Python的开发者很容易混淆“重绑定名字”和“修改对象内部状态”的区别，会产生规则不一致的困惑。
• 可变对象的隐式修改缺少标记：和重绑定名字有显式global标记不同，修改全局可变对象的属性、调用可变方法是完全隐式的，当项目代码量大的时候，很难快速定位是哪段代码改动了对象的内部状态，一定程度上提升了调试成本。

内容的提问来源于stack exchange，提问作者T. Kent