python - 如何指定一个属性必须是一个(比方说)整数列表，而不仅仅是一个列表？

Question

使用 attrs libary和 Python 3.6，我认为以下内容允许我指定 x 和 y 只能包含整数:

import attr

@attr.s
class C:
  x : List[int] = attr.ib()   # not working
  y = attr.ib(type=List[int]) # not working either

两个注释行都抛出一个 NameError: name 'List' is not defined。

我希望它起作用的原因是:

(1) types section of the attr documentation包括以下段落:“attrs 还允许您使用 attr.ib() 的类型参数或 – 从 Python 3.6 开始 – 使用 PEP 526 注释将类型与属性相关联”。然后它演示了这两种方法:

@attr.s
class C:
    x = attr.ib(type=int)
    y: int = attr.ib()

(2) PEP 526指出以下类型注释语法是有效的:primes: List[int] = []。

Answer 1

语法 确实有效。但是PEP 484添加的泛型注解对象不在内置命名空间中，而是在 typing 中模块。

因此，您需要执行您链接的 attrs 文档中的所有示例，以及 PEP 484，PEP 483 、PEP 526 和 typing 文档执行以下操作:

from typing import List

---

另外请注意，这只是一个注解。您仍然可以编写 c = C(x=[], y=[1.0]) 并且您不会得到 TypeError。正如您链接的文档所说:

attrs itself doesn’t have any features that work on top of type metadata yet. However it’s useful for writing your own validators or serialization frameworks.

完全不清楚 attrs 应该 对这些元数据做什么。 PEP 483/PEP 484 设计的核心部分是类型注释只不过是运行时的注释，不会影响值的类型或合法存储的位置；它们仅供静态类型检查器和其他独立于 Python 运行的工具使用。

特别是 Mypy(引用标准静态类型检查器)、一些 linters 和一些 IDE 应该将此标记为错误。如果他们还不支持 attrib 注释，他们几乎可以肯定正在处理它(因为它们大致等同于 3.7/PEP 557 dataclass 中的注释属性)。