在Python中，typeing.cast有什么作用？

Question

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

仍然返回<class 'str'>而不是int。然后，typing.cast在这里做什么？

Answer 1

来自the documentation（重点是我）：

  

将值设为类型。

     

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

“投射”仅在类型检查系统中进行，而不是现实中。