不需要跑程序,就能发现类型对不上。
核心工具:mypy(官方推荐,pip 就能装)
1. 安装 & 一条命令
bash
pip install -U mypy # 装
mypy demo.py # 查
绿色提示 = 没毛病
有红色提示 = 改完再上线

2. 举个最小例子
代码 (文件 demo.py)
python
def add(a: int, b: int) -> int:
return a + b
add("3", 4) # 故意传字符串
运行 mypy
bash
$ mypy demo.py
demo.py:4: error: Argument 1 to "add" has incompatible type "str"; expected "int"
还没执行 Python 就告诉你第 4 行传错了类型,提前止损。
3. VS Code 打开 Python 类型检查
(1)打开设置

(2)打开setting.json 文件
搜索setting --> 点击setting.json

(3)在setting.json加入
bash
{
"python.analysis.typeCheckingMode": "basic", // python类型检查模式设为基本
}
CTRL + S保存后,就会生效,如果没有生效就把VS Code 关闭重新打开;demo.py 可以在文件保存后就可以直接类型检查,无需运行即可爆红
