Python嵌套内部函数的参数传递方法及机制疑问

嘿，这个问题其实涉及Python闭包的作用域规则，是Python原生的设计，完全不是什么临时解决方案，我来给你掰扯清楚！

首先看你的代码运行情况：内部函数inner_function能正常读取列表a和b的元素，但尝试给整数c、d赋值时会抛出UnboundLocalError（你输出里的省略号应该就是这个错误），这背后是Python对可变/不可变对象和作用域的处理逻辑：

为什么列表能被内部函数访问？ #

Python的内部函数（闭包）默认可以读取外部函数作用域中的变量，这是LEGB作用域规则（Local→Enclosing→Global→Built-in）的一部分——内部函数会先找局部变量，找不到就去外部嵌套作用域（Enclosing）找。

而对于列表这种可变对象，你在内部函数里操作的是对象本身的内容（比如读取a[0]），并没有重新给变量a赋值，所以Python会直接从外部作用域获取这个列表对象，这完全是Python的原生设计，是闭包的正常行为。

为什么普通变量赋值会报错？ #

对于整数c、d这种不可变对象，当你在内部函数里写c = d时，Python会默认把c当成内部函数的局部变量。但你在赋值前先写了tmp = c，这时候局部作用域里还没定义c，就会抛出UnboundLocalError——Python以为你要使用局部变量c，但它还没被赋值。

规范的变量传递/修改方式 #

根据你的需求，有几种常用的规范方式：

1. 使用nonlocal关键字（Python 3+推荐） #

如果你需要修改外部函数的不可变变量，可以在内部函数开头用nonlocal声明变量，告诉Python这个变量来自外部嵌套作用域，不是局部变量：

def function():
    def inner_function():
        # 声明c、d来自外部作用域
        nonlocal c, d
        if a[0] > b[0]:
            print("a[0] = {0}, b[0] = {1}".format(a[0], b[0]))
        tmp = c
        c = d
        d = tmp
    a = [4, 3]
    b = [2, 1]
    c = 1
    d = 2
    inner_function()
    print(c, d)  # 输出：2 1
function()

2. 将变量包装在可变对象中（兼容旧版本Python） #

如果你需要兼容Python 2（现在已经不推荐），可以把不可变变量放到列表、字典这类可变对象里，这样内部函数可以修改对象的内容，不需要额外声明：

def function():
    def inner_function():
        if a[0] > b[0]:
            print("a[0] = {0}, b[0] = {1}".format(a[0], b[0]))
        tmp = c[0]
        c[0] = d[0]
        d[0] = tmp
    a = [4, 3]
    b = [2, 1]
    c = [1]  # 包装成列表
    d = [2]  # 包装成列表
    inner_function()
    print(c[0], d[0])  # 输出：2 1
function()

3. 显式作为参数传递 #

如果不想依赖闭包的作用域，可以把需要的变量作为参数传给内部函数，这种方式更显式，代码可读性更高：

def function():
    def inner_function(a, b, c, d):
        if a[0] > b[0]:
            print("a[0] = {0}, b[0] = {1}".format(a[0], b[0]))
        tmp = c
        c = d
        d = tmp
        return c, d  # 返回修改后的值
    a = [4, 3]
    b = [2, 1]
    c = 1
    d = 2
    c, d = inner_function(a, b, c, d)
    print(c, d)  # 输出：2 1
function()

总结 #

你观察到的列表能被内部函数访问的现象，是Python闭包作用域的原生设计，完全是规范的行为。选择哪种方式修改外部变量，取决于你的Python版本和代码风格：优先用nonlocal（Python 3+）或者显式传参，代码更清晰易懂。

内容的提问来源于stack exchange，提问作者John Tera