Python 中的 Typing.cast 有什么作用？

Question

import typing
type(typing.cast(int, '11'))

仍然返回<class 'str'>而不是int. 那么，typing.cast这里有什么作用呢？

Answer 1

从文档（强调我的）：

将值转换为类型。

这将返回不变的值。对于类型检查器，这表明返回值具有指定的类型，但在运行时我们故意不检查任何东西（我们希望这尽可能快）。

“铸造”只发生在类型检查系统中，而不是在现实中。