Python泛型继承时类型检查未正确生效问题咨询

解决方案 #

方案1：使用泛型别名（Python 3.10+ 支持，完全匹配期望写法）

如果不需要为IntListMap添加独有的方法或属性，直接使用参数化泛型别名即可实现你要的效果，无需额外的继承声明：

from typing import Generic, TypeVar

T = TypeVar("T")
K = TypeVar("K")


class Mapping(Generic[T, K]):
    def __init__(self, mapping: dict[T, K]):
        self.mapping = mapping

# 定义泛型别名，固定第一个参数为int，第二个参数外层固定为list，仅暴露list内部元素类型作为唯一参数
IntListMap = Mapping[int, list[K]]

# 和你期望的写法完全一致
foo: IntListMap[str] = IntListMap({0: ["", ""]})

方案2：Python 3.12+ 原生泛型语法（需要自定义子类时使用）

如果需要给IntListMap添加自定义逻辑，Python 3.12引入的原生泛型类语法可以省略显式继承Generic的步骤：

from typing import Generic, TypeVar

T = TypeVar("T")
V = TypeVar("V")

class Mapping(Generic[T, V]):
    def __init__(self, mapping: dict[T, V]):
        self.mapping = mapping

# 直接在类名后声明剩余泛型参数即可，无需额外继承Generic[K]
class IntListMap[K](Mapping[int, list[K]]):
    # 可在此处添加自定义方法
    def get_list_item(self, key: int, index: int) -> K:
        return self.mapping[key][index]

foo: IntListMap[str] = IntListMap({0: ["", ""]})

低版本Python兼容说明

如果你使用Python 3.11及以下版本，且必须自定义子类而不能用泛型别名，那么确实需要显式继承Generic[K]向类型检查器声明剩余泛型参数的顺序。但你之前的示例中使用IntListMap[int, list[str]]是冗余错误的写法，正确用法依然只需要传入剩余的泛型参数：

from typing import Generic, TypeVar

T = TypeVar("T")
K = TypeVar("K")

class Mapping(Generic[T, K]):
    def __init__(self, mapping: dict[T, K]):
        self.mapping = mapping

class IntListMap(Mapping[int, list[K]], Generic[K]):
    pass

# 正确写法，仅需传入list的元素类型
foo: IntListMap[str] = IntListMap({0: ["", ""]})

原理解释 #

类型检查器默认不会自动推导泛型子类继承父类后剩余自由类型变量的顺序，因此低版本Python中需要显式通过Generic继承声明参数列表。泛型别名和Python 3.12+的原生泛型语法都内置了这个推导逻辑，因此可以省略多余的声明步骤。

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