Python静态类型检查新工具：pyright 使用指南

Python是一门动态类型的语言，民间流传一种说法叫”动态一时爽，重构火葬场”，听起来够吓人的，好在这门语言在不断地改进，包括对 PEP484 引入的类型提示（Type Hint），就是在某种程度上，让Python能够像静态语言一样支持类型声明，例如：

def greeting(name: str) -> str:
    return 'Hello ' + name

这就意味着，如果有人调用 greeting函数的时候，传入的参数不是字符串，你用静态类型检查工具一下就能查出来哪些地方没有传入正确类型的值。而 pyright 就是为此而生。

pyright 核心特性：

TypeScript 编写，速度快
不依赖Python环境
可配置性强

我们可以直接在 vscode 搜索安装插件 pyright

WX20190328-000246@2x.png

命令行工具可以使用 npm 安装

sudo npm i -g pyright

如何使用pyright

假设有个python文件 hello.py，里面代码是：

def greeting2(age:int) -> str:
    print("hello")

greeting2("nihao")
greeting2(1)

注意我给greeting2中的参数类型声明是int，返回的返回值是字符串类型，但是在函数中并没有看到return 返回值。直接运行该文件不会有任何错误

python hello.py
hello
hello

在VSCode中会直接有错误提示信息：

微信截图_20190329101642.png

如果我们用 pyright 检查代码，输出信息：

pyright hello.py
Finding source files
Found 1 source files
Analyzed 1 file in 1.546sec
/Users/xxxx/Workspace/My/draft/hello.py
  Function with declared type of str must return value (1, 28)
  Argument of type 'str' cannot be assigned to parameter of type 'int' (4, 11)
2 errors, 0 warnings
Find Source Files:    0.001sec
Read Source Files:    0.012sec
Tokenize:             0.085sec
Parse:                0.17sec
Post-parse Walker:    0.147sec
Semantic Analyzer:    0.293sec
Type Analyzer:        0.766sec

提示有两处问题：

Function with declared type of str must return value (1, 28)，函数声明返回str类型的值，但是却没有返回
Argument of type 'str' cannot be assigned to parameter of type 'int' (4, 11)，字符串值不能复制给int类型参数

剩下的事情就是按照错误提示修正，正如 PEP484 所说的那样，Type Hint is not role , is tool。它并不是规则，只是一个工具，帮助我们规避某些错误。即使你传错了参数，程序编译时并不会报错，只有执行到具体的业务代码的时候才会出错。

GitHub地址：https://github.com/Microsoft/pyright

关注公众号「Python之禅」，回复「1024」免费获取Python资源