Python类型提示中是否存在非协变的Type[T]实现精确类型约束？

你需要为库函数编写类型提示，实现用户自定义类型反序列化器的注册逻辑：用户传入目标类型T，以及签名为decode: str -> T的解码函数。
按照PEP 484规范最直观的写法如下：

from typing import Callable, Type, TypeVar
T = TypeVar("T")
def register_decoder(type_: Type[T], decode: Callable[[str], T]):
    ...

但由于Type[T]对类型参数T是协变的，上述写法对decode函数的约束强度不足：在pyright等类型检查器中，调用register_decoder(int, decode=str)可以正常通过类型检查，类型变量T会被推导为联合类型int | str，完全不符合预期——str构造函数的返回值是字符串，根本不是int类型的实例。
核心需求是找到可行的类型标注方式，强制约束decode的返回值必须是type_对应的精确类型实例，让上述错误调用触发类型报错。如果存在Type[T]的非协变等价类型，仅接收精确匹配的类对象T而非任意子类型/兼容类型，就可以实现该需求。

可行方案 #

首先明确：Python PEP 484类型体系原生没有提供非协变、要求精确类型匹配的类对象注解，type[T]（Python 3.9+替代typing.Type的内置泛型）的协变特性是规范定义的默认行为。你遇到的T被推导为联合类型的问题，本质是类型检查器泛型求解时，默认取多参数对应类型的公共超类型作为泛型实参导致的，目前可以通过两种方式实现严格约束：

• 方案1：开启类型检查器的严格泛型不变性配置
  这是成本最低的实现方式：在pyright配置文件中设置strictGenericInvariance: true，或在mypy中开启strict模式下的泛型不变性检查。开启后类型检查器不会为了匹配多参数自动扩大T的取值范围（比如推导为联合类型），你最初写的原始注解就可以正常工作，register_decoder(int, decode=str)会直接抛出类型不匹配错误。
• 方案2：无配置依赖的通用写法
  如果不想修改全局类型检查规则，可以通过一个无运行时开销的包装类型阻断默认的协变推导逻辑，强制检查器优先以传入的类对象类型作为T的唯一求解依据，代码如下：

  from typing import Callable, TypeVar
  
  T = TypeVar("T")
  
  # 仅用于类型标注，无运行时逻辑
  class ExactType:
      def __class_getitem__(cls, item: type[T]) -> type[T]:
          return item
  
  def register_decoder(
      type_: ExactType[T],
      decode: Callable[[str], T]
  ) -> None:
      # 实际注册逻辑
      pass
  

注：上述ExactType仅用于静态类型检查，运行时不会对传入的类对象做任何包装，和原始写法的运行时行为完全一致，没有额外性能开销。

该写法下，只有当decode的返回值类型和传入的类对象类型完全匹配时才能通过类型检查，错误传入int和str构造函数的调用会被直接拦截。

内容的提问来源于stack exchange，提问作者Anthony Carapetis