Python类型提示与静态检查工具Mypy详解

前言

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函数接收参数的具体类型或返回值的类型，只需关注该函数需要实现的业务逻辑即可。

但这并不意味着动态类型绝对优于静态类型。上述例子中用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 

Mypy支持的主要类型如下表所示（参考官方文档）：

其中List、Dict、Iterable和Sequence以及Any均源自标准库typing。这里的Sequence和Iterable分别对应collections.abc.Sequence和collections.abc.Iterable，简单区分而言，Sequence指可通过数字下标进行索引的对象，而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

总结

Python 3.5及以上版本从语法层面支持静态类型提示，在不影响日常使用习惯的前提下提供了静态类型检查功能。尽管其无法与真正的静态类型语言完全等同，但保证了更高的灵活性，这也契合Python一贯的设计哲学：“It's a tool, not a rule.”。以上就是本文的全部内容，希望这些内容能对大家学习或应用Python有所帮助。如有任何疑问，欢迎留言交流。