Python 3.10中如何实现返回泛型类实例列表的泛型函数？

你的核心问题在于对泛型类型的理解和使用有误，原代码存在两个关键问题：

1. list[Foo]不是可直接实例化的类对象，Type注解针对的是类本身（比如list、Foo），而list[Foo]是泛型类型的具体化形式，无法作为Type类型的参数传入。
2. 即使能传入，直接调用t(a)只会把字符串列表作为列表元素，不会自动创建Foo或Foo2的实例。

正确实现方式 #

我们应该针对列表中的元素类型定义泛型，让函数接收元素的类和字符串列表，逐个创建实例并组装成列表：

from typing import TypeVar, Type

class Foo(object):
    def __init__(self, a: str):
        self.a = a

    def __repr__(self):
        return f"{self.__class__.__name__} a={self.a}"

class Foo2(Foo):
    pass

# 定义绑定到Foo的泛型变量，限制为Foo或其子类
TFoo = TypeVar("TFoo", bound=Foo)

def init_list(item_type: Type[TFoo], values: list[str]) -> list[TFoo]:
    # 遍历字符串列表，逐个创建对应类的实例
    return [item_type(val) for val in values]

# 测试Foo实例列表
o3: list[Foo] = init_list(Foo, ["A", "C"])
print(o3)  # 输出: [Foo a=A, Foo a=C]

# 测试Foo2实例列表
o4: list[Foo2] = init_list(Foo2, ["B", "D"])
print(o4)  # 输出: [Foo2 a=B, Foo2 a=D]

代码说明 #

• TFoo绑定到Foo，确保传入的item_type必须是Foo或其子类，保证类型安全。
• 函数内部通过列表推导式，将每个字符串传入元素类的构造函数，生成实例后组成列表返回。
• 类型检查器会自动推断返回列表的元素类型，比如传入Foo2时，返回list[Foo2]，符合你的类型注解需求。

为什么原代码不可行 #

• Type[TFoo_co]要求参数是类对象，但list[Foo]是泛型类型的实例（不是类本身），Python解释器无法将其识别为可实例化的类型。
• 即使你传入list类，list(a)只会生成包含字符串的列表，而不是Foo实例的列表，完全不符合你的需求。

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