前言
大家都知道python 是一门强类型、动态类型检查的语言。所谓动态类型，是指在定义变量时，我们无需指定变量的类型，python 解释器会在运行时自动检查。
与静态类型语言（如 c 语言）相比，这不仅仅是少写了几个类型声明字符：
#include
#include
#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: \n”, greeting(“c99”));
return 0;
}
def greeting(name):
return “hello, {}!”.format(name)
def main():
print(“greeting: ” % 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: “, 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 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中类型检查的详细介绍相关文章请关注php中文网！