五、类型提示与数据建模

类型提示（Type Hints）为动态语言增加可静态检查的接口契约，但默认不改变运行时语义。本章从联合类型、泛型、协议和类型缩窄出发，再比较 dataclass、TypedDict、NamedTuple 与枚举的数据建模边界。

本章目录

本章示例位于 example-project/src/tasklib/typing_models.py，已在 CPython 3.14.6 下通过 mypy --strict 与 4 个专项测试。