SymPy函数中用字典键定义符号提示未定义，调试却显示符号已存在

问题原因 #

你用exec在函数内部动态创建SymPy符号时，Python的局部作用域优化机制会导致这些动态生成的变量无法被后续代码直接识别。即使调试时看似存在变量，它们也没有被正确注册到函数的局部命名空间，因此直接使用a+b会触发未定义错误。另外原代码中exec的字符串拼接也有问题：sm.Symbol(k)里的k是变量名，而非你想要的符号名称字符串，正确写法应该是sm.Symbol('{k}')，但这也解决不了作用域的核心问题。

解决方案 #

方案1：用字典管理符号（推荐）

避免动态变量名，用字典存储符号，通过键访问构建表达式，安全且易维护：

import sympy as sm

def try_sym(dic):
    # 批量创建符号并存入字典
    symbols = {key: sm.Symbol(key) for key in dic.keys()}
    # 通过字典键获取符号构建表达式
    f = symbols['a'] + symbols['b']
    return f

dic = {"a":1, "b":10}
f = try_sym(dic)
print(f)

方案2：批量创建符号（SymPy原生方法）

利用SymPy的symbols函数批量生成符号，语法更简洁：

import sympy as sm

def try_sym(dic):
    # 将字典键拼接成逗号分隔的字符串，批量创建符号
    a, b = sm.symbols(','.join(dic.keys()))
    f = a + b
    return f

dic = {"a":1, "b":10}
f = try_sym(dic)
print(f)

方案3：手动注入局部命名空间（不推荐）

如果一定要使用动态变量名，可以通过locals()字典手动添加变量，但这种方式可能受Python版本和局部优化影响，存在不确定性：

import sympy as sm

def try_sym(dic):
    local_ns = locals()
    for key in dic.keys():
        local_ns[key] = sm.Symbol(key)
    # 强制刷新局部命名空间（部分Python版本需要）
    exec("", local_ns)
    f = a + b
    return f

dic = {"a":1, "b":10}
f = try_sym(dic)
print(f)

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