如何为接收泛型抽象类子类实例与匹配泛型类型值的函数正确标注类型

你的核心问题是当前的TypeVar没有把函数参数obj（AbcClass的子类）和value的类型关联起来，导致类型检查无法确保value的类型和obj的泛型参数一致。下面是两种可行的解决思路：

1. 用绑定的TypeVar关联两个参数的类型 #

我们可以通过让T的bound指向AbcClass[V]，把V（value的类型）和T（AbcClass子类）的泛型参数绑定起来。这样类型检查器就能推断出：当T是IntClass时，V必须是int，以此类推。

代码示例：

from typing import TypeVar, Callable, Generic, ABC

V = TypeVar("V")
# T 必须是 AbcClass[V] 的子类，从而将 V 和 T 的泛型参数关联
T = TypeVar("T", bound=AbcClass[V])

# 现在 FooFn 中，V 严格对应 T 的泛型参数类型
FooFn = Callable[[T, V], None]

这样定义后，类型检查器会自动确保：

• 若obj是IntClass实例，value必须是int类型
• 若obj是StrClass实例，value必须是str类型
• 以此类推，不会出现V和T类型不匹配的情况

2. 用Protocol显式定义函数协议 #

如果你想更清晰地表达函数的类型约束，可以使用Protocol来定义一个泛型协议，明确规定obj和value的类型关联。这种方式可读性更强，后续扩展函数参数时也更容易维护。

代码示例：

from typing import Protocol, TypeVar, Generic, ABC

V = TypeVar("V")

class FooFnProtocol(Protocol[V]):
    def __call__(self, obj: AbcClass[V], value: V) -> None: ...

使用这个协议时，任何符合“接收AbcClass[V]子类实例+V类型值，返回None”的函数都会被类型检查器认可。比如你的foo函数：

def foo(obj: IntClass, value: int) -> None:
    pass

# 类型检查器会自动推断这符合 FooFnProtocol[int]
def bar(obj: StrClass, value: str) -> None:
    pass

关于你提到的“协变性”误解 #

你之前担心AbcClass不是协变的，所以无法用AbcClass[V]涵盖它的子类，但这是个误解：

• 协变性是指“能否用更具体的泛型类型替代更通用的泛型类型”（比如用AbcClass[int]替代AbcClass[object]），这和子类继承是两码事。
• 只要你的子类是AbcClass[V]的子类（比如IntClass继承自AbcClass[int]），那么它就可以被传递给类型为AbcClass[V]的参数，和协变性无关。

备注：内容来源于stack exchange，提问作者Danii672