Python 增加类型标注 | 散发着自在涣散气味的代码

Python 如此简洁，书写者在申明变量时甚至无需思考类型。

然而简洁与简单间，是存在一个平衡点的。当咱们书写较为简单的我的项目时，还是心愿能够领有「动态类型语言」弱小的类型检查和智能的提醒。

好消息是，并不需要像 TypeScript 那样，引入一个新的编译器来给 JavaScript 做“降级”来进行类型查看，Python 自带的 typing 工具能够在肯定水平上把 Python 变成「动态类型语言」；坏消息是，Python 归根结底不是「动态类型语言」，通过我的简略测试，其代码还是「自在涣散」的。

给 Python 标注类型

首先和读者申明咱们的试验环境。

❯ python --version
Python 3.7.0

本文参考了 Python3.7 的 中文文档。

咱们申明一个变量，通过如下形式申明类型：

a: int = 1
b: float = .2
print(f'{a}, {b}')  # 1, 0.2

遗憾的是，在 Python 中，a: int = 1 这句话并没什么意义，说的直白点，就是『脱裤子放屁』；再说得好听点，Python 的类型标注 放在这里这么用 齐全没有必要。

首先，a = 1 中解释器会主动把 a 推断为 int 类型，诸如 Pylance 的 Language Server 也会在咱们书写时提供 int 的办法补全。

此外，就算咱们把 a 的类型规定为 int，而后将 str 赋给 a，解释器和 Language Server 也齐全不会报错。如下。

a: int
a = '1'
print(a)  # 十分迷

做上述类型查看对于古代编译技术而言应该是毫无难度的，但这里就是没有报错、没有正告。这大略与 Python 的设计哲学无关。

咱们看看 TypeScript 是如何体现的：

TypeScript 把本人当作动态类型语言，要求书写时就确保类型的正确性。

应用 typing

只管 Python 并不强制要求类型的正确性，并且会主动帮咱们做强类型转换，然而咱们仍旧能够享受类型标注带来的诸多便当。

比方，咱们当初要定义一个函数 foo，函数返回一个列表 dogList，列表中的元素都是咱们自定义的类 Dog 的实例。

如果没有类型标注，咱们无奈取得智能提醒，如下。

Python 中素来就不要求 List 对象中的元素都是同一类型，因而，解释器或者 Language Server 也不会「吃力不讨好」般地去把程序运行一遍，而后推断你这个 List 里放的货色是什么类型。

天然，当你从 List 中拿元素时（比方上述的 dogList[0]），它没法通知你 List 中你拿的元素是什么类型，也就没方法提醒（No suggestion.）。

这与理论业务场景不符，因为咱们写代码时，在一个列表中装入的往往都是同一类型。 为了在取元素时取得补全提醒，咱们能够应用 typing.List + 极简的泛型。如下。

咱们规定，foo 返回的元素必是一个 List，且其中元素类型是 Dog 类型。而后咱们的 dogList[0] 也被辨认成了 Dog 类型，取得了补全。难受。

题外话：聪慧的 Pylance

其实 Pylance 本人也能够做一些类型推导。比方咱们应用生成器生成列表时，Pylance 就会判断这个列表中元素属于什么类型：

结语

对于 typing 的用法，还有很多内容能够探讨，我的参考资料次要是：Python3.7 的 typing 中文文档。此外，用 Python 泛型实现函数重载相比动态类型语言仿佛非常麻烦（我参考了 Python 实用宝典的文章（知乎）），如果之后我遇到适合的场景也会成文分享。

我是小拍，感激关注！