__class_getitem__ 不等于泛型，因为它仅支持方括号语法、不创建新类、不约束实例行为；真正泛型需继承 typing.Generic 并配合类型变量和类型检查器。

如何通过python的__class_getitem__实现泛型类？

Python 没有真正的泛型类支持，__class_getitem__ 只是类型提示和运行时容器行为的“模拟”，不能做类型检查或生成新类。

为什么 `__class_getitem__` 不等于泛型

它只是让类支持方括号语法（如 MyList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b]），但该调用不创建新类、不改变实例行为、也不约束构造参数。类型检查器（如 mypy）靠的是 typing.Generic 配合 __class_getitem__ 解析标注，而非运行时生效。

调用 MyList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 返回的是 MyList 本身（或 types.GenericAlias），不是子类
isinstance(obj, MyList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b]) 会报错 —— MyList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 不是合法类型谓词
你无法在 __init__ 中自动根据 [https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 检查传入元素是否为 https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b

如何正确实现 `__class_getitem__`（带 `Generic`）

必须继承 typing.Generic 并声明类型变量，否则 mypy 不识别泛型语义；__class_getitem__ 通常只需委托给 typing.Generic 的默认逻辑。

from typing import Generic, TypeVar, List
<p>T = TypeVar('T')</p><p>class Stack(Generic[T]):
def <strong>init</strong>(self) -> None:
self._items: List[T] = []</p><pre class="brush:php;toolbar:false;">def push(self, item: T) -> None:
    self._items.append(item)

# 无需手动实现 __class_getitem__ —— Python 3.9+ 自动提供
# （若需自定义，返回 types.GenericAlias 或原类即可）

Python 3.9+ 中，只要继承 Generic[T]，Stack[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 就自动可用，且被 mypy 当作泛型使用
手动实现 __class_getitem__ 仅在需要拦截（如日志、转发到嵌套类）时才必要
返回值应为 types.GenericAlias（推荐）或原类；返回新类会导致 isinstance 和序列化异常

常见错误：把 `__class_getitem__` 当成类型约束入口

有人试图在 __class_getitem__ 里存下类型并用于后续实例校验，这是行不通的 —— 类对象和实例是分离的，且类型信息不会自动传播。

python-code-analyz

专业Python代码分析与优化，支持语法检查、安全扫描、性能评估、复杂度分析及重构后优化代码生成。

下载

class BadList:
    _item_type = None
<pre class="brush:php;toolbar:false;">def __class_getitem__(cls, item_type):
    cls._item_type = item_type  # ❌ 错误：修改类属性会污染所有后续使用！
    return cls

def append(self, x):
    if not isinstance(x, self._item_type):  # ❌ 运行时无效：_item_type 是全局共享的
        raise TypeError

BadList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 和 BadList[str] 共享同一个 _item_type，后调用者会覆盖前者
即使不共享，append 也无法获知“当前是 BadList[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 实例”，因为类没记录这个上下文
真要做运行时类型检查，得靠 __init__ 接收显式 item_type 参数，或用装饰器/描述符封装

真正能用的组合：Generic + runtime check（可选）

如果确实需要运行时类型安全（比如教学或调试场景），需显式传参 + 手动检查，__class_getitem__ 仅作标注桥梁：

from typing import Generic, TypeVar, get_args
<p>T = TypeVar('T')</p><p>class CheckedStack(Generic[T]):
def <strong>init</strong>(self, item_type: type[T] | None = None) -> None:
self._item_type = item_type or T
self._items: list[T] = []</p><pre class="brush:php;toolbar:false;">def push(self, item: T) -> None:
    if self._item_type is not T and not isinstance(item, self._item_type):
        raise TypeError(f"Expected {self._item_type}, got {type(item)}")
    self._items.append(item)

使用时：

s = CheckedStackhttps://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b # ✅ 显式传 https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b，运行时生效

CheckedStack[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b] 仍只用于类型提示；运行时行为靠构造时传的 https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b
get_args(CheckedStack[https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b]) 可在内部提取 https://www.php.cn/link/d3e4b9f9aa7aac3bd930abb82fab2d2b，但注意：它返回 tuple，且 CheckedStack 必须继承 Generic[T]
不要依赖 __class_getitem__ 触发任何副作用 —— 它可能被静态分析工具调用多次，也可能被跳过