0%

python—静态类型检查

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

  • 更新

    1
    19.05.04 初始

导语

  • 动态语言有句话: 动态一时爽,重构火葬厂.不止动态语言,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 即可.

  • 效果

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