Python为何不允许对泛型（Generic）进行isinstance检查？

问题复现 #

运行以下Python 3.12.4代码：

from typing import Generic, TypeVar

T = TypeVar("T")

class Foo(Generic[T]):
    def some_method(self) -> T:
        pass

isinstance(Foo[int](), Foo[int])

会抛出错误：

TypeError: Subscripted generics cannot be used with class and instance checks

完整报错栈：

Traceback (most recent call last):
  File "/path/to/a.py", line 9, in <module>
    isinstance(Foo[int](), Foo[int])
  File "/path/to/.pyenv/versions/3.12.4/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/typing.py", line 1213, in __instancecheck__
    return self.__subclasscheck__(type(obj))
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/path/to/.pyenv/versions/3.12.4/Library/Frameworks/Python.framework/Versions/3.12/lib/python3.12/typing.py", line 1216, in __subclasscheck__
    raise TypeError("Subscripted generics cannot be used with"
TypeError: Subscripted generics cannot be used with class and instance checks

提问：请问Python不允许对Generic进行isinstance检查的设计依据是什么？

设计依据 #

• 运行时类型擦除机制：Python的泛型采用运行时类型擦除，Foo[int]和Foo[str]在运行时本质是同一个Foo类，不会保留类型参数的信息。而isinstance是运行时检查，无法区分不同类型参数的泛型实例，强行支持会导致检查结果完全不符合预期。

• 泛型的定位偏向静态检查：Python泛型主要为静态类型检查（如配合mypy等工具）设计，并非用于运行时类型验证。运行时类型系统核心基于实际类实例，泛型下标更多是给类型检查器的“语法提示”，而非运行时真实存在的实体。

• 避免语义混淆：如果允许isinstance(Foo[int](), Foo[int])，开发者容易误以为运行时能精确校验泛型参数，但实际做不到。直接禁止这种用法，能明确传递“泛型参数不参与运行时类型检查”的设计意图，避免开发者写出依赖运行时泛型类型的错误代码。

• 实现复杂度与性能考量：要让isinstance支持泛型下标检查，需要在运行时为每个泛型下标组合创建新类或保留类型参数信息，这会大幅增加类型系统复杂度，还会带来额外运行时性能开销，违背Python“简单实用”的设计哲学。

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