如何使用Python泛型提示指定父类成员的具体实现类型？

你的代码存在几个关键问题导致泛型参数无法正确关联到静态成员tool_impl，以下是修正方案：

核心问题分析 #

1. TypeVar定义错误：原代码用TToolImpl = TypeVar("TToolImpl", ToolInterface)定义的是受限TypeVar（仅允许指定ToolInterface类型），而非支持子类推导的绑定TypeVar，应该用bound=ToolInterface来限定类型上界。
2. 静态成员类型标注缺失ClassVar：泛型类中的静态成员需要用ClassVar标注，才能让类型检查器将其与泛型参数关联，否则无法识别泛型类型的变化。
3. 基础语法错误：包括接口定义用def而非class、方法缺少self参数、测试方法未加def关键字等，这些会导致代码无法运行或类型提示失效。

修正后的完整代码 #

abstract_tool.py #

from abc import ABC, abstractmethod

class ToolInterface(ABC):
    @abstractmethod
    def do_something(self):
        pass

tool_test_base.py #

from typing import Generic, TypeVar, ClassVar
import unittest

from abstract_tool import ToolInterface

# 绑定TypeVar到ToolInterface，允许其子类作为泛型参数
TToolImpl = TypeVar("TToolImpl", bound=ToolInterface)

class ToolTestBase(Generic[TToolImpl], unittest.TestCase):
    # 用ClassVar标注静态成员，关联泛型参数TToolImpl
    tool_impl: ClassVar[TToolImpl]

    def test_do_something(self):
        assert self.tool_impl.do_something() == "hello"

my_tool.py #

from abstract_tool import ToolInterface

class MyTool(ToolInterface):
    def do_something(self):
        return "hello"
    
    def do_something_special(self):
        return "🎁"

my_tool_test.py #

from tool_test_base import ToolTestBase
from my_tool import MyTool

class MyToolTest(ToolTestBase[MyTool]):
    # 给静态成员赋值具体的MyTool实例，触发类型提示更新
    tool_impl = MyTool()

    def test_something_special(self):
        assert self.tool_impl.do_something_special() == "🎁"

关键修正说明 #

• 使用bound=ToolInterface定义TypeVar，确保泛型参数只能是ToolInterface的子类，同时让类型检查器能正确推导子类指定的具体类型。
• ClassVar[TToolImpl]明确tool_impl是类级静态成员，其类型随泛型参数变化，这样MyToolTest继承ToolTestBase[MyTool]后，tool_impl的类型提示会自动变为MyTool。
• 子类必须给tool_impl赋值具体实例，否则不仅运行时会报错，类型检查器也无法识别其具体类型。

内容的提问来源于stack exchange，提问作者Tomáš Zato