4款Python 类型检查工具,你选择哪个呢?


Posted in Python onOctober 30, 2020

微软在 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 的文档宣称它有如下特点:

速度快。相较于 mypy 及其它用 Python 写的检查工具,它的速度是 5 倍甚至更多。不依赖 Python 环境。它用 TypeScript 写成,运行于 node 上,不依赖 Python 环境或第三方包。可配置性强。支持自由地配置,支持指定不同的运行环境(PYTHONPATH 设置、Python 版本、平台目标)。检查项齐全。支持类型检查及其它语法项的检查(如 PEP-484、PEP-526、PEP-544),以及函数返回值、类变量、全局变量的检查,甚至可以检查条件循环语句命令行工具。它包含两个 VS Code 插件:一个命令行工具和一个语言服务器协议(Language Server Protocol)内置 Stubs 。使用的是 Typeshed 的副本。(注:使用静态的 pyi 文件,检查内置模块、标准库和三方件 )语言服务特性。悬停提示信息、符号定义的跳转、实时的编辑反馈

就此而言,不可谓不强大。事实上,pyright 是“站在了巨人的肩膀上”,它的各项功能似乎都继承自其它几位前辈。

接着看官方的 mypy ,它由“Python 之父” Guido van Rossum 亲自参与开发,是最主流的选择,推出得早,用户基数大,文档与社区经验也最丰富。

在集成 IDE 方面,所有主流的编辑器都支持:PyCharm、Vim、Emacs、Sublime Text、VS Code、Atom......在业界经验上,Instagram 和 Dropbox 的项目从 py2 迁移到 py3 ,就是用的它来做保障。

接着看谷歌的 pytype ,据文档描述,它可以:

标记常见错误,如拼写错误、函数调用错误加强自定义的类型注解支持对 pyi 文件生成类型注解

查看文档,我发现它有个功能还挺人性化的,即“错误降噪 ”,对于那些不必修改的错误,可以添加注释,来消除类型检查。

此外,还有一个考虑也不错,为了写类型检查,模块中可能会额外引入其它的模块,对于后者,pytype 有办法隐藏它,只在做类型检查时才加载。

最后,要介绍的是脸书的 pyre-check,它是去年开源的,也曾收获一片好评(说不定正是因为它,微软才上马了 pyright 项目也说不定)。

基本的功能点大同小异,不过它也是有亮点的。pyre-check 可集成Watchman 模块,该“观察者”会监听代码文件,跟踪所做的修改。微软的 pyright 有个 watch 模式,应该是吸收了这点,而且更加好用(因为不需要额外安装 Watchman 和其它依赖)。

pyre-check 还有个亮点,它有个query 参数,可以对源码做局部区域性的检查,例如查询某行中一个表达式的类型、查询一个类的全部方法并返回成列表,等等,这样可以避免做全面的检查。

4 种类型检查工具介绍完毕,下面是一份概要对比:

4款Python 类型检查工具,你选择哪个呢?

至于它们的性能如何,是否真如 pyright 所说,它的速度是其它几个的 5 倍呢?感兴趣的同学们可以去试试。

以上就是4款Python 类型检查工具,你选择哪个呢?的详细内容,更多关于Python 类型检查工具的资料请关注三水点靠木其它相关文章!

Python 相关文章推荐
教你安装python Django(图文)
Nov 04 Python
Python随机生成数模块random使用实例
Apr 13 Python
Python3读取文件常用方法实例分析
May 22 Python
图文讲解选择排序算法的原理及在Python中的实现
May 04 Python
Python使用Paramiko模块编写脚本进行远程服务器操作
May 05 Python
python中set()函数简介及实例解析
Jan 09 Python
使用python serial 获取所有的串口名称的实例
Jul 02 Python
python3 中的字符串(单引号、双引号、三引号)以及字符串与数字的运算
Jul 18 Python
pytorch 实现在一个优化器中设置多个网络参数的例子
Feb 20 Python
Django认证系统user对象实现过程解析
Mar 02 Python
python中for in的用法详解
Apr 17 Python
在django中form的label和verbose name的区别说明
May 20 Python
python从PDF中提取数据的示例
Oct 30 #Python
详解python百行有效代码实现汉诺塔小游戏(简约版)
Oct 30 #Python
python boto和boto3操作bucket的示例
Oct 30 #Python
python 多进程和协程配合使用写入数据
Oct 30 #Python
python打包生成so文件的实现
Oct 30 #Python
pytorch 移动端部署之helloworld的使用
Oct 30 #Python
把Anaconda中的环境导入到Pycharm里面的方法步骤
Oct 30 #Python
You might like
再说下636单管机
2021/03/02 无线电
PHP和javascript常用正则表达式及用法实例
2014/07/01 PHP
php实现倒计时效果
2015/12/19 PHP
Zend Framework教程之Zend_Helpers动作助手ViewRenderer用法详解
2016/07/20 PHP
Javascript中For In语句用法实例
2015/05/14 Javascript
三分钟带你玩转jQuery.noConflict()
2016/02/15 Javascript
深入理解javascript作用域第二篇之词法作用域和动态作用域
2016/07/24 Javascript
超实用的javascript时间处理总结
2016/08/16 Javascript
bootstrap table使用入门基本用法
2017/05/24 Javascript
JavaScript实现移动端页面按手机屏幕分辨率自动缩放的最强代码
2017/08/18 Javascript
深入理解ES6之数据解构的用法
2018/01/13 Javascript
Node.js上传文件功能之服务端如何获取文件上传进度
2018/02/05 Javascript
Vue页面骨架屏的实现方法
2018/05/22 Javascript
基于vue-cli3创建libs库的实现方法
2019/12/04 Javascript
浅谈在vue-cli3项目中解决动态引入图片img404的问题
2020/08/04 Javascript
Python 网络编程起步(Socket发送消息)
2008/09/06 Python
Python深入学习之上下文管理器
2014/08/31 Python
按日期打印Python的Tornado框架中的日志的方法
2015/05/02 Python
5个很好的Python面试题问题答案及分析
2018/01/19 Python
python 实现分页显示从es中获取的数据方法
2018/12/26 Python
Python的高阶函数用法实例分析
2019/04/11 Python
Django 通过JS实现ajax过程详解
2019/07/30 Python
Flask框架请求钩子与request请求对象用法实例分析
2019/11/07 Python
python通过matplotlib生成复合饼图
2020/02/06 Python
实例讲解CSS3中的box-flex弹性盒属性布局
2016/06/09 HTML / CSS
MAC Cosmetics巴西官方网站:M·A·C彩妆
2019/04/18 全球购物
世界上最大的艺术社区:SAA
2020/12/30 全球购物
List, Set, Map是否继承自Collection接口?
2016/05/16 面试题
新三好学生主要事迹
2014/01/23 职场文书
党员组织关系介绍信
2014/02/13 职场文书
新教师个人总结
2015/02/06 职场文书
2015年爱国卫生工作总结
2015/04/22 职场文书
学校计划生育责任书
2015/05/09 职场文书
MySQL中order by的使用详情
2021/11/17 MySQL
《雀魂PONG☆》4月1日播出 PV角色设定情报
2022/03/20 日漫
MySQL 表锁定 LOCK和UNLOCK TABLES的 SQL语法
2022/04/18 MySQL