Python类型检查主要靠mypy实现，它通过静态分析类型注解提前发现错误；需正确添加类型提示、配置mypy并融入开发流程，包括安装运行、pyproject.toml配置、处理第三方库缺失提示及编辑器和CI集成。
Python 类型检查主要靠 mypy 实现，它在不运行代码的前提下静态分析类型注解，提前发现类型错误。关键在于写对类型提示、配好 mypy 配置、并把它融入开发流程。
给函数和变量加类型提示
这是 mypy 起作用的前提。不加注解，mypy 就无从判断。
- 函数参数和返回值：在参数后加
: type，函数末尾用-> type - 变量声明：Python 3.6+ 支持
name: type = value语法 - 常见类型如
int、str、List[int]、Optional[str]、Dict[str, Any]都可直接用（需从typing或collections.abc导入复杂类型）
例如：
from typing import List, Optional
<p>def greet(name: str, count: int = 1) -> str:
return f"Hello {name}" * count</p><p>def process_items(items: List[str]) -> Optional[str]:
return items[0] if items else None
安装和运行 mypy
用 pip 安装即可，无需额外依赖：
立即学习“Python免费学习笔记（深入）”；
pip install mypy- 检查单个文件：
mypy script.py - 检查整个包：
mypy mypackage/ - 常用选项：
--strict启用全部检查；--show-error-codes显示错误码便于配置忽略；--config-file pyproject.toml指定配置文件
用 pyproject.toml 配置 mypy
避免每次敲一堆参数，推荐用配置文件统一管理规则。
在项目根目录新建 pyproject.toml，写入：
[tool.mypy] python_version = "3.10" strict = true disallow_untyped_defs = true disallow_incomplete_defs = true warn_return_any = true warn_unused_ignores = true
这些设置会让 mypy 更严格地检查未标注的函数、不完整定义、模糊返回类型等，适合新项目起步就启用。
处理第三方库缺少类型提示
很多老库没加类型注解，mypy 默认会报 error: Skipping analyzing ... 或 error: Need type annotation for ...。
- 优先安装对应 stub 包，比如
requests对应types-requests（通过pip install types-requests） - 若无 stub，可在 mypy 配置中加
follow_imports = "silent"或ignore_missing_imports = true（慎用，会掩盖真实问题） - 临时绕过某行：在行尾加
# type: ignore，最好附简短说明，如# type: ignore # requests.get() lacks stubs
和编辑器、CI 流程集成
类型检查要起效，得让人“看得见、用得顺”。
- VS Code 安装 Python 扩展后，默认启用 mypy（需在设置中开启
python.linting.mypyEnabled） - PyCharm 在 Settings → Languages & Frameworks → Python → Type Checking 中启用 mypy
- CI 中加入步骤，例如 GitHub Actions 里加一行：
- run: mypy . --show-error-codes，失败即中断构建
不复杂但容易忽略。写好类型提示，配上 mypy，就能在编码阶段拦住大量低级类型错误，提升协作效率和代码健壮性。
