Python中类型检查的详细介绍


Posted in Python onFebruary 13, 2017

前言

大家都知道Python 是一门强类型、动态类型检查的语言。所谓动态类型,是指在定义变量时,我们无需指定变量的类型,Python 解释器会在运行时自动检查。

与静态类型语言(如 C 语言)相比,这不仅仅是少写了几个类型声明字符:

#include <stdlib.h>
#include <stdio.h>

#define BUFF 100

char* greeting(char* name){ 
 char* msg = (char *) malloc(sizeof(char) * BUFF);
 sprintf(msg, "Hello, %s!", name);
 return msg;
}

int main(){ 
 printf("Greeting: <%s>\n", greeting("C99"));
 return 0;
}
def greeting(name): 
 return "Hello, {}!".format(name)
def main(): 
 print("Greeting: <%s>" % greeting("Python35"))
if __name__ == '__main__': 
 main()

动态类型从一定程度上将我们的思维从对计算机的工作模拟中解放出来,可以将更多精力集中在需要解决的问题上:就像上面的例子,我们不需要费心思考虑greeting函数所接受的参数是什么类型、返回值是什么类型,而只需要考虑greeting函数需要实现的功能即可。

当然并不是说动态类型一定优于静态类型,上面的例子用 C 语言和 Python 相比也有失公允,如果换成 Go 语言:

package main

import "fmt"

func greeting(name string) string { 
 return fmt.Sprintf("Hello, %s", name)
}
func main() { 
 fmt.Printf("Greeting: <%s>", greeting("Go"))
}

静态类型的优势(从某种程度上说也是缺点)在于定义方法时制定一种强制性的协议(接口),只有遵循协议才能正确地使用。这对多人合作、开发第三方库、快速定位 BUG 等是很有帮助的。静态类型还有一大优势是可以让 IDE 帮助提示接口用法和类型检查,进一步提高效率。既然有这么多优势,那 Python 要不要也学习一个?实际上 Python 3.5 中的 PEP 484 和 Python 3.6 的PEP 526 分别加入了类型提示(Type Hints)的语法,其中 PEP 484 主要关于函数、方法、类的参数和返回值的类型声明语法,而 PEP 526添加了对变量类型的声明:

def greeting(name: str) -> str: 
 return "Hello, {}!".format(name)

Mypy

Mypy 是官方推荐一个静态类型检查工具:

python3 -m pip install mypy

可以用 mypy 命令直接检查 Python 程序:

mypy greeting.py

为了方便使用,可以将其应用到 IDE 中,以 Atom 为例,可以安装插件linter-mypy:

python3 -m pip install typed-ast 
apm install linter 
apm install linter-mypy

Python中类型检查的详细介绍

Mypy 支持的常用类型如下表所示(来自官方文档):

Python中类型检查的详细介绍

其中List/Dict/Iterable/Sequence/Any来自标准库 typing。这里的 Sequence和Iterable分别对应collections.abc.Sequencecollections.abc.Iterable,简单来区分Sequence是可以通过数字下标索引的,而Iterable可以代表生成器:

Python中类型检查的详细介绍

Python 2.x

添加了类型注释的代码可以直接通过 Python 3.5 解释器执行,但是对于 Python 2.x 则是完全不兼容的。如果要在 Python 2.x 中使用,首先需要安装 typing:

pip install typing

然后可以用单行注释的形式强行添加:

def send_email(address, # type: Union[str, List[str]] 
  sender, # type: str
  cc,  # type: Optional[List[str]]
  bcc,  # type: Optional[List[str]]
  subject='',
  body=None # type: List[str]
  ):
 # type: (...) -> bool
 """Send an email message. Return True if successful."""
 pass

总结

Python 3.5+ 从语法上支持静态类型提示,在不影响正常使用习惯的情况下为我们提供静态类型检查的功能,虽说不能与真正的静态类型语言相比,但也保证了更大的灵活性,这也符合 Python 的一贯的设计思想:“It's a tool, not a rule.”好了,以上就是这篇文章的全部内容了,希望本文的内容对大家学习或者使用python能带来一定的帮助,如果有疑问大家可以留言交流。

