介绍一款介绍一款python类型检查工具类型检查工具pyright(推荐推荐)
主要介绍了介绍一款python类型检查工具pyright(推荐)，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定
的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
近日，微软在 Github 上开源了一个 Python 静态类型检查工具：pyright ，引起了社区内的多方关注。
微软在开源项目上的参与力度是越来越大了，不说收购 Github 这种大的战略野心，只说它家开源的 VS Code 编辑器，在猿界已割粉无数，
连我 Python 圈的红人 Kenneth Reitz（多个开源项目的作者，包括 requests、requests-html、responder等）都对它赞不绝口。
如今开源的 Pyright ，口碑还不错，那我们就来看看它有啥本事，顺便再介绍其它几款类型检查工具。
众所周知，Python 是一门动态类型语言，在运行期才知道变量的实际类型。这本就是动态语言的特色，然而在团队合作或大型项目上，维护
的代价也不可避免，俗话说的是：“动态一时爽，重构火葬场 ”。
早在 2006 年的 PEP-3107，Python 就推出了函数注解的功能，最终落在 3.0 版本实现。而到了 3.5 版本，Python 继续引入了静态类型检查
的语法（即 PEP-484，type hints）。2014 年的 PEP-483 更是以《The Theory of Type Hints》为题，做出了理论上的归纳。后来，又陆续提
出了 PEP-526、PEP-544，类型检查的规范逐渐丰富。
类型检查的好处是及早检查，提前发现类型的错误，增强代码的一致性与可维护性。（还有防止脱发，喵）
# 不加检查
def greeting(name):
return 'Hello ' + name
# 添加检查
def greeting(name: str) -> str:
return 'Hello ' + name
如上例所示，增加检查后，可以在编译期就判断入参和返回值是否是字符串类型。例如下图：
在微软推出 pyright 之前，主流的静态检查工具有三款：官方的mypy 、Google 出的pytype 、Facebook 出的pyre-check 。三足鼎立的局面要
被打破了。
pyright 的文档宣称它有如下特点：
1. 速度快。相较于 mypy 及其它用 Python 写的检查工具，它的速度是 5 倍甚至更多。
2. 不依赖 Python 环境。它用 TypeScript 写成，运行于 node 上，不依赖 Python 环境或第三方包。
3. 可配置性强。支持自由地配置，支持指定不同的运行环境（PYTHONPATH 设置、Python 版本、平台目标）。
4. 检查项齐全。支持类型检查及其它语法项的检查（如 PEP-484、PEP-526、PEP-544），以及函数返回值、类变量、全局变量的检查，
甚至可以检查条件循环语句
5. 命令行工具。它包含两个 VS Code 插件：一个命令行工具和一个语言服务器协议（Language Server Protocol）
6. 内置 Stubs 。使用的是 Typeshed 的副本。（注：使用静态的 pyi 文件，检查内置模块、标准库和三方件 ）
7. 语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈
就此而言，不可谓不强大。事实上，pyright 是“站在了巨人的肩膀上”，它的各项功能似乎都继承自其它几位前辈。
接着看官方的 mypy ，它由“Python 之父” Guido van Rossum 亲自参与开发，是最主流的选择，推出得早，用户基数大，文档与社区经验也最
weixin_38606300
- 粉丝: 4
- 资源: 829
我的内容管理
收起
- 我的资源
快来上传第一个资源
我的收益 登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏 
我的下载 
下载帮助
评论0