本文介绍如何通过基类抽象与运行时注解检查，实现多个 TypedDict 类型的构造函数逻辑复用，解决 **kwargs 动态类型校验与安全过滤问题，支持任意数量的 TypedDict 子类扩展。
本文介绍如何通过基类抽象与运行时注解检查，实现多个 typeddict 类型的构造函数逻辑复用，解决 `**kwargs` 动态类型校验与安全过滤问题，支持任意数量的 typeddict 子类扩展。
在 Python 类型驱动开发中，TypedDict 是表达结构化字典契约的有力工具；但其类型信息仅存在于静态检查阶段（如 mypy），无法直接参与运行时逻辑。当多个类需基于不同 TypedDict 定义接收并过滤 **kwargs 时，若重复编写相似的初始化逻辑，将违背 DRY 原则。理想的方案是：一份核心构造逻辑 + 多个类型专属的字段白名单，并通过继承自然组合。
以下是一个可扩展、类型友好且运行时安全的实现：
from typing import TypedDict, Union, Unpack, Dict, Any, ClassVar
class TypeFilter1(TypedDict):
c: str
d: float
class TypeFilter2(TypedDict):
e: float
f: int
# 可选：支持 N 个 TypedDict 的通用基类
class BaseClass:
# 使用 ClassVar 显式声明，便于类型检查器识别为类变量
_allowed_keys: ClassVar[Dict[str, Any]] = {}
def __init__(self, **kwargs: Union[Unpack[TypeFilter1], Unpack[TypeFilter2]]) -> None:
filtered = self._filter_kwargs(kwargs)
self.filters = [f"{k}:{v}" for k, v in filtered.items()]
self.params = " ".join(self.filters)
def _filter_kwargs(self, kwargs: Dict[str, Any]) -> Dict[str, Any]:
"""根据当前类声明的 _allowed_keys 白名单，过滤传入的 kwargs"""
return {k: v for k, v in kwargs.items() if k in self._allowed_keys}
class MyClass1(BaseClass):
_allowed_keys = TypeFilter1.__annotations__
class MyClass2(BaseClass):
_allowed_keys = TypeFilter2.__annotations__✅ 使用示例：
a = MyClass1(c="hello", d=2.0) # params → "c:hello d:2.0" b = MyClass2(e=2.1, f=42, g=99) # params → "e:2.1 f:42"（g 被自动忽略）
? 关键设计说明：
立即学习“Python免费学习笔记（深入）”；
- **kwargs: Union[Unpack[TypeFilter1], Unpack[TypeFilter2]] 是一种类型联合提示，向类型检查器（如 mypy）表明：合法的关键字参数应属于任一 TypedDict 的键集。它不强制运行时校验，但极大提升 IDE 补全与静态分析能力。
- _allowed_keys 作为 ClassVar 类变量，在子类中被静态覆盖（如 TypeFilter1.__annotations__），避免实例属性污染，也利于类型推导。
- _filter_kwargs() 将类型契约（__annotations__）转化为运行时白名单，实现“声明即约束”，简洁且无反射开销。
- 若未来新增 TypeFilter3，只需定义新 TypedDict 并创建对应子类（如 MyClass3(BaseClass): _allowed_keys = TypeFilter3.__annotations__），无需修改基类。
⚠️ 注意事项：
- TypedDict.__annotations__ 返回的是 dict[str, type]，其键即为允许的字段名，不包含 total=False 下的可选键的运行时存在性判断——本方案默认按“白名单严格过滤”，符合多数配置类场景；如需支持部分可选字段的语义，建议额外引入 TypedDict 实例验证逻辑（例如用 typing.cast + isinstance 配合 dict 构造）。
- 当前 Union[Unpack[A], Unpack[B]] 在较新版本 Python（≥3.12）及 mypy（≥1.10）中支持良好；若使用旧版，可降级为 **kwargs: Any 并辅以 @overload 声明多个 __init__ 签名（牺牲简洁性换取兼容性）。
- 此模式不依赖 Generic 或 TypeVar 绑定构造器签名——因为 **kwargs 的类型参数化在 Python 中尚无法在继承链中动态绑定，而运行时白名单机制更稳定、更易调试。
总结而言，该方案以类型声明为源、运行时白名单为桥、继承为组织方式，兼顾了静态类型安全性、运行时健壮性与工程可维护性，是处理多 TypedDict 构造场景的推荐实践。
