typing.NewType语法是如何工作的？

Question

Python文档展示了NewType的用法，如下所示：

import typing

foo = typing.NewType('foo', int)
some_id = foo(524313)

我不太明白这个语法到底在做什么。这与此有何不同：

import typing

bar = typing.NewType('foo', int)
some_id = bar(524313)

在上面的源代码中'foo‘!= 'bar’的后果是什么？

或者，也许更糟：

import typing

bar = typing.NewType('foo', int)
some_id = foo(524313)

Answer 1

两种不同的目的。NewType的参数用于描述用于诊断目的的类型，如错误消息。它不能知道您实际存储类型的名称。返回值是实际的类对象。在可能的情况下，将它们混合在一起通常会导致泪水。

您的第三个示例将失败，因为没有foo。

其想法是，稍后，您可以强制执行类型检查：

some_id : foo = bar(524313)

这就触发了诊断。