为何mypy/PyCharm无法检测Type[T]相关类型错误？

为什么类型检查器未检测到错误？ #

当前函数签名def verify(schema: Type[T], data: T) -> None的类型推导逻辑是：类型检查器会寻找一个能同时兼容两个参数的类型T。当调用verify(int, "3")时，int属于Type[object]的子类，"3"属于object的子类，因此T会被推导为object——这个类型同时满足两个参数的约束，所以不会触发类型错误。

简单来说，Python的类型系统是结构类型，优先寻找参数的公共超类型，而非严格匹配schema对应的实例类型。

如何让类型检查器正确检测？ #

有两种可行的解决方案：

1. 显式指定类型变量 #

调用函数时显式绑定T的类型，强制类型检查器按照指定类型验证：

from typing import TypeVar, Type

T = TypeVar("T")

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

# 显式指定T为int，此时第二个参数"3"会触发类型错误
verify[int](int, "3")
# 显式指定T为float，同样触发错误
verify[float](float, "3")
# 显式指定T为str，无错误
verify[str](str, "3")

2. 使用泛型类约束推导逻辑 #

通过泛型类的方式，让类型检查器优先从schema参数推导T的类型，再验证data是否匹配：

from typing import TypeVar, Type, Generic

T = TypeVar("T")

class Verifier(Generic[T]):
    def __call__(self, schema: Type[T], data: T) -> None:
        pass

verify = Verifier()

# 此时T会从schema推导为int，data为str会触发错误
verify(int, "3")
# T推导为float，data为str触发错误
verify(float, "3")
# T推导为str，无错误
verify(str, "3")

关于apischema的类似问题 #

apischema的serialize等函数依赖自定义类型检查插件实现静态类型验证，默认情况下mypy/PyCharm不会自动识别。你需要：

• 安装apischema的mypy插件（apischema[mypy]）
• 在mypy.ini配置文件中添加plugins = apischema.mypy
• 确保PyCharm启用了对应的类型检查插件或支持apischema的注解解析

这样才能让静态类型检查器正确验证serialize的参数类型。

内容的提问来源于stack exchange，提问作者Yatharth Agarwal