02-什么是类型提示

C.1　什么是类型提示

类型提示是Python中的一种注释方式，注释了变量、函数参数和函数返回值的预期类型。换句话说，用这种注释方式，程序员可以标明Python程序的某个部分中的预期类型。大多数Python程序都不带类型提示。事实上，在阅读本书之前，即便是中级Python程序员也很有可能从未见过带有类型提示的Python程序。

因为Python不需要程序员指定变量的类型，所以要为不带类型提示的变量找出类型的唯一方法就是仔细查看（逐字阅读之前的源代码或运行一下打印出类型）或注释文档。这是有问题的，因为这让Python代码更难读懂（尽管有些人会表示反对，本附录后续将会讨论）。另一个问题是Python十分灵活，因此允许程序员用同一个变量指向多个不同类型的对象，这就可能导致出错。类型提示有助于防止这种风格的编程并减少这些错误。

现在Python具备了类型提示能力，我们将其称为渐类型化（gradually typed）的语言，这意味着类型提示可以在必要时使用，但不是必须使用的。尽管大家可能会觉得类型提示从根本上改变了语言外观而抵触它，但在本附录的简短介绍中，我仍然希望能说服读者提供类型提示是一件好事情，应该在代码中善加利用。