Python 类型检查为什么是“渐进式”的？

Python类型检查是渐进式的，允许选择性添加注解，mypy仅严格校验有注解代码，未注解部分默认跳过或宽松推断，支持混合风格代码库与可调节的检查强度，且兼容Python动态特性。

Python 的类型检查是“渐进式”的，因为你可以选择性地为部分代码添

加类型注解，而无需一次性改写整个项目。类型检查器（如 mypy）只对有注解的代码做严格校验，对没注解的地方默认跳过或仅做宽松推断——这让你能从关键模块开始逐步引入类型安全，而不是被“全有或全无”的约束卡住。

不强制要求全量注解

Python 运行时完全忽略类型注解，它们只是提示信息。这意味着：

• 没有类型注解的函数、变量、参数仍可正常运行
• mypy 默认把未注解的函数签名视为 Any，不会报错（除非开启 --disallow-untyped-defs 等严格选项）
• 你可以先给公共 API 或核心逻辑加注解，内部辅助函数暂缓处理

支持混合风格的代码库

一个项目里可以同时存在：

• 带完整类型注解的新模块（如 def process(data: list[str]) -> dict[str, int]: ...）
• 只有部分注解的旧模块（如只标注了返回值：def load_config() -> Config:）
• 完全无注解的胶水代码（mypy 会当作动态类型处理，不报错）

这种共存能力让团队能在不影响交付的前提下，持续提升类型覆盖率。

类型检查强度可按需调节

通过命令行选项或配置文件，你能控制“渐进”的节奏：

• --strict 开启全部检查（适合新项目或重构阶段）
• --disallow-incomplete-defs 要求函数体中所有变量都有推断/显式类型
• --warn-return-any 提醒你返回了 Any，但不中断构建

这些开关相当于“类型成熟度仪表盘”，帮你分阶段收紧规则。

与动态特性自然兼容

Python 的鸭子类型、**kwargs、运行时属性注入等特性并不被类型系统否定，而是通过特殊语法支持：

• Union、Optional、Literal 表达灵活取值
• Protocol 实现结构化接口，不依赖继承
• cast() 和 ignore 注释提供可控的“类型逃逸”出口

这种设计不是强行套用静态语言规则，而是围绕 Python 的实际用法延伸出可选的保障层。