Python 相关文章推荐
Python functools模块学习总结
May 09 Python
Python开发的HTTP库requests详解
Aug 29 Python
Python解析、提取url关键字的实例详解
Dec 17 Python
详解python--模拟轮盘抽奖游戏
Apr 12 Python
python按键按住不放持续响应的实例代码
Jul 17 Python
Python算法的时间复杂度和空间复杂度(实例解析)
Nov 19 Python
OpenCV里的imshow()和Matplotlib.pyplot的imshow()的实现
Nov 25 Python
PyTorch里面的torch.nn.Parameter()详解
Jan 03 Python
Python批量将图片灰度化的实现代码
Apr 11 Python
Python日志:自定义输出字段 json格式输出方式
Apr 27 Python
Python+logging输出到屏幕将log日志写入文件
Nov 11 Python
为了顺利买到演唱会的票用Python制作了自动抢票的脚本
Oct 16 Python
Python IDLE 错误:IDLE''s subprocess didn''t make connection 的解决方案
Feb 13 #Python
python cx_Oracle模块的安装和使用详细介绍
Feb 13 #Python
python数据清洗系列之字符串处理详解
Feb 12 #Python
python中numpy基础学习及进行数组和矢量计算
Feb 12 #Python
python 数据清洗之数据合并、转换、过滤、排序
Feb 12 #Python
python3制作捧腹网段子页爬虫
Feb 12 #Python
python日志记录模块实例及改进
Feb 12 #Python
You might like
PHP 实现多服务器共享 SESSION 数据
2009/08/15 PHP
Array of country list in PHP with Zend Framework
2011/10/17 PHP
PHP 多维数组的排序问题 根据二维数组中某个项排序
2011/11/09 PHP
深入理解PHP中的Session和Cookie
2013/06/21 PHP
php根据isbn书号查询amazon网站上的图书信息的示例
2014/02/13 PHP
php使用递归函数实现数字累加的方法
2015/03/16 PHP
php生成zip文件类实例
2015/04/07 PHP
javascript Math.random()随机数函数
2009/11/04 Javascript
用Javascript实现Sleep暂停功能代码
2010/09/03 Javascript
location.href用法总结(最主要的)
2013/12/27 Javascript
JS高级调试技巧:捕获和分析 JavaScript Error详解
2014/03/16 Javascript
JS实现闪动的title消息提醒效果
2014/06/20 Javascript
jQuery中:button选择器用法实例
2015/01/04 Javascript
nodejs开发微博实例
2015/03/25 NodeJs
JavaScript操作Cookie方法实例分析
2015/05/27 Javascript
跟我学习javascript的闭包
2015/11/16 Javascript
jQuery 3.0 的变化及使用方法
2016/02/01 Javascript
原生js封装二级城市下拉列表的实现代码
2016/06/16 Javascript
JavaScript实现两个select下拉框选项左移右移
2017/03/09 Javascript
vue 在单页面应用里使用二级套嵌路由
2020/12/19 Vue.js
js实现电灯开关效果
2021/01/19 Javascript
Python脚本实现自动将数据库备份到 Dropbox
2017/02/06 Python
python分数表示方式和写法
2019/06/26 Python
python 计算数据偏差和峰度的方法
2019/06/29 Python
Python调用jar包方法实现过程解析
2020/08/11 Python
css3 盒模型以及box-sizing属性全面了解
2016/09/20 HTML / CSS
护士实习生自我鉴定范文
2013/12/10 职场文书
商务考察邀请函范文
2014/01/21 职场文书
医药销售自荐书
2014/05/29 职场文书
党组织领导班子整改方案
2014/10/25 职场文书
公司财务人员岗位职责
2015/04/14 职场文书
学校党支部公开承诺书
2015/04/30 职场文书
地道战观后感300字
2015/06/04 职场文书
详解CocosCreator项目结构机制
2021/04/14 Javascript
redis实现的四种常见限流策略
2021/06/18 Redis
Mac电脑OS系统下安装Nginx的详细教程
2022/04/14 Servers