python中的类型提示（定义函数时加入箭头->）

看到一些代码在定义函数时，在def那一行后面会加一个->  。它有个专门的名词叫 type  hint，即类型提示。

官方网站：https://www.python.org/dev/peps/pep-0484/

比如

def add(a:int, b:int) -> int:
    return a+b

这个表示并没有多么的神奇，意思是：告诉你期待的输入类型和输出类型。上面代码期待的类型为int。

这个网站(https://mypy-lang.org，有墙)对这个功能进行了说明：

 

其实就是变量类型的动态定义和静态定义的区别。同样一个函数可以不加->表示动态定义和加->表示静态定义。

对于上面左边函数，对n的数据类型不一定为int，也可以为float等等。。而右边限定了只能int。

这就是动静态的区别。

我试着寻找这两者的区别和各自优势。有以下发现：

1. 将动态类型函数改为静态类型函数并不能使计算加快；

2. 就算你静态限定了int，输入为float的时候也不会报错，输出也不会变成期待的int类型。所以在使用上，动静态类型并没有区别。

那么这个type hint看起来是比较鸡肋。

它的用处有以下：

1. 增加代码可读性；

2. 比较容易用其他语言改写。

例子：

#!/usr/bin/python3
# -*- coding:utf-8 -*-

def twoSum(num1: int, num2: int=100) -> int:
    sum = num1 + num2
    return sum
    

if __name__ == "__main__":
    print(twoSum.__annotations__)
    print(twoSum(1,2))
    print(twoSum(1))
    print(twoSum('I love ','Arsenal'))
    #print(twoSum('Arsenal'))

{'num1': <class 'int'>, 'num2': <class 'int'>, 'return': <class 'int'>}
3
101
I love Arsenal

几点解释：

• 第一行输出中的__annotations__是函数的保留属性，保存的是函数声明中的注释内容，比如我们使用的对参数"num1"，"num2"和返回值的建议类型。
• 第二行输出是正常用法。
• 第三行输出验证了：注释内容后可以跟等号"=",意思为未传入实参时，该参数获得的默认值
• 第四行输出则验证了该解释说明符并非强制检查，我们传入了两个str实参，并不会报错，而是继续进行函数中的加法运算。如果传入的两个实参无法进行函数中规定的运算，则会正常报错。