Python中的类型注释

Brick_Porter

类型注释
Python是一种动态类型编程语言。动态类型的意思是每个变量的类型都是在程序运行时根据值的类型决定的，而非像C/C++、Java、Go等静态类型语言一样在定义时（也就是在运行前）就已经定好了。

动态类型的好处是灵活，以Python为例：

a = 10
print(a)

a = "Python"
print(a)

这样写是没有问题的，当变量a的值是10的时候它就是int类型；当a的值是"Python"的时候它就是str类型。

再以Go语言为例：

var a int // 声明变量a为int类型
a = 10 // 正确
a = "Go" // 编译不通过

静态类型的编程语言一旦变量类型确定就不能接受其他类型的值了。变量a声明为int类型后只能接受整数类型的值，如果被赋予其他类型的值则直接引发编译错误。

静态类型与动态类型各有优劣。代码量较少的时候动态类型这一特性用起来非常顺手，而代码量一旦增加或是要和他人合作，由于不知道变量明确的类型反而降低了开发效率，因为开发人员需要在编写代码过程中反复跳转以确定变量的类型，这样才能确定可以执行那些操作。
相对来说静态类型的优势就凸显出来了，由于一开始就强制说明类型，因为类型不一致引发的错误在编译阶段就可以避免了。

Python作为动态类型的语言自然具备动态语言的劣势。为了解决这个问题，Python在3.5版本中采纳了Python增强提案484的提议，增加了Type Hint，也叫做Type Annotation，译作类型注释、类型注解、类型标记等等。
以类型注释的方式说明参数或变量的类型，方便开发者调试。同时类型注释不是强制的，侵入式的。也就是说在原有的Python代码中增加类型注释也不会影响性能，此外也不是说一旦采用类型注释就需要对所有的变量、参数等进行标注。

来看一个示例：

def add(a, b):
    return a + b

hornwong