函数内部exec含类体的Python代码时出现Optional未定义的NameError，外部执行正常的原因

嗨，这个问题其实和Python的作用域规则以及exec的命名空间行为密切相关，我来给你拆解清楚：

核心差异：全局exec vs 函数内exec的命名空间 #

当你在全局作用域直接跑exec(code)时，exec默认会把模块全局命名空间同时作为自己的globals和locals参数。你在code里导入的Optional、List、BaseModel都会被直接放到全局命名空间里，类体里的类型注解查找Optional时，自然能在全局找到，所以完全没问题。

但在函数dummy()内部调用exec(code)时，情况就复杂了：

1. Python函数的局部命名空间是编译器静态确定的——函数定义时，Python就已经把所有要用到的局部变量列好了。当你用exec动态导入Optional这些名字时，它们并不会被加入到函数的"官方"局部变量列表里。
2. 更关键的是，类定义的代码块有特殊的名字查找逻辑：在类体内部求值类型注解时，Python会优先在类自身的临时命名空间和模块全局命名空间里找名字，根本不会去函数的局部命名空间里搜（哪怕exec把Optional存在了那里）。

为什么BaseModel和类外的List能正常工作？ #

你提到的两个例外其实很好解释：

• class User(BaseModel):里的BaseModel是类的基类，它是在exec的代码执行流程中直接查找当前的locals（也就是函数的局部命名空间），这时候exec还在运行，能拿到动态导入的BaseModel，所以没问题。
• 类外的L = List[str]是在exec的代码流里直接执行的，此时名字查找会用exec指定的locals（函数局部），自然能找到刚导入的List。

解决方法 #

这里给你几个可行的方案：

• 方案一：强制exec使用全局命名空间
  给exec指定globals参数，让它把导入的名字直接放到模块全局里：

  def dummy():
      exec(code, globals())
  

  这样类体里的类型注解就能在全局找到Optional了。

• 方案二：使用字符串类型注解（延迟求值）
  修改code里的类定义，把类型注解写成字符串形式：

  class User(BaseModel):
      x: 'Optional[str]'
  

  这种方式下，类型注解会以字符串形式存储，直到需要解析类型时才会查找名字，这时候就能找到正确命名空间里的Optional了。

• 方案三：手动把导入的名字同步到全局（不推荐）
  在code的末尾加一行globals().update(locals())，把exec里的局部名字同步到全局，但这种方式容易污染全局命名空间，一般不建议用。

备注：内容来源于stack exchange，提问作者Gilbert Fine