Python def 函数中的作用域规则：局部变量与 global 关键字

在 Python 中，通过 def 关键字定义的函数会生成一个独立的局部作用域（Local Scope）。在函数体内访问变量时，解释器遵循自内向外的查找顺序；但只要函数体内出现了对某个变量的赋值语句，该变量就会在编译阶段被直接绑定为当前函数的局部变量。如果在这个赋值语句之前读取该变量，程序将抛出 UnboundLocalError 异常，而绝不会静默回退去读取全局变量。若确实需要在函数内部对全局变量重新赋值，必须使用 global 关键字完成显式声明。

一、变量查找机制：LEGB 规则与局部作用域

作用域（Scope）本质上是 Python 管理命名空间（Namespace）可见性的访问范围。在执行 def 函数时，解释器查找一个变量名会严格遵循 LEGB 原则，按层级由内向外依次寻址：

• L (Local) 本地作用域：函数内部定义的形参以及在函数体内通过赋值创建的变量。
• E (Enclosing) 嵌套外层作用域：存在函数嵌套时，外层非全局函数的命名空间。
• G (Global) 模块全局作用域：当前 .py 脚本或模块顶层定义的变量与函数。
• B (Built-in) 内置作用域：Python 运行时预先加载的基础函数与异常类型，如 print()、len()、range 等。

当函数仅需要只读访问外部全局变量时，无需添加任何额外关键字，LEGB 查找机制会自动沿层级向外找到该变量。

# 示例运行环境：Python 3.8+
# 文件位置：scope_read.py

app_name = "AuthService"

def show_info():
    # 仅读取全局变量 app_name，遵循 LEGB 规则向上查找
    print("当前服务名称:", app_name)

show_info()

二、编译期绑定机制与 UnboundLocalError 陷阱

初学者常常遇到一个典型报错：在函数内先打印一个外部变量，随后对其赋值，却抛出异常。很多人误以为 Python 会在运行到 print 时先读取全局变量，运行到赋值时再转为局部变量。实际情况并非如此。

# 示例代码：引发经典 UnboundLocalError
threshold = 50

def check_limit():
    print("当前阈值:", threshold)
    threshold = 100

check_limit()

产生这一错误的核心原因在于：Python 的变量作用域是在语法分析编译字节码阶段确定的，而不是在运行时动态判定的。

当 Python 编译器解析 check_limit 函数体时，一旦检测到 threshold = 100 这一赋值语句，就会在内部符号表中把 threshold 完整登记为该函数的局部变量。这意味着，在整个函数执行期间，所有对 threshold 的访问都只能去局部作用域寻址。当程序执行到 print(threshold) 时，局部变量尚未绑定具体对象，Python 立即抛出 UnboundLocalError，而绝不会降级或回退去查找同名的全局变量。

三、global 关键字的作用与具体语法

如果业务逻辑确实需要在函数内部修改模块级别的全局变量，必须通过 global 关键字向解释器显式声明：该变量名直接绑定到模块全局命名空间，不要在局部作用域创建新变量。

1. global 的基础语法

# 正确使用 global 修改全局变量
total_counter = 0

def increment():
    global total_counter  # 声明 total_counter 为全局变量
    total_counter += 1    # 等价于 total_counter = total_counter + 1

increment()
increment()
print("当前全局计数器:", total_counter)

四、关键辨析：重新赋值与可变对象就地修改

很多开发者经常产生一个疑惑：为什么操作全局列表或字典时，有时不需要 global 也能成功修改内容？

这里必须明确区分两个本质不同的操作概念：

1. 重新赋值（Rebinding）：使用等号操作符让变量名指向一个全新的内存对象（例如 x = [1, 2] 或 x += 1）。这属于命名空间绑定的变更，必须使用 global。
2. 就地修改（In-place Mutation）：调用可变对象内部的方法改变对象内容，但变量名所引用的内存地址从未改变（例如 my_list.append(item) 或 my_dict['key'] = value）。这只是读取了变量引用的对象并在其上执行操作，完全不需要使用 global。

# 演示：可变对象的就地修改 vs 重新赋值
log_list = []
app_config = {"debug": False}

def record_log(message):
    # 就地修改：append 方法不改变 log_list 指向的内存地址，无需 global
    log_list.append(message)

def set_debug_mode(enabled):
    # 就地修改：字典键赋值不改变 app_config 变量名指向的字典对象，无需 global
    app_config["debug"] = enabled

def reset_all():
    # 错误示范：重新赋值若不声明 global，只会创建局部变量
    # log_list = []  <-- 这不会清空全局列表，而是新建局部变量！
    global log_list
    log_list = []  # 显式重绑定全局列表

record_log("Task A started")
set_debug_mode(True)
print("当前日志列表:", log_list)
print("当前配置:", app_config)

五、嵌套函数中的作用域：global 与 nonlocal 的区别

当在函数内部再定义函数（嵌套函数/闭包）时，作用域层级中会引入 Enclosing 层。此时需要区分变量修改的目标位置：

# 示例：嵌套函数中的 nonlocal 机制
def create_accumulator():
    accumulated_sum = 0  # Enclosing 作用域变量

    def add(value):
        nonlocal accumulated_sum  # 声明绑定外层闭包作用域，而非全局
        accumulated_sum += value
        return accumulated_sum

    return add

acc = create_accumulator()
print("累计结果:", acc(10))
print("累计结果:", acc(25))

六、工程实践规范与决策指南

虽然 global 关键字提供了直接修改全局状态的途径，但在实际工程开发中，应严格限制其使用频率。滥用全局变量会导致以下显著问题：

• 难以追踪调试：任何函数都可能修改该变量，导致Bug发生时难以定位根源。
• 并发安全隐患：多线程环境下对全局变量读写容易引发竞态条件（Race Condition）。
• 破坏函数纯度与测试性：函数强依赖外部环境状态，无法独立进行单元测试。

工程推荐替代方案：优先通过形参显式传入数据，通过 return 返回处理结果；若需持久化状态，优先封装为类（Class）属性或数据上下文对象。

七、常见问题解答

1. 函数内部可以使用与全局变量同名的变量吗？

完全可以。在函数内部对一个变量直接赋值而不使用 global 声明时，Python 会创建一个只属于该函数命名空间的局部变量。它在函数执行期间暂时遮蔽（Shadow）外部同名变量，函数执行完成后该局部变量销毁，外部全局变量的值不受任何影响。

2. 为什么在列表推导式中不需要 global？

在 Python 3 中，列表推导式、字典推导式和集合推导式拥有自己独立的局部作用域（相当于隐式函数），推导式内部定义的循环变量不会污染外部变量；而推导式内部读取外部变量同样遵循 LEGB 规则。

3. 在代码中什么时候必须使用 global？

当且仅当满足两个条件时必须使用 global：第一，被修改的变量位于模块全局作用域；第二，在函数内部需要使用等号 = 或增量赋值 +=、-= 等操作重新绑定该变量名所指向的对象。