Python泛型类未使用泛型参数是否合规？为何会有此类写法？

现象说明 #

当声明仅使用一次泛型参数的函数时，静态类型检查器会标记为错误（或宽松模式下的警告），示例代码：

import typing as t

T = t.TypeVar("T")

def bad(a: T) -> None:
    ...

但当定义继承自t.Generic[T]却未使用泛型参数T的类时，类型检查器不会提出异议，示例代码：

class ImBad(t.Generic[T]):
    def not_using_it(i: int) -> str:
        ...
    nor_here: int

核心疑问 #

基于上述现象，有两个关键问题：

1. Python中泛型类未使用泛型参数是否合规？
2. 为何会有人采用此类写法？

一、是否合规？ #

这种写法语法上完全没问题：

• Python解释器运行代码时不会抛出错误，因为Generic[T]只是用于类型注解的基类，不影响代码的实际执行逻辑。
• 像mypy、pyright这类常用的类型检查工具，默认不会将其标记为错误——类型检查器只会约束函数中泛型参数仅出现一次这类明显无意义的情况，但不会强制要求泛型类必须在内部使用泛型参数。

当然，如果开启了极严格的类型检查规则，部分工具可能会给出警告，但这属于可选配置，并非语法层面的禁止。

二、采用此类写法的原因 #

开发者这么做通常出于以下实际需求：

• 给未来留扩展余地：当前类的实现不需要泛型参数，但预期后续会新增依赖泛型的功能。提前继承Generic[T]，后续扩展时无需同步修改所有调用处的类型注解，减少重构成本。
• 适配泛型父类/接口：如果该类是某个泛型抽象基类（ABC）的子类，或者需要实现泛型协议，即使当前实现用不到泛型参数，也必须继承对应的Generic[T]来匹配父类的泛型结构，否则类型检查器会报错。
• 明确设计意图：通过继承Generic[T]，可以向其他开发者传递「这个类是为泛型场景设计的」信号，起到类似文档的作用，避免后续误修改类的泛型属性。
• 统一代码风格：如果项目中多个类共享同一个TypeVar，即使某个类暂时不用泛型参数，继承Generic[T]能保持代码风格的一致性，避免零散定义类型变量。

内容的提问来源于stack exchange，提问作者Felix.leg