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使用py2exe打包程序介绍
Nov 20 Python
Python中用Spark模块的使用教程
Apr 13 Python
使用Python对Excel进行读写操作
Mar 30 Python
Python微信公众号开发平台
Jan 25 Python
Flask框架配置与调试操作示例
Jul 23 Python
Python面向对象之类的封装操作示例
Jun 08 Python
python字符串替换第一个字符串的方法
Jun 26 Python
python实现图片中文字分割效果
Jul 22 Python
python实现输出一个序列的所有子序列示例
Nov 18 Python
使用keras内置的模型进行图片预测实例
Jun 17 Python
使用pytorch实现论文中的unet网络
Jun 24 Python
pytest进阶教程之fixture函数详解
Mar 29 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写的获取各搜索蜘蛛爬行记录代码
2012/08/21 PHP
编写php应用程序实现摘要式身份验证的方法详解
2013/06/08 PHP
详解PHP导入导出CSV文件
2014/11/03 PHP
php数字运算验证码的实现代码
2015/07/30 PHP
PHP常见漏洞攻击分析
2016/02/21 PHP
PHP微信开发之查询微信精选文章
2016/06/23 PHP
JS 创建对象(常见的几种方法)
2008/11/03 Javascript
基于jquery用于查询操作的实现代码
2010/05/10 Javascript
Array.prototype.slice 使用扩展
2010/06/09 Javascript
原生js ActiveXObject获取execl里面的值
2013/11/01 Javascript
jquery将一个表单序列化为一个对象的方法
2013/12/02 Javascript
使用jQuery实现WordPress中的Ctrl+Enter和@评论回复
2016/05/21 Javascript
Bootstrap源码解读按钮(5)
2016/12/23 Javascript
AngularJS表单基本操作
2017/01/09 Javascript
Webpack性能优化 DLL 用法详解
2017/08/10 Javascript
React Native模块之Permissions权限申请的实例相机
2017/09/28 Javascript
微信小程序实现action-sheet弹出底部菜单功能【附源码下载】
2017/12/09 Javascript
python统计cpu利用率的方法
2015/06/02 Python
Python中atexit模块的基本使用示例
2015/07/08 Python
python3.6使用pymysql连接Mysql数据库
2018/05/25 Python
python 给DataFrame增加index行名和columns列名的实现方法
2018/06/08 Python
Python实现字符型图片验证码识别完整过程详解
2019/05/10 Python
python调用动态链接库的基本过程详解
2019/06/19 Python
Windows下python3安装tkinter的问题及解决方法
2020/01/06 Python
使用HTML5做的导航条详细步骤
2020/10/19 HTML / CSS
喜诗官方在线巧克力店:See’s Candies
2017/01/01 全球购物
美国韩国化妆品和护肤品购物网站:Beautytap
2018/07/29 全球购物
销售部主管岗位职责
2013/12/18 职场文书
幼儿园教师考核制度
2014/02/01 职场文书
《蚂蚁和蝈蝈》教学反思
2014/02/24 职场文书
基本公共卫生服务健康教育工作方案
2014/05/22 职场文书
中国梦读书活动总结
2014/07/10 职场文书
小学端午节活动总结
2015/02/11 职场文书
升学宴学生致辞
2015/09/29 职场文书
Python机器学习之KNN近邻算法
2021/05/14 Python
Java存储没有重复元素的数组
2022/04/29 Java/Android