python中出现的箭头和冒号

最近看到如下代码：

看到函数括号里面的冒号以及括号外面的箭头->，感到困惑；以为是C++中才有的表述形式；
后来经过网上搜索得到了如下的解释；

： ->

因为python是一种动态类型的语言，在定义变量的时候并不需要指定他的类型；二我们在C++、Java中函数的形参都会指定类型，这样如果实参的类型与形参的类型不匹配就会报错；而在python中则不会有这样的错误。

为了方便程序员阅读以及更好的使用函数，函数参数中的冒号是参数的类型建议符，表示希望传入的实参的类型；函数后面跟着的箭头是函数返回值的类型建议符，用来说明该函数返回的值是什么类型。->这个符号删掉也是不影响代码的

我们需要明确的是类型建议符**仅仅是建议，并非如C++和Java那样的强制规定和检查；**也就是说即使传入的实参与建议参数不符合，也不会报错；

类型建议符的作用更多体现在软件工程方面：多人合作的时候，我们对他人开发的代码并不熟悉，每日有对类型的解释说明的话，往往需要花费更多的时间才能看出函数的参数和返回值是什么类型，有了类型建议符，可以方便程序员理解函数的输入与输出(具体涉及到的工作：比如静态分析与代码重构)

更官方的解释详细参考官网：https://www.python.org/dev/peps/pep-0484/