python—静态类型检查

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

  • 更新

    1
    2
     19.05.04 初始
    21.04.01 补充 vscode 内容
  • 参考资料

    http://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 基本够用了.

  • 效果

    • 提示错误
      1
    • 补全
      2
    • 支持 class 等
      3