python—静态类型检查

• python 静态类型检查-pyright,知道的太晚了….

• 更新

  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 等.

• 基本形式

  # 不加检查
  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 等