如何在Python中泛型化实例方法的关键字参数类型？

你可以通过正确定义绑定到TypedDict的泛型TypeVar，结合Python 3.11的Unpack语法，实现无需重复重写方法的需求。以下是可行的实现方案：

正确的泛型类实现 #

from typing import TypeVar, Generic, TypedDict, Unpack

# 定义绑定到TypedDict的TypeVar，指定bound为TypedDict
T = TypeVar("T", bound=TypedDict)

class Base(Generic[T]):
    def f(self, **kwargs: Unpack[T]) -> None:
        # 这里编写所有实例共享的f方法逻辑
        print("执行f方法，参数:", kwargs)

# 定义不同的TypedDict类型
class DTypes(TypedDict):
    a: int
    b: str

class ETypes(TypedDict):
    a: str
    b: int

使用方式 #

直接创建泛型实例（无需子类化） #

不需要创建D、E这类子类，直接通过指定泛型参数生成实例，就能获得对应的kwargs类型检查：

# 创建对应DTypes的实例
d_inst = Base[DTypes]()
d_inst.f(a=1, b="hello")  # 类型检查通过，参数符合DTypes定义

# 创建对应ETypes的实例
e_inst = Base[ETypes]()
e_inst.f(a="world", b=2)  # 类型检查通过，参数符合ETypes定义

若需要子类化（可选） #

如果一定要创建子类，只需继承时指定泛型参数即可，无需重写f方法：

class D(Base[DTypes]):
    pass

d_obj = D()
d_obj.f(a=3, b="test")  # 类型检查正常，自动复用Base的f方法逻辑

关于之前的错误说明 #

你之前尝试时Pyright报错，是因为早期版本的Pyright对TypeVar绑定TypedDict的支持不完善。更新Pyright到1.1.300及以上版本后，就能正常识别这种写法。

这种方案既满足了共享方法逻辑的需求，又能通过泛型参数精准控制每个实例的kwargs类型，完全符合PEP 692的设计目标。

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