Python 是一种非常动态的语言,函数定义中完全没有类型约束。下面这篇文章主要给大家详细介绍了 Python 中类型检查的相关资料,需要的朋友可以参考借鉴,下面来一起看看吧。
Python 是一种面向对象、解释型计算机程序设计语言,由 Guido van Rossum 于 1989 年底发明,第一个公开发行版发行于 1991 年。Python 语法简洁而清晰,具有丰富和强大的类库。它常被昵称为胶水语言,它能够把用其他语言制作的各种模块(尤其是 C/C++)很轻松地联结在一起。
前言
大家都知道 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 中的 {aa3aa} 和 Python 3.6 的 {aa2aa} 分别加入了类型提示(Type Hints)的语法,其中 PEP 484 主要关于函数、方法、类的参数和返回值的类型声明语法,而 PEP 526 添加了对变量类型的声明:
- def greeting(name: str) -> str:
- return "Hello, {}!".format(name)
Mypy
{aa1aa} 是官方推荐一个静态类型检查工具:
- 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
Mypy 支持的常用类型如下表所示(来自 {aa0aa}):
其中 List/Dict/Iterable/Sequence/Any 来自标准库 typing。这里的 Sequence 和 Iterable 分别对应
和
- collections.abc.Sequence
,简单来区分 Sequence 是可以通过数字下标索引的,而 Iterable 可以代表生成器:
- collections.abc.Iterable
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
总结
来源: http://www.phperz.com/article/17/0321/324800.html