Mypy 是一款 Python 的静态类型检查工具，用于分析带类型注解的代码，帮助开发者在运行前发现类型错误，从而提升代码的可靠性和可维护性。
安装 ：
pip install mypy安装完成后，即可使用命令行工具 mypy 进行类型检查。
常见应用场景：
（1）大型项目开发：通过类型注解辅助 IDE 推断，提高自动补全和代码导航体验。
（2）团队协作：统一函数签名、数据结构，减少调用歧义。
（3）接口设计：通过类型提示明确输入输出，辅助文档编写。
（4）持续集成：作为静态检查环节的一部分，阻止错误类型提交。
（5）代码重构：在变量变更或逻辑改写时提供类型保障。
◆◆ ◆
核心概念
1、静态类型检查
Mypy 并不运行程序，而是通过静态分析代码中的类型注解，检测变量、函数、表达式之间的类型是否一致。
2、类型注解语法
Mypy 遵循 PEP 484 类型注解规范，支持标准类型、泛型、Union 类型、Optional 类型等。
3、渐进式类型检查
类型注解是可选的。Mypy 允许在未完全注解的代码中逐步引入类型提示，不要求一开始全部标注。
4、严格模式支持
提供多种严格性等级，可根据项目成熟度或团队要求调整检查深度。
5、兼容第三方类型提示
支持类型存根（.pyi 文件）、types-xxx 包，以及 typing、typing_extensions 等模块。
◆◆ ◆
基本用法
示例文件 example.py：
def add(a: int, b: int) -> int:
return a + b
x = add(1, "2")
print(x)在命令行运行：
mypy example.py输出：
虽然 Python 本身不会报错，但 Mypy 静态检查指出传入了错误类型的参数。
◆◆ ◆
应用举例
例 1：渐进式类型标注
Mypy 允许代码逐步添加注解，例如：
def greet(name):
return "Hello, " + name虽然未加注解，但仍能运行。逐步可写为：
def greet(name: str) -> str:
return "Hello, " + name例 2：使用 reveal_type()
用于调试类型推断结果：
x = 123
reveal_type(x) # Mypy 输出：Revealed type is "builtins.int"例 3：配置文件 .mypy.ini
创建 mypy.ini 或 setup.cfg 文件用于配置项目检查行为：
[mypy]
python_version = 3.10
ignore_missing_imports = True
strict = True
disallow_untyped_defs = True例 4：为第三方库提供类型支持
如果某第三方库没有类型提示，可以安装类型补丁包：
pip install types-requests或者，手动创建 .pyi 文件放在 typings/ 目录。
例 5：与 VSCode 集成
VSCode 使用 Pylance 引擎（基于 Mypy 推理机制）进行类型提示，若需更强自定义，可在 VSCode 设置中启用 Mypy 扫描：
"python.linting.mypyEnabled": true,
"python.linting.enabled": true◆◆ ◆
常用命令参数解释
--ignore-missing-imports
忽略导入库缺失类型信息的错误，常用于第三方无类型注解的情况。
--disallow-untyped-defs
禁止未标注类型的函数定义，常用于团队严格模式。
--strict
启用一组严格规则，包括强制类型标注、禁止隐式 Any 等。
--check-untyped-defs
即使函数没有注解，也尝试检查其内部逻辑的类型一致性。
--exclude=regex
排除指定路径或文件不参与检查，例如排除测试文件。
--config-file=路径
指定配置文件路径，覆盖默认查找行为。
--show-error-codes
显示错误代码（如 arg-type, return-value），便于分类管理。
◆◆ ◆
补充说明
1、Mypy 不会影响程序运行，它仅做检查，不会修改字节码或代码行为。
2、推荐结合 typing 和 typing_extensions 使用高级类型如 Literal、TypedDict。
3、适合与 Flake8、Pylint、Black 联合使用，构建完整的静态检查 + 风格统一工作流。
4、支持泛型、自定义类型、类方法注解等进阶语法，也适用于异步函数和装饰器；
5、如遇类型注解影响开发效率，可关闭严格规则，先检查关键模块，逐步推进类型覆盖率。
“点赞有美意，赞赏是鼓励”
热门跟贴