如何创建Generic[T]，使类型参数T为X或X的子类？

你其实误解了TypeVar的bound参数——TypeVar("T", bound=X)本身就允许T是X类型本身或者X的子类，不需要额外的复杂操作。

举个简单的示例代码：

from typing import TypeVar, Generic

class X:
    pass

class XSub(X):
    pass

T = TypeVar("T", bound=X)

class Container(Generic[T]):
    def __init__(self, item: T) -> None:
        self.item = item

# 以下用法均合法
container_x = Container(X())
container_sub = Container(XSub())

在这个实现里，Container既可以接收X的实例，也可以接收X子类的实例，完全匹配你想要的「容纳X或X子类」的需求。

你之前觉得bound=X只允许子类，可能是混淆了bound的语义：bound的约束逻辑就是T必须是指定类型的子类型（包含类型本身），这正好契合你的需求。

你提到的两种方案都没必要：

• 方案1属于多此一举，不需要额外创建空子类
• 方案2的T | X会模糊类型约束，破坏泛型的精确性，类型检查器无法准确推断T的具体类型

至于协议（Protocol），它适用于基于行为而非继承关系约束类型的场景——比如你希望容器能容纳任何实现了X某些方法的类型，不管是否继承自X。但你的需求明确是基于继承关系的X或其子类，所以用带bound的TypeVar配合泛型容器就是最直接正确的做法。

内容的提问来源于stack exchange，提问作者şuayip üzülmez