如何在Python的exec()中让字典b作为nonlocal变量生效？

首先得明确一个关键点：Python的nonlocal关键字是专门用来引用嵌套函数外层作用域的变量的，而exec()本身并没有提供直接传入"nonlocal字典"的参数接口——它只接受globals和locals两个字典参数。所以要让b中的变量作为nonlocal对exec的代码片段可见，我们需要模拟出一个嵌套作用域，把b的变量放到这个外层作用域里。

具体实现思路 #

核心思路是用一个嵌套函数来构建外层作用域：

1. 先把字典b的所有键值对注入到外层函数的局部作用域中；
2. 在嵌套的内层函数里执行exec()，此时exec的代码片段就能访问外层函数的变量（也就是b里的变量，相当于nonlocal作用域）；
3. 执行完exec后，把外层作用域中被修改的变量同步回字典b，保证b的状态更新。

代码示例 #

假设我们有以下初始字典和要执行的代码片段：

a = {"global_var": 100}  # globals字典
b = {"nonlocal_var": 20} # nonlocals字典
c = {"local_var": 30}    # locals字典

# 要执行的代码片段：使用全局变量、修改nonlocal变量和局部变量
code = """
global global_var
print("全局变量:", global_var)
print("Nonlocal变量:", nonlocal_var)
print("局部变量:", local_var)

# 修改各个变量
global_var += 50
nonlocal_var += 10
local_var += 5
"""

按照思路实现的代码如下：

def setup_nonlocal_scope():
    # 把b的变量注入到当前函数的局部作用域（作为外层嵌套作用域）
    for key, val in b.items():
        locals()[key] = val
    
    def inner_exec():
        # 在这里执行exec，此时代码可以访问外层的nonlocal_var
        exec(code, a, c)
        
        # 把外层作用域中被修改的变量同步回b字典
        for key in b:
            b[key] = locals()[key]
    
    inner_exec()

# 执行测试
setup_nonlocal_scope()

# 查看结果
print("更新后的a:", a)       # 输出: 更新后的a: {'global_var': 150}
print("更新后的b:", b)       # 输出: 更新后的b: {'nonlocal_var': 30}
print("更新后的c:", c)       # 输出: 更新后的c: {'local_var': 35}

关键细节说明 #

• 作用域模拟：setup_nonlocal_scope的局部作用域被当作了inner_exec的外层嵌套作用域，所以exec中的代码可以直接访问nonlocal_var，就像在普通嵌套函数中使用nonlocal一样。
• 同步回b：因为exec修改的是setup_nonlocal_scope局部作用域里的变量，所以必须手动把这些变量的值同步回字典b，否则b不会自动更新。
• 动态变量的处理：如果不确定b里的变量名，也不需要在代码片段里显式写nonlocal关键字——Python会自动按照"局部→嵌套→全局"的顺序查找变量，只要外层作用域存在该变量，就会被正确引用和修改。

注意事项 #

• 如果你的代码片段里显式使用了nonlocal关键字，需要确保对应的变量名已经存在于setup_nonlocal_scope的局部作用域中（也就是b里有这个键），否则会抛出SyntaxError。
• 这种方式是模拟nonlocal的行为，和Python原生的nonlocal作用域在细节上可能有差异，但对于大多数场景来说已经足够满足需求。

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