如何正确实现泛型管理器类并自动推断关联的ID类型参数？

当然可以！你完全不需要手动重复指定T类型参数——Python的类型检查器（比如mypy、pyright）能够从TObj的泛型参数中自动推断出T。核心是调整TypeVar的约束规则，让TObj明确绑定到带具体类型参数的MyObj[T]，而不是泛型类本身。

修改后的完整代码 #

from typing import TypeVar, Generic, List

# 保留你原有的MyObj及其实现类定义
T = TypeVar("T", str, int, bytes)

class MyObj(Generic[T]):
    id: T

class MyObjImplInt(MyObj[int]): ...
class MyObjImplStr(MyObj[str]): ...

# 重点调整：让TObj绑定到MyObj[T]，而非泛型类MyObj
# 这样类型检查器能自动从TObj中提取对应的T类型
TObj = TypeVar("TObj", bound=MyObj[T])

class MyObjMgr(Generic[TObj]):
    objs: List[TObj]

    def __init__(self, objs: List[TObj]):
        self.objs = objs

    def get_by_id(self, obj_id: T) -> List[TObj]:
        # 这里的T会自动从TObj的泛型参数中推断出来
        return [e for e in self.objs if e.id == obj_id]

# 现在只需要传入TObj类型，无需额外指定T！
class MyObjMgrInts(MyObjMgr[MyObjImplInt]): ...
class MyObjMgrStrs(MyObjMgr[MyObjImplStr]): ...

为什么这样有效？ #

当你把TObj的约束从bound=MyObj改成bound=MyObj[T]时，相当于告诉类型检查器：TObj必须是MyObj的某个具体实例化类型（比如MyObj[int]），而T就是这个实例化类型的类型参数。

举个例子：

• 当你定义MyObjMgrInts继承MyObjMgr[MyObjImplInt]时，MyObjImplInt本质是MyObj[int]，类型检查器会自动把T推断为int，所以get_by_id方法的obj_id参数会被正确约束为int类型。
• 同理，MyObjMgrStrs对应的T会被推断为str，完全符合你的需求。

进阶：运行时获取T类型（可选） #

如果你的业务逻辑需要在运行时获取T的具体类型，而不仅仅是静态类型检查，可以用typing模块的get_args和get_origin工具来提取：

from typing import get_args, get_origin

class MyObjMgr(Generic[TObj]):
    # ... 其他代码保持不变 ...

    def get_id_type(self) -> type:
        # 提取TObj的泛型参数
        id_type = get_args(self.objs.__args__[0])[0]
        return id_type

这样你就彻底摆脱了重复指定类型参数的冗余，同时保持了完整的类型安全性。

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