Python类中嵌套函数的作用域与命名空间问题

作为一名从C转Python的开发者，我最近对Python类嵌套函数的作用域与命名空间规则感到困惑。

示例代码：

class CLASS_A:
    def FUNCTION_A(self, argument_a, ..., argument_n):
        max = 0
        visit = set()

        def FUNCTION_B(argument_a, ..., argument_n):
            visit.add(...)
            frequency = ....
            nonlocal max
            max = ... if ... frequency ... max ... else ...
            return
        
        FUNCTION_B(...)
        return max

我发现一个现象：外层函数FUNCTION_A定义的整数变量max，嵌套函数FUNCTION_B修改它时必须用nonlocal声明，但修改集合visit却可以直接操作。进一步观察后发现，列表、集合、字典这类类型不需要额外处理作用域，只有整数、字符串这类变量需要nonlocal或global声明才能修改，想知道这种差异的底层原因。

核心原因：可变类型与不可变类型的本质差异 #

Python变量的作用域规则，核心在于你是修改变量的引用，还是修改引用指向的对象内容：

• 不可变类型（int、str、tuple等）：这类对象一旦创建就无法修改内容，变量存储的是对象的直接值（或对象的固定引用）。当你对这类变量执行赋值操作（比如max = ...）时，本质是创建了一个新对象，并让变量指向这个新对象——这相当于在嵌套函数内重新定义了一个局部变量，和外层的max不再是同一个。此时必须用nonlocal（或global，针对全局作用域）声明，告诉Python解释器：这个变量不是当前函数的局部变量，而是来自外层嵌套作用域。

• 可变类型（list、set、dict等）：这类对象的内容可以动态修改，变量存储的是对象的引用（类似C语言的指针）。当你调用visit.add(...)这类方法时，并没有改变visit变量的引用——它依然指向原来的集合对象，只是修改了这个对象内部的元素。Python解释器会自动在外层作用域找到visit变量，不需要额外声明，因为你没有重新赋值变量本身。

结合示例代码的具体解释 #

• 对于max = 0（整数，不可变）：FUNCTION_B里的max = ...是赋值操作，会创建新的整数对象，如果没有nonlocal，Python会认为这是FUNCTION_B的局部变量，和外层的max无关，导致外层变量不会被修改。
• 对于visit = set()（集合，可变）：visit.add(...)只是修改了集合对象的内容，visit变量本身的引用始终指向最初的集合，因此不需要声明就能操作外层作用域的变量。

关联C语言的类比理解 #

如果你熟悉C语言，可以这样类比：

• Python的不可变类型变量类似C的值类型变量（比如int a = 0），重新赋值相当于直接改变变量的存储值，此时如果在嵌套函数里操作，必须明确作用域。
• Python的可变类型变量类似C的指针变量（比如int *p = malloc(...)），你修改的是指针指向的内存内容，而不是指针本身，因此不需要额外声明就能操作外层的指针指向的对象。

内容的提问来源于stack exchange，提问作者L.A.C. Hastings