在 PyCharm 中进行类型提示

PyCharm 提供多种方式，帮助检查与验证脚本中对象的类型。 PyCharm 支持在函数注解和类型注释中使用 类型提示 ，采用 typing 模块以及由 PEP 484 定义的格式。

添加类型提示

尽管 PyCharm 支持 PEP 484 中用于添加类型的所有方法，通过意图操作使用类型提示是最便捷的方式。根据您使用的解释器，类型将作为注解（Python 3）或作为注释（Python 2）添加：

您还可以使用 Python 存根来指定变量、函数和类字段的类型。

您可以使用 Python 3 注解来标注函数的返回类型。 PyCharm 将为您插入返回类型注解，随后您可以按需调整类型：

对于基于注释的类型提示，PyCharm 会建议一项意图操作，允许您将基于注释的类型提示转换为变量注解。此意图名为转换为变量注解，其工作方式如下：

之前	之后
from typing import List, Optional xs = [] # type: List[Optional[str]]	from typing import List, Optional xs: List[Optional[str]] = []

每当您应用类型提示时，PyCharm 都会根据受支持的 PEP 检查类型的使用是否正确。如果存在使用错误，将显示相应警告，并提供建议的操作。以下是验证示例。

验证错误	建议的操作
类型声明重复。	删除其中一个类型声明。
类型声明中的参数数量与函数参数数量不一致。	调整参数数量。
类型注释中的解包与相应的目标不匹配。	检查目标格式并相应地修改类型注释。
`Callable` 参数的语法不正确。	使用建议的格式，并添加所需的括号来包裹 `Callable` 参数。
赋值表达式中使用了意外的类型。	对齐类型以匹配预期模式。
向 `Final` 变量赋值。	您不能更改标注为 `Final` 的变量。请考虑更改变量类型。
继承标注为 `Final` 的类。	您不能继承带有 `Final` 注解的类。请考虑创建另一个类。
重写使用 `@final` 装饰的方法。	您不能重写使用 `@final` 装饰的方法。请考虑定义另一个方法。
函数参数类型不正确。	向 `foo()` 函数传递字典，而不是列表。
向 `TypedDict` 类型中的键分配了错误类型的值。	将 `year` 的值设为 `int`： `add_movie({'title': 'Blade Runner', 'year': 1982})`
在 `TypedDict` 类型中使用了错误的键：	按类型定义指定键： `add_movie({'title': 'Blade Runner', 'year': 1982})`
被装饰函数的用法不正确。 PyCharm 会基于其装饰器的类型验证被装饰函数的类型：	根据需要修改装饰器或使用该函数返回值的语句。