Python泛型类中用is对TypeVar进行类型收窄的问题

核心原因拆解 #

你的问题本质是类型检查器对泛型类型变量与具体Union类型的处理逻辑差异，以及is和isinstance的语义不同导致的收窄行为区别：

1. 泛型类型变量的处理限制

当你在泛型类中使用type[T]（T为限定的不变TypeVar）时，类型检查器在处理类方法时，是针对所有符合T限定的类型场景进行静态分析，而非针对某个具体的泛型实例化类型。

比如你的T限定为int | str，类型检查器无法在方法中静态确定当前实例的T是int还是str，因此不会认为self.stored_type is int这个条件能直接将self.stored_type收窄为type[int]——它需要考虑T=int时self.stored_type可能是int的子类类型（比如自定义的MyInt(int)），此时is检查会失败，但self.stored_type仍属于type[int]范畴。

而在Union场景（如def func(t: type[int] | type[str])）中，类型检查器明确知道所有可能的类型成员，因此可以对is检查做精确的枚举收窄。

2. is与isinstance的语义差异导致的收窄逻辑不同

• is的身份语义：is检查的是对象的内存身份，类型检查器对这种检查的收窄逻辑非常保守——它不会假设某个类型字面量（如int）在运行时一定是单例对象（虽然内置类型确实是单例，但自定义类可能被动态创建多个身份不同的同类对象）。对于泛型中的type[T]，类型检查器无法静态证明self.stored_type的身份与某个具体类型完全一致，因此不会触发收窄。
• isinstance的类型语义：你使用的isinstance(stored_type, type(TargetType))本质是检查stored_type是否是type类的实例（因为type(TargetType)返回的就是type），这个检查本身几乎总是成立，但结合泛型的类型限定，类型检查器会将其作为一个“类型确认”的信号，进而将stored_type收窄为type[TargetType]。如果你的实际需求是检查stored_type是否是TargetType或其子类的类型，更准确的写法是issubclass(stored_type, TargetType)，类型检查器对这个写法的收窄支持更直接。

3. 类型检查器的设计权衡

类型检查器的核心目标是保证类型安全，而非完全贴合所有运行时场景。对于泛型场景下的is检查，由于无法静态覆盖所有可能的运行时情况（比如子类类型、动态创建的类型），类型检查器选择不做收窄，避免引入潜在的类型不安全风险。

解决方案建议 #

如果你确实需要严格的身份检查（即stored_type必须是TargetType本身，而非子类），可以通过以下方式让类型检查器正确收窄：

• 在泛型方法中添加显式的类型断言：

  from typing import cast
  
  if self.stored_type is int:
      self.stored_type = cast(type[int], self.stored_type)
      # 后续代码可正常使用int类型的特性
  

• 或者使用typing.assert_type（Python 3.10+）：

  from typing import assert_type
  
  if self.stored_type is int:
      assert_type(self.stored_type, type[int])
  

内容的提问来源于stack exchange，提问作者502E532E