递归中全局变量的工作机制及相关Python代码问题咨询

先来看两段代码的实际表现：

第一段（无法运行的代码） #

count=0
global count
def fact(n):
    count+=1
    if n==1:return 1
    else:return(n*fact(n-1))
print(fact(5))

这段代码首先会触发语法错误（global关键字不能写在全局作用域），就算跳过这个问题，运行时也会抛出UnboundLocalError，提示局部变量count未定义就被引用。

第二段（正常运行的代码） #

count=0
def fact(n):
    global count
    count+=1
    if n==1:return 1
    else:return(n*fact(n-1))
print(fact(5))

这段代码能正常输出120（5的阶乘），同时全局变量count会被更新为5（因为fact函数被递归调用了5次）。

核心原因：Python的作用域规则与global的正确用法 #

1. 第一段代码的问题出在哪？ #

首先，global关键字只能在函数内部使用，你在全局作用域里写global count本身就是违反Python语法的。

其次，就算忽略这个语法错误，当你在fact函数里执行count += 1时，Python的默认逻辑是：只要对变量做赋值操作，就会把它当作局部变量。此时函数内部既没有定义count，也没有告诉Python这是全局变量，所以Python会认为你要使用一个还没初始化的局部变量，直接抛出UnboundLocalError。

2. 第二段代码为什么能正常工作？ #

在第二段代码里，你在函数开头用global count明确给Python递了个“指令”：“这个count不是我要新建的局部变量，是全局作用域里已经存在的那个count”。这样当执行count += 1时，Python就会直接去全局作用域找到count并修改它的值，自然不会报错。

解答你的两个疑问 #

疑问1：当count被声明为全局变量时，它是否可在所有递归帧中访问？ #

完全可以！全局变量的作用域覆盖整个程序的所有执行上下文，包括每一次递归调用产生的函数帧。只要你在函数里用global count声明了，每一次递归调用fact时，都会共享同一个全局的count变量——这也是为什么最终count会变成5，因为5次递归调用都在修改同一个全局变量。

疑问2：既然全局变量是供函数内部使用的，为什么必须在函数内指定global？ #

这是Python的作用域解析规则决定的，简单来说分两种情况：

• 如果只是读取全局变量的值，不需要global声明，Python会自动去全局作用域找它。比如：

  count = 0
  def print_count():
      print(count)  # 直接读取全局变量，没问题
  print_count()  # 输出0
  

• 但如果要修改全局变量的值（比如count += 1这种赋值操作），就必须用global声明。因为Python默认会把赋值操作的变量当作局部变量，如果你不声明，Python会以为你要创建一个新的局部count，要么导致局部变量未初始化报错，要么根本没修改到全局变量（相当于你在函数里新建了一个和全局变量同名的局部变量，两者毫无关系）。

说白了，global就是告诉Python：“我要改的是外面那个全局变量，不是本地的新变量”。

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