为什么 mypy/PyCharm/etc 没有检测到 Type[T] 的类型错误？

Question

考虑以下代码：

def verify(schema: Type[T], data: T) -> None:
    pass

verify(int, "3")
verify(float, "3")
verify(str, "3")

我希望前两个verify()调用显示为类型错误，而最后一个则不会。

然而，在 PyCharm 和 mypy 中，它们都没有出现类型错误。我尝试启用所有可能的严格性标志和错误代码，但什么也没有。

我怎样才能让类型检查器对此进行类型检查？为什么会失败？

库喜欢apischema依赖这样的功能来进行类型检查，例如apischema.serialize(MyDataclass, my_dataclass)，但这也不起作用。

Answer 1

绑定到的类型T不是由任何单个参数确定的；它是以满足召唤的方式选择的。由于是-and-或-and- )object最接近的常见超类型，因此在这些情况下必然是。（对于,必然出于同样的原因：它是和的最简单的最接近的超类型）。intstrfloatstrTobjectverify(str, "3")Tstrstrstr

您可以通过verifyreturn来看到这一点schema，然后询问mypy返回值是什么。

def verify(schema: Type[T], data: T) -> Type[T]:
    return schema

reveal_type(verify(int, "3"))  # builtins.object
reveal_type(verify(float, "3"))  # builtins.object
reveal_type(verify(str, "3"))  # builtins.str

如果您可以枚举您期望传递给的类型，则可以通过创建约束schema类型变量来部分解决问题。T

T = TypeVar('T', int, str, float)

def verify(schema: Type[T], data: T) -> None:
    ...

由于T无法再绑定到object，因此您的前两个示例将无法根据需要进行类型检查。

请注意，类似以下内容仍然会通过：

class MyFloat(float):
    pass


verify(MyFloat, 3.14)

因为T将绑定到和float的最接近的公共超类。（这实际上与 的情况没有什么不同，但往往“看起来”不那么令人惊讶。）floatMyFloatobject