Python泛型类初始化类型报错：'TypeVar'对象无'run'属性

期望实现的伪代码 #

class A:
    @classmethod
    def run():
        print("lul")

class Test[T]():
    def run(self):
        return T.run()

t = Test[A]()
t = t.run()

运行报错 #

File ".../main.py", line 13, in test
    return T.run()
           ^^^^^
AttributeError: 'typing.TypeVar' object has no attribute 'run'

核心疑问：该功能是否可实现？若不可实现请解释原因，并提供替代方案。
补充说明：实际场景中无法以任何方式将A作为引用传递给T。

这个功能可以实现，你当前写法报错的原因是：Python泛型默认是运行时类型擦除的，代码里的T只是定义阶段的类型变量标识，并非实例化时传入的实际类A，直接调用T.run()自然会找不到属性。

原因细节 #

PEP 484定义的Python泛型机制中，泛型参数在运行时不会自动绑定为实际类型，Test[A]实例化后，如果不做额外处理，T还是最初定义的TypeVar对象，而非A类本身。

替代方案 #

以下两种方案都不需要显式传递A给Test，仅通过Test[A]的声明即可获取实际类型：

方案1：利用__orig_class__（Python 3.8+）

Python为泛型实例自动添加了__orig_class__属性，可从中提取实际类型参数：

from typing import TypeVar, Generic

T = TypeVar('T')

class A:
    @classmethod
    def run(cls):  # 修正：classmethod必须接收cls参数
        print("lul")

class Test(Generic[T]):
    def run(self):
        # 提取泛型对应的实际类
        actual_cls = self.__orig_class__.__args__[0]
        return actual_cls.run()

t = Test[A]()
t.run()  # 输出: lul

方案2：使用typing.get_args（Python 3.8+）

通过get_args工具函数直接解析实例的泛型参数：

from typing import TypeVar, Generic, get_args

T = TypeVar('T')

class A:
    @classmethod
    def run(cls):
        print("lul")

class Test(Generic[T]):
    def run(self):
        # 获取当前实例绑定的泛型实际类型
        actual_cls = get_args(type(self))[0]
        return actual_cls.run()

t = Test[A]()
t.run()  # 输出: lul

关键修正提示 #

你原代码中A.run的定义不符合@classmethod规范，必须添加cls作为第一个参数，否则即使泛型问题解决，也会触发参数数量不匹配的错误。

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