为何在if-else分支拆分global声明会引发Python语法错误？

要理解你遇到的问题，核心是记住Python的作用域分析是静态的——它在解析函数代码时就确定变量的作用域，不会等到运行时根据控制流判断。

1. 为什么第一个代码能正常运行 #

函数开头的global global_variable声明直接告诉解释器：整个函数内的global_variable都是引用全局变量，不管后续的分支逻辑。所以不管走if还是else分支，赋值操作都会直接修改全局变量，没有冲突。

代码回顾：

global_variable = 0

def change_global(condition):
    global global_variable  # 函数顶层声明，覆盖整个函数的作用域
    if condition:
        global_variable = 1
    else:
        global_variable = 2

2. 为什么第二个代码触发语法错误 #

错误的根源是Python的静态解析规则：如果函数内存在对变量的赋值操作，解释器默认将其视为局部变量，除非global声明出现在所有赋值操作的文本顺序之前。

在你的第二个代码中，函数体的文本顺序里，if分支的global_variable = 1出现在else分支的global global_variable声明之前。虽然运行时只会走一个分支，但静态解析不考虑控制流，它只看代码的先后顺序——解释器认为你在声明global之前已经对变量做了赋值，因此抛出SyntaxError。

错误代码：

global_variable = 0

def change_global(condition):
    if condition:
        global global_variable
        global_variable = 1  # 文本顺序上，这个赋值在else分支的global声明之前
    else:
        global global_variable  # 解析器认为此处的global声明晚于前面的赋值
        global_variable = 2

3. 为什么第三个代码能正常运行 #

当函数内只有一个分支包含global声明时，静态解析会将该变量标记为全局变量——因为global声明在文本顺序上早于所有对该变量的赋值（包括else分支的赋值）。

即使调用时走else分支，解释器已经知道global_variable是全局变量，所以global_variable = 2会直接修改全局变量，不会被当作局部变量处理。

代码回顾：

global_variable = 0

def change_global(condition):
    if condition:
        global global_variable  # 文本顺序上，这个声明早于所有赋值
        global_variable = 1
    else:
        global_variable = 2  # 解释器已将该变量标记为全局，直接修改全局值

总结要点 #

• global声明的作用范围是整个函数，不是所在的分支。
• Python解析函数时不考虑控制流，只按文本顺序判断global声明和赋值的先后关系。
• 若函数内需要修改全局变量，最好在函数的最顶层统一声明global，避免分支内的声明导致解析冲突。

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