使用Python泛型减少代码重复时遇类型错误的问题咨询

你遇到的错误不是别名的普遍问题，而是泛型别名的定义方式错误导致的。

错误原因 #

你写的Bar = list[Foo[T]]并没有创建可复用的泛型别名，而是直接用当前作用域里的T去“填充”了Foo的类型参数，最终Bar被解析成了不带泛型参数的list[Foo]（相当于把泛型Foo当成了具体类型）。当你在Baz里尝试用Bar[T]给它传类型参数时，Python发现Bar已经没有可替换的类型变量了，因此抛出了那个错误。

正确的泛型别名定义方式 #

要创建真正的泛型别名，需要明确声明它是泛型的，分两种场景：

1. Python 3.12+（推荐写法）
   用新的泛型别名语法，直接给别名指定类型变量：

   from typing import Generic, TypeVar
   from pydantic import BaseModel
   
   T = TypeVar("T")
   
   class Foo(BaseModel, Generic[T]):
       a: T
   
   # 定义泛型别名Bar，它接受一个类型参数U
   type Bar[U] = list[Foo[U]]
   
   class Baz(BaseModel, Generic[T]):
       b: Bar[T]
   

2. Python 3.11及以下版本
   用TypeAlias结合独立的类型变量来声明：

   from typing import Generic, TypeVar, TypeAlias
   from pydantic import BaseModel
   
   T = TypeVar("T")
   # 为别名单独定义TypeVar，避免和外部的T混淆
   U = TypeVar("U")
   
   class Foo(BaseModel, Generic[T]):
       a: T
   
   # 声明Bar是泛型别名，类型为list[Foo[U]]
   Bar: TypeAlias = list[Foo[U]]
   
   class Baz(BaseModel, Generic[T]):
       b: Bar[T]
   

这样定义后，Bar就变成了可以接受类型参数的泛型别名，在Baz里用Bar[T]就能正常运行，达到减少代码重复的目的。

总结 #

别名本身没有问题，问题出在你没有按照规范定义泛型别名。只要正确声明泛型别名，就能像直接写list[Foo[T]]一样正常复用代码。

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