Python报错TypeError: 'TypeVar' object is not subscriptable，如何创建绑定Generic的TypeVar？

• Python 运行时默认会对类型注解进行求值，而原生TypeVar没有实现__getitem__方法，直接写ModelVar[ToInsert]会在运行时触发TypeError。
• PEP 484 类型体系原生不支持将普通 TypeVar 作为泛型类型直接下标，核心原因是当前 Python 类型系统没有完全实现高阶类型（HKT），无法直接表达「任意泛型 Model 子类绑定特定视图参数」的类型关系。你自定义的GenericTypeVar只能解决运行时报错，静态类型检查工具无法识别标注，起不到类型校验作用。

方案1：使用 Self 类型（适合模型内方法） #

如果你要实现的是模型类的内置方法（比如prepare_insert、insert），可以用 Python 3.11 引入的Self类型（低版本可以安装typing-extensions包导入），该类型支持泛型下标，静态分析器可正常识别：

from __future__ import annotations
from typing import Generic, TypeVar, Optional
from typing_extensions import Self

class View: pass
class Selected(View): pass
class ToInsert(View): pass
class ToUpdate(View): pass

ViewVar = TypeVar("ViewVar", bound=View)
class Model(Generic[ViewVar]):
    @classmethod
    def prepare_insert(cls, description: dict) -> Self[ToInsert]:
        # 业务实现
        ...
    
    def insert(self: Self[ToInsert]) -> Self[Selected]:
        # 业务实现
        ...

class User(Model[ViewVar]):
    email: Optional[str] = None
    name: Optional[str] = None

这种写法下，调用User.prepare_insert(...)会被正确推断为User[ToInsert]类型，调用实例的insert()方法会返回User[Selected]类型，完全匹配需求。

方案2：使用字符串注解（适合独立函数） #

如果你的函数是独立于Model类的工具函数，可以添加from __future__ import annotations声明，此时所有类型注解都会被自动转为字符串，运行时不会求值，也就不会触发TypeError，同时mypy、pyright等静态检查工具可以正常识别字符串形式的泛型标注：

from __future__ import annotations
from typing import TypeVar, Generic, Type

class View: pass
class Selected(View): pass
class ToInsert(View): pass

ViewVar = TypeVar("ViewVar", bound=View)
class Model(Generic[ViewVar]): pass

ModelVar = TypeVar("ModelVar", bound=Model)

# 注解为字符串，运行时不执行下标操作，静态分析器可识别
def insert(model_to_insert: "ModelVar[ToInsert]") -> "ModelVar[Selected]":
    pass

def prepare_insert(model: Type[ModelVar], description: dict) -> "ModelVar[ToInsert]":
    pass

这种方案无需修改TypeVar实现，同时保留了静态类型检查能力，是目前兼容性最好的方案。

方案3：拆分泛型参数（兼容旧版本工具） #

如果你的静态检查工具不支持上述两种写法，可以把泛型参数拆分为视图参数和模型参数两层，结合cast明确标注类型关系：

from typing import TypeVar, Generic, Type, cast

V = TypeVar('V', bound=View)
M = TypeVar('M', bound=Model)

def insert(model_to_insert: Model[ToInsert]) -> Model[Selected]:
    res = 插入逻辑实现
    return cast(type(model_to_insert)[Selected], res)

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