掌握 Python 静态类型检查利器（mypy 入门与实战教程）

为什么需要 mypy？

Python 是动态类型语言，变量类型在运行时才确定。这虽然灵活，但也容易因类型错误导致程序崩溃。例如：

def greet(name):    return "Hello, " + nameprint(greet(123))  # 运行时报错：不能将 str 与 int 相加

如果使用类型注解并配合 mypy 教程 中的方法，这类错误就能在编码阶段被发现。

安装 mypy

只需一条命令即可安装：

pip install mypy

基础用法：添加类型注解

我们为函数参数和返回值添加类型提示：

def greet(name: str) -> str:    return "Hello, " + name# 正确调用print(greet("Alice"))# 错误调用（mypy 会报错）print(greet(123))

运行 mypy 检查

保存上述代码为 example.py，然后在终端运行：

mypy example.py

输出结果类似：

example.py:7: error: Argument 1 to "greet" has incompatible type "int"; expected "str"Found 1 error in 1 file (checked 1 source file)

看！Python 类型注解 帮助我们在运行前就发现了问题。

常见类型注解示例

from typing import List, Dict, Optional# 列表类型names: List[str] = ["Alice", "Bob"]# 字典类型user: Dict[str, int] = {"age": 25}# 可选类型（可以是 str 或 None）def get_name(user_id: int) -> Optional[str]:    if user_id == 1:        return "Admin"    return None

配置 mypy（可选）

你可以在项目根目录创建 mypy.ini 文件来自定义检查规则：

[mypy]disallow_untyped_defs = Truewarn_return_any = Truewarn_unused_ignores = True

这样能强制所有函数都必须有类型注解，进一步提升代码健壮性。

结语

通过本教程，你已经掌握了 静态类型分析工具 mypy 的基本使用方法。它不仅能帮助你写出更清晰、更可靠的代码，还能显著提升团队协作效率。建议在新项目中尽早引入类型注解和 mypy 检查，让 bug 无处藏身！

现在就开始尝试吧——给你的 Python 项目加上类型安全的“防护罩”！