Python泛型类两种实现的差异对比及选型建议

两种Stack实现代码 #

实现一（继承Generic[T]） #

from typing import TypeVar, Generic

T = TypeVar('T')

class Stack(Generic[T]):
    def __init__(self) -> None:
        self.items: list[T] = []

    def push(self, item: T) -> None:
        self.items.append(item)

    def pop(self) -> T:
        return self.items.pop()

    def empty(self) -> bool:
        return not self.items

实现二（未继承Generic[T]） #

from typing import TypeVar

T = TypeVar('T')

class Stack:
    def __init__(self) -> None:
        # Create an empty list with items of type T
        self.items: list[T] = []

    def push(self, item: T) -> None:
        self.items.append(item)

    def pop(self) -> T:
        return self.items.pop()

    def empty(self) -> bool:
        return not self.items

问题解答 #

1. 两种实现方式的区别 #

• 类型规范与合法性：
  第一种实现是Python泛型类的标准写法，通过继承Generic[T]，明确告诉类型检查器（如mypy、pyright）这个类是泛型类，T是它的类型参数，完全符合官方类型提示规范。
  第二种实现没有继承Generic[T]，虽然运行时能正常工作，但在严格类型检查场景下会报错——类型检查器无法识别T是类的泛型参数，会将其视为未绑定的类型变量，属于不规范的写法。
• 泛型身份与类型推导：
  继承Generic[T]的类，能被类型系统正确识别为泛型类。比如声明Stack[int]()时，类型检查器会明确这是存储int类型的栈，后续push错误类型的元素会直接触发检查报错。
  第二种实现中，Stack[int]这种泛型实例化写法会被类型检查器判定为无效，同时无法准确跟踪栈内元素的类型，即使传入错误类型的值，也无法被类型检查工具检测到。

2. 应该选择哪一种实现方式 #

优先选第一种继承Generic[T]的实现，理由如下：

• 这是Python泛型类的标准写法，符合官方规范，兼容性更强。
• 能被主流类型检查工具正确识别，在开发阶段就能发现类型错误，提升代码可靠性和可维护性。
• 代码语义更清晰，其他开发者一眼就能识别这是泛型类，理解其支持类型参数的特性。
• 第二种实现属于“钻运行时空子”的不规范写法，无法发挥类型提示的作用，长期来看不利于代码的扩展和维护。

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