111

Python 3.6 即将发布。PEP 494 - Python 3.6 Release Schedule提到了 12 月底，所以我浏览了 Python 3.6 中的新增功能，看到他们提到了变量注释：

PEP 484引入了函数参数类型注释的标准，也就是类型提示。这个 PEP 为 Python 添加了用于注释变量类型的语法，包括类变量和实例变量：

primes: List[int] = []

captain: str  # Note: no initial value!

class Starship:
     stats: Dict[str, int] = {}

就像函数注解一样，Python 解释器不会为变量注解附加任何特定含义，而只会将它们存储在__annotations__类或模块的特殊属性中。__annotations__与静态类型语言中的变量声明相比，注释语法的目标是提供一种简单的方法，通过抽象语法树和属性为第三方工具和库指定结构化类型元数据。

因此，从我读到的内容来看，它们是来自 Python 3.5 的类型提示的一部分，在What are Type hints in Python 3.5 中进行了描述。

我遵循captain: strandclass Starship示例，但不确定最后一个：如何primes: List[int] = []解释？它是否定义了一个只允许整数的空列表？

4

2 回答 2

71

什么是变量注解？

变量注释只是注释的下一步# type，正如它们在PEP 484;中定义的那样。此更改背后的基本原理在PEP 526 的相应部分中突出显示。

因此，不要使用以下方式提示类型：

primes = []  # type: List[int]

引入了新语法以允许使用以下形式的赋值直接注释类型：

primes: List[int] = []

正如@Martijn 指出的那样，它通过使用可用类型typing并将其初始化为空列表来表示整数列表。

它带来了哪些变化？

引入的第一个更改是新语法，它允许您使用类型注释名称，可以在:字符之后独立或可选地进行注释，同时也为其分配值：

annotated_assignment_stmt ::=  augtarget ":" expression ["=" expression]

所以有问题的例子：

   primes: List[int] = [ ]
#    ^        ^         ^
#  augtarget  |         |
#         expression    |
#                  expression (optionally initialize to empty list)

还引入了其他更改以及新语法；模块和类现在有一个附加类型元数据的__annotations__属性（就像函数自PEP 3107 - Function Annotations以来所具有的那样）：

from typing import get_type_hints  # grabs __annotations__

现在__main__.__annotations__保存声明的类型：

>>> from typing import List, get_type_hints
>>> primes: List[int] = []
>>> captain: str
>>> import __main__
>>> get_type_hints(__main__)
{'primes': typing.List<~T>[int]}

captain当前不会显示，get_type_hints因为get_type_hints仅返回也可以在模块上访问的类型；即，它首先需要一个值：

>>> captain = "Picard"
>>> get_type_hints(__main__)
{'primes': typing.List<~T>[int], 'captain': <class 'str'>}

使用print(__annotations__)会显示'captain': <class 'str'>，但你真的不应该__annotations__直接访问。

同样，对于类：

>>> get_type_hints(Starship)
ChainMap({'stats': typing.Dict<~KT, ~VT>[str, int]}, {})

其中 aChainMap用于获取给定类的注释（位于第一个映射中）以及在其中找到的基类中定义的所有注释mro（后续映射，{}用于对象）。

除了新语法之外，ClassVar还添加了一种新类型来表示类变量。是的，stats在您的示例中实际上是一个实例变量，而不是ClassVar.

我会被迫使用它吗？

与来自 的类型提示一样PEP 484，这些都是完全可选的，主要用于类型检查工具（以及您可以基于此信息构建的任何其他工具）。当 Python 3.6 的稳定版本发布时，它将是临时的，因此将来可能会添加一些小的调整。

于 2016-10-11T08:21:24.830 回答
56

:和之间的所有=内容都是类型提示，因此primes确实定义为List[int]，并且最初设置为空列表（并且stats最初是空字典，定义为Dict[str, int]）。

List[int]并且Dict[str, int]不是下一个语法的一部分，但是，这些已经在 Python 3.5 键入提示 PEP 中定义。3.6 PEP 526 – Syntax for Variable Annotations提案仅定义了将相同提示附加到变量的语法；在您只能将类型提示附加到带有注释的变量（例如primes = [] # List[int]）之前。

两者List和Dict都是通用类型，表示您具有具有特定（具体）内容的列表或字典映射。

对于List，只有一个“参数”（[...]语法中的元素），即列表中每个元素的类型。对于Dict，第一个参数是键类型，第二个参数是值类型。所以列表中的所有值primes都是整数，字典中的所有键值对都是对，将字符串映射到整数。stats(str, int)

请参阅typing.List和typing.Dict定义、泛型部分以及PEP 483 –类型提示理论。

就像函数上的类型提示一样，它们的使用是可选的，也被认为是注释（前提是有一个对象可以将它们附加到，因此模块中的全局变量和类的属性，而不是函数中的局部变量），您可以通过__annotations__属性进行自省。您可以将任意信息附加到这些注释中，您不仅限于键入提示信息。

您可能想阅读完整的提案；它包含一些超出新语法的附加功能；例如，它指定了何时评估此类注释、如何内省它们以及如何将某些东西声明为类属性与实例属性。

于 2016-10-11T07:08:33.917 回答