Python中类型检查的详细介绍

高洛峰

发布时间：2017-02-20 10:21:24

1916人浏览过

来源于php中文网

原创

前言

大家都知道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;
}

立即学习“Python免费学习笔记（深入）”；

动力先锋仿阿里巴巴B2B电子商务系统

前台功能介绍:1、网页首页显示有高级会员推荐，精品推荐，商业机会分类列表，最新供求信息，网站动态，推荐企业，行业动态等;2、商业机会栏目功能有：二级分类，已经带有详细分类的数据库，后台可以更改增加操作，并可以推荐公司，栏目分为分类显示信息，最新的采购、供应、合作和代理信息，搜索时同样按分类，信息，时间，交易类型等搜索;3、展厅展品栏目功能:二级分类，已经带有详细分类的数据库，后台可以更改增加操作，

下载

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

立即学习“Python免费学习笔记（深入）”；

动态类型从一定程度上将我们的思维从对计算机的工作模拟中解放出来，可以将更多精力集中在需要解决的问题上：就像上面的例子，我们不需要费心思考虑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"))
}

立即学习“Python免费学习笔记（深入）”；

静态类型的优势（从某种程度上说也是缺点）在于定义方法时制定一种强制性的协议（接口），只有遵循协议才能正确地使用。这对多人合作、开发第三方库、快速定位 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)

立即学习“Python免费学习笔记（深入）”；

Mypy

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

python3 -m pip install mypy

立即学习“Python免费学习笔记（深入）”；

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

mypy greeting.py

立即学习“Python免费学习笔记（深入）”；

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

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

立即学习“Python免费学习笔记（深入）”；

Python中类型检查的详细介绍

Mypy 支持的常用类型如下表所示（来自官方文档）：

Python中类型检查的详细介绍

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

Python中类型检查的详细介绍

Python 2.x

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

pip install typing

立即学习“Python免费学习笔记（深入）”；

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

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免费学习笔记（深入）”；

更多Python中类型检查的详细介绍相关文章请关注PHP中文网！

Python 签名校验机制的实现思路

Python 测试数据与真实数据的差距问题

Python 时间抽象在业务代码中的建模方式

Python 中基于 TypedDict 的构造函数签名继承与动态参数过滤实践

Python 数据清洗中缺失值的处理策略