Python global/nonlocal底层原理与变量定位规则解析

核心实现逻辑 #

Python的作用域是静态词法作用域，所有变量的作用域归属在源码编译为字节码的阶段就已经确定，不需要等到运行时再判断：

• 每个代码块（模块、函数、类）编译生成PyCodeObject时，会扫描块内所有符号，按规则分类标记：
  • 遇到global 变量名声明时，直接将该变量标记为模块级全局符号，归属到当前模块的全局符号表（即模块对象的__dict__字典），不会纳入当前函数的局部变量集合。
  • 遇到nonlocal 变量名声明时，编译器会沿着静态嵌套作用域链（也就是源码层面的函数嵌套关系，和运行时调用栈完全无关），从紧邻的外层函数开始查找，找到第一个绑定了该变量名的外层函数作用域，为这个变量创建闭包单元格（cell对象）——所有层级引用这个nonlocal变量的代码，持有的都是同一个cell对象的引用，cell内部存的是指向实际值对象的指针。
  • 没有上述两个声明的情况下，只要代码块内存在对某个变量名的赋值操作，编译器就会把它标记为当前块的局部变量，为它分配局部变量数组的固定下标，运行时直接通过下标访问。
• 对应的字节码指令会直接硬编码变量的访问位置：比如局部变量用LOAD_FAST/STORE_FAST走数组下标访问，nonlocal变量用LOAD_DEREF/STORE_DEREF走cell数组下标访问，全局变量用LOAD_GLOBAL/STORE_GLOBAL直接查模块全局字典。

为什么深层递归下仍能快速定位变量 #

递归深度是运行时调用栈的层级数，但global/nonlocal的变量定位完全不需要遍历运行时栈，所以性能和递归深度没有任何关系：

• 全局变量的访问目标在编译期就固定为当前模块的全局字典，字节码执行时直接拿当前栈帧保存的模块全局字典指针做哈希查找，平均时间复杂度O(1)，不需要回溯调用栈。
• nonlocal变量的访问目标更直接：编译期就确定了它在当前函数闭包cell数组里的固定下标，运行时直接从当前栈帧拿到cell数组指针，按下标取到对应cell对象再解引用就能拿到值，全程是和局部变量一样快的数组下标访问，时间复杂度O(1)，哪怕递归嵌套几十万层，定位速度也和第一层调用完全一致。

"基本类型需要声明、指针类型不需要"是典型认知误区 #

首先要明确：Python中不存在C/C++风格的"基本类型/指针类型"区分，所有变量都是指向对象的引用，要不要加global/nonlocal声明，和变量指向的对象类型没有任何关系，唯一判断标准是你是否要在当前作用域内重新绑定变量名：

• 如果你在函数内要给外层作用域的变量名赋值（也就是让这个变量名指向一个新的对象），不管这个变量指向的是整数、字符串、列表还是自定义类实例，都必须加global/nonlocal声明，否则编译器会把它当成局部变量，触发UnboundLocalError。
• 如果你只是读取变量指向的对象，或者修改对象的内部状态（比如给列表追加元素、给字典加键值对、修改对象属性），本质上没有改变变量名本身的绑定关系，就不需要加声明。

举个最直观的例子：

# 全局变量，一个列表（常被误以为是"指针类型"）
lst = [1,2]
num = 100

def test():
    # 只是修改lst指向的列表的内部状态，没有重新绑定lst变量名，不需要global
    lst.append(3)
    # 只是读取num的值，没有赋值，不需要global
    print(num)

test() # 正常运行，lst变成[1,2,3]，打印100

def test2():
    # 这里是把lst重新绑定到新的列表对象，必须加global，否则会被判定为局部变量
    global lst
    lst = [4,5,6]
    # 给num重新赋值，同样需要global
    global num
    num = 200

test2() # 正常运行，全局的lst和num都被修改

很多人产生"只有基本类型需要声明"的错觉，本质是把"修改可变对象的内部状态"和"重新绑定变量名"两个操作搞混了——整数、字符串、元组属于不可变类型，所有对这类对象的"修改"本质都是创建新对象后重新绑定变量名，所以看起来每次改都要加声明；而列表、字典这类可变对象支持原地修改，不需要重新绑定变量名，所以看起来不需要声明，本质上规则是完全统一的。

内容的提问来源于stack exchange，提问作者19e9030393