Python闭包参数可见性异常：为何修改闭包变量会触发UnboundLocalError？

这个问题的核心在于Python的变量作用域规则，尤其是闭包场景下的变量处理逻辑。

当你在bar()函数里加入karg = None这行赋值语句时，Python会在编译阶段就把karg标记为bar()的局部变量——只要函数内部有对变量的赋值操作，Python就默认这个变量属于当前函数的局部作用域，不会再去外层的foo()作用域寻找它。

所以当bar()执行到print(karg)时，Python会尝试访问这个局部变量，但此时它还没有被赋值（哪怕if分支逻辑上永远不会执行，作用域检查是在编译时完成的，和运行时逻辑无关），于是就抛出了UnboundLocalError。

而当你删掉if分支后，bar()里没有对karg的赋值操作，Python就会按照LEGB查找规则（局部作用域→闭包作用域→全局作用域→内置作用域），去外层的foo()作用域找到karg参数的值，自然就能正常运行了。

如果想要在闭包中保留对外层变量的引用（或者需要修改它），有两种常用的解决办法：

• 使用nonlocal关键字（Python 3+支持）：明确告诉Python这个变量来自外层闭包作用域，而非当前函数的局部变量

  def foo(karg=None):
      def bar():
          nonlocal karg
          print(karg)
          if karg is None:
              karg = None
      return bar
  foo()()
  

• 将变量包装成可变对象（比如列表）：因为不需要赋值变量本身，只是修改可变对象的元素，Python不会将其标记为局部变量

  def foo(karg=None):
      karg_wrapper = [karg]
      def bar():
          print(karg_wrapper[0])
          if karg_wrapper[0] is None:
              karg_wrapper[0] = None
      return bar
  foo()()
  

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