python类型注解_python – PEP-484类型带有自己类型的注释

从Python 3.5开始,我们不仅拥有PEP 483,PEP 484,还拥有实现它的typing module.

为了完整理解,您可能需要阅读这3个文档.但对于您的具体情况,简短的回答是,在PEP484领域,您可以通过4种方式使用自己的类型：

如果您寻求的是最重要的：

additional information visible to my own type checker, but invisible to any PEP-484 conforming type checker

然后第二种方法就是这样.如果你这样做：

Int32 = int

Int64 = int

x = 0 # type: Int32

y = 0 # type: Int64

然后Int32和Int64在PEP484领域是相同的,但你可以通过使用社区维护的typed-ast module查看代码的AST(抽象语法树)来添加一些额外的检查.该模块除了代码之外还解析类型注释,所以你可以读取使用的确切注释,从而获得x和y的一些其他类型信息.

并且,如果不可见不是第一优先,那么：

>而不是类Int32(int)：传递我宁愿做typing.NewType(‘Int32’,int),和

>而不是组合(Int32,Meter)我会使用typing.Union [Int32,Meter].

即

Int32 = typing.NewType('Int32', int)

class Metre:

pass

x = [Int32(1)] # type: List[Int32]

y = Int32(1) # type: typing.Union[Int32, Metre]

print(x[0] + 1) # ok, since Int32 is still int

y = Metre() # ok, since y can be Int32 or Metre

typed-ast和mypy现在(2016年)都处于非常活跃的发展阶段.并非一切都按预期工作,但据我所知,它们已经足够用于许多用例,而且似乎没有其他选择.