MyPy中的类型断言

根据the MyPy documentation ,有两种方法可以进行类型断言:

• 作为内联表达式,您可以使用 typing.cast(..., ...) 功能。文档说这“通常”是为了从超类型转换为子类型,但并没有说在其他情况下不能使用它。
• 作为声明,您可以使用 assert isinstance(..., ...) ,但这只适用于具体类型,如 int 或 list 它们在运行时表示,而不是更复杂的类型,如 List[int] 无法通过以下方式检查 isinstance .

由于文档中没有提到任何其他进行类型断言的方法,因此这些似乎是唯一的方法。