exec() 在函数内部执行含类型注解（如 Optional）的类定义会因局部作用域缺失导入而报 NameError，需显式传入 globals() 和 locals() 才能正确解析所有符号。
`exec()` 在函数内部执行含类型注解（如 `optional`）的类定义会因局部作用域缺失导入而报 `nameerror`，需显式传入 `globals()` 和 `locals()` 才能正确解析所有符号。
在 Python 中，exec() 的行为高度依赖其执行上下文的作用域规则。关键在于：exec(code) 默认仅使用调用点的局部命名空间（local namespace），而不会自动继承全局导入或外部作用域中的名称——即使这些导入发生在同一模块顶层。
以如下代码为例：
from pydantic import BaseModel
from typing import Optional, List
code = """
L = List[str] # ✅ 成功：List 在 exec 全局作用域中已存在
class User(BaseModel): # ✅ 成功：BaseModel 已导入到全局
x: Optional[str] # ❌ NameError：Optional 在类体中被求值时，未进入局部作用域
"""
def dummy():
exec(code) # ⚠️ 错误：仅使用空 local dict，无法访问 globals 中的 Optional
表面看 BaseModel 和 Optional 都在顶层 import，但问题根源在于 类体（class body）的执行时机与作用域隔离机制：
- 类定义语句（
class User(...):）本身在exec中被解析并执行，其主体（即缩进内的语句和注解）会在一个独立的、临时的命名空间中求值； - 此临时命名空间默认仅继承
exec调用时传入的globals和locals—— 若未显式传入，locals()在函数内为空字典（{}），globals()虽可用，但 Python 3.11+ 对类体内注解的解析优先查找局部作用域（PEP 563 + 后续增强），导致Optional查找失败。
✅ 正确做法：始终为
exec()显式提供作用域参数：
def dummy():
exec(code, globals(), locals()) # ✅ 显式注入全局+当前局部命名空间
⚠️ 注意：locals() 在函数内调用时返回的是调用时刻的局部变量快照，但由于 dummy() 本身无局部变量，此 locals() 实际为空；真正起作用的是 globals() 提供了 Optional、BaseModel、List 等所有顶层导入。因此更稳妥写法是：
def dummy():
# 推荐：明确传递 globals()，local 可复用 globals() 或新建 dict
namespace = globals().copy() # 避免污染全局
exec(code, namespace)
? 进阶提示：若需在 exec 后访问动态创建的类（如 User），应从 namespace 中提取：
def dummy():
namespace = {}
exec(code, globals(), namespace)
User = namespace["User"] # ✅ 安全获取动态类
return User
总结：exec() 不是“插入式执行”，而是严格受控于命名空间边界。在函数中使用时，务必显式管理 globals 和 locals，尤其当代码含类型注解、嵌套作用域引用或动态类定义时——忽略此细节将导致难以调试的 NameError，且错误位置（类体内）极易误导排查方向。
Python免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 Python 的核心概念和高级技巧！
