Required[T]表示键必须存在且值为T类型，NotRequired[T]表示键可选但若存在则值必须为T；二者仅在total=False的TypedDict中生效，且仅用于静态类型检查，不提供运行时约束。
Required 和 NotRequired 在 TypedDict 中的语义差异
Python 3.11 引入了 Required 和 NotRequired，它们不是类型注解“修饰符”，而是键级别的**存在性约束标记**。关键点是：它们只在 TypedDict 定义中起作用，且必须和 total=False 配合使用才能生效；若没设 total=False，所有键默认就是 Required，Required 标记本身会被忽略。
常见错误是写成这样：
class Config(TypedDict):
host: str
port: Required[int] # ❌ 无效！total 默认为 True，Required 不起作用
正确写法必须显式声明 total=False：
class Config(TypedDict, total=False):
host: Required[str] # ✅ 运行时必须提供
port: NotRequired[int] # ✅ 可选，不传也不报错
timeout: int # ❌ 错误：未标注的键在 total=False 下自动变成 NotRequired，但类型检查器（如 mypy）会警告“incompatible with total=False”
-
Required[T]表示该键**必须存在**，且值类型为T -
NotRequired[T]表示该键**可有可无**，但如果存在，值必须是T - 未加任何标记的键，在
total=False下会被视为NotRequired，但 mypy 会报TypedDict key must be Literal[str]类似警告，应避免
运行时行为 vs 类型检查行为不一致
Python 解释器本身**不校验** Required —— 它只是个类型提示工具。你完全可以构造一个缺少 Required 键的字典，运行不会报错，只有类型检查器（如 mypy、pyright）会在静态分析阶段报错。
立即学习“Python免费学习笔记（深入）”；
例如：
cfg: Config = {"port": 8080} # mypy 报错：Missing key "host" for TypedDict "Config"
但这段代码能正常执行，cfg 就是个普通 dict。这意味着：
- 不能靠
Required做运行时参数校验，仍需手动if "host" not in cfg:或用dataclasses/pydantic - IDE（如 VS Code + Pylance）能据此提供更准的补全和悬停提示
- 如果用
typing.cast(Config, {...})绕过检查，就彻底失去约束力
嵌套 TypedDict 中 Required 的传递性
Required 不会穿透嵌套结构自动“提升”约束。比如外层字典某个键是 Required[InnerConfig]，只表示这个键必须存在，且其值要符合 InnerConfig 类型；但 InnerConfig 内部是否含 Required 字段，是独立判断的。
示例：
class DBConfig(TypedDict, total=False):
url: Required[str]
pool_size: NotRequired[int]
<p>class AppConfig(TypedDict, total=False):
db: Required[DBConfig] # ✅ db 键必须存在，且值是 DBConfig 类型
debug: NotRequired[bool]
此时 {"db": {}} 能通过类型检查（因为 DBConfig 允许空），但 {"db": {"pool_size": 10}} 也合法 —— 即使 url 缺失，因为 DBConfig 是 total=False，而 url 是它内部的 Required，这个约束只在 DBConfig 实例层面生效。
- 想强制嵌套必填，得确保每一层都定义为
total=False并显式标Required - 不要指望父级
Required自动让子字段变必填 - mypy 对嵌套
Required的检查是逐层递进的，不会跳过中间层
与 dict 构造、update、unpack 的兼容性陷阱
用字面量构造时，类型检查器能准确识别缺失 Required 键；但一旦涉及动态操作，约束很容易失效。
这些写法会让 mypy 放行，但实际破坏了 Required 约束：
cfg = {}; cfg["port"] = 8080 # mypy 不报错，但 cfg 缺少 Required["host"]base = {"host": "localhost"}; cfg = {**base, "port": 8080} # ✅ 安全cfg.update({"port": 8080}) # ❌ mypy 可能无法追踪 update 后状态，建议避免- 从 JSON 加载：
json.loads('{"port": 8080}') → Dict[str, Any]，再 cast 成Config会绕过所有Required检查
真正安全的初始化方式只有两种：
- 字面量直接写全所有
Required键 - 用
typing.assert_never或自定义工厂函数做运行时兜底（Required本身不提供）
最易被忽略的是：类型系统只管“声明即契约”，不管“运行即现实”。哪怕你把每个键都标成 Required，只要没配运行时校验，生产环境照样可能收到缺字段的 API 请求。
