Python 类型安全实践指南

Python 3.10+ 类型注解实用模式集合。Python 以灵活著称，但缺乏类型约束会导致大型项目维护困难、隐性 bug 增多、IDE 支持受限。该 Skill 提供可在实际项目中直接使用的类型注解参考模式，帮助开发者在编写新代码或改造遗留代码时建立一致的类 型安全标准。

核心内容包括：现代 Python 类型注解规范（函数签名、集合类型、联合类型、Optional）、TypeVar/Generic/ParamSpec/TypeVarTuple/Self 进阶用法、Protocol 结构化类型用于灵活接口设计、@overload 多重签名处理复杂场景、mypy/pyright 严格模式配置建议、Pydantic/typeguard/beartype 运行时验证集成方案。

适用场景：新 Python 服务开发初期建立类型规范、改造缺乏类型注解的遗留代码库、团队统一 Python 类型检查标准。Skill 提供可直接复制的配置示例和代码片段，无需从零摸索。

局限：参考资料性质，不自动迁移代码；部分进阶特性需 Python 3.11+；第三方库的类型存根可能不完整；附带的类型检查脚本依赖本地安装的 mypy 或 pyright。