python—静态类型检查
python 静态类型检查-pyright,知道的太晚了….
更新
1
219.05.04 初始
21.04.01 补充 vscode 内容
- 参考资料
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 即可.(21.04.01) vscode 将代码检查/代码补全/代码提示等等功能都集成到了 pylance 了,一个插件搞定全部.
默认情况下 pylance 的注释检查是没有开启的,需要在设置
python.analysis.typeCheckingMode
选择 basic 或者 strice.严格模式似乎误判太严重,装饰器都不放过,basic 基本够用了.
效果
- 提示错误
- 补全
- 支持 class 等
- 提示错误
相关文章