python 静态类型检查-pyright,知道的太晚了….
更新
1
19.05.04 初始
- 参考资料
https://github.com/Microsoft/pyright
导语
- 动态语言有句话: 动态一时爽,重构火葬厂.不止动态语言,2-3-4树&&红黑树也是火葬厂…
- 在 51 之前,回来了,原本打算直接搞定 2-3-4树&&红黑树,那知道写了改,改了写,反反复复,始终都啃不下来.红黑树暂缓,不把原理搞清楚,写出来就没意义.
- 跑题了,写 python 刷数据结构,是比 c 好多了,但没有参数检查,手抖一下,就是个bug..直到遇到了 python 的静态类型检查…药到病除..
python 静态类型
python 的静态类型检查实际上是在 py3.5 中添加的 PEP-484 (type hints),之后又逐步完善 PEP-526,PEP-544 等.
基本形式
1
2
3
4
5
6
7# 不加检查
def gt(a):
return 'a' + a
# 添加检查
def gt(a: str) -> str:
return 'a' + a这样在每个参数后添加类型,在函数定义时添加返回类型,这样一来检查的效果与写静态语言无几了.对补全也后帮助.
不过注意,虽然提示类型错误,但依旧可以正常编译执行,说到底 python 还是动态语言,静态检查终究只是纠错.
检查工具
- pyright: 微软
- mypy: 官方
- pytype: google
- pyre-check: facebook
vscode 是我的主力编辑器,自然 pyright 是首选了,在加上 pyright 号称速度快了5倍,支持PEP 484 PEP 526 PEP 544 .
反正试用下来,基本和写 c 的提示速度无几,够用就没折腾其他的.
直接在 vscode 插件搜索安装 Pyright 即可.
效果
- 提示错误
- 补全
- 支持 class 等
- 提示错误