如何正确实例化带绑定变量的TypeVar？SQLAlchemy类型提示异常排查

1. TypeVar的误用：TypeVar是用于定义泛型类型参数的工具，并非用来绑定动态生成的类作为类型注解。静态类型检查器（如VSCode默认的Pyright）要求类型注解必须是静态可解析的类型对象，直接用变量（动态生成的类）作为类型表达式会触发“类型表达式中不允许使用变量”的错误。
2. 动态类的静态识别限制：动态生成的SchemaA类是在运行时创建的，静态检查器无法提前获取它的属性结构，因此无法提供属性自动补全，导致类型提示失效。

以下方案均无需定义泛型类，适配你的Python 3.10.6环境：

方案1：结合Protocol与TypeAlias（推荐） #

先通过Protocol定义SchemaA的属性结构，再用TypeAlias绑定动态生成的类，让静态检查器能识别类的属性：

from typing import Protocol, TypeAlias
from sqlalchemy import Column, Integer, String
from sqlalchemy.ext.declarative import declarative_base

Base = declarative_base()

# 定义Protocol描述SchemaA的属性结构
class SchemaAProtocol(Protocol):
    id: int
    name: str

# 动态生成SchemaA类的函数
def create_schema_a() -> type[Base]:
    class SchemaA(Base):
        __tablename__ = "table_a"
        id = Column(Integer, primary_key=True)
        name = Column(String)
    return SchemaA

# 用TypeAlias绑定动态生成的类
SchemaA: TypeAlias = create_schema_a()

# 使用时，检查器会通过Protocol识别属性
def query_table_a(session) -> list[SchemaA]:
    return session.query(SchemaA).filter(SchemaA.name == "test").all()

方案2：基于抽象基类继承 #

如果动态生成类的属性结构固定，可先定义一个抽象基类，让动态类继承它，静态检查器会通过基类识别属性：

from sqlalchemy import Column, Integer, String
from sqlalchemy.ext.declarative import declarative_base

Base = declarative_base()

# 定义抽象基类，包含SchemaA的所有属性
class BaseSchemaA(Base):
    __abstract__ = True  # 标记为抽象基类，不会生成数据库表
    id = Column(Integer, primary_key=True)
    name = Column(String)

# 动态生成SchemaA类，继承抽象基类
def create_schema_a() -> type[BaseSchemaA]:
    class SchemaA(BaseSchemaA):
        __tablename__ = "table_a"
    return SchemaA

# 赋值动态生成的类
SchemaA = create_schema_a()

# 使用时，检查器会通过BaseSchemaA识别属性
def query_table_a(session) -> list[SchemaA]:
    return session.query(SchemaA).filter(SchemaA.id > 10).all()

方案3：临时绕过类型检查（不推荐） #

如果只是临时需要，可通过# type: ignore跳过lint错误，但会失去静态类型检查的意义：

from sqlalchemy import Column, Integer, String
from sqlalchemy.ext.declarative import declarative_base

Base = declarative_base()

def create_schema_a():
    class SchemaA(Base):
        __tablename__ = "table_a"
        id = Column(Integer, primary_key=True)
        name = Column(String)
    return SchemaA

SchemaA = create_schema_a()

# 用# type: ignore跳过错误
def query_table_a(session) -> list[SchemaA]:  # type: ignore
    return session.query(SchemaA).filter(SchemaA.name == "test").all()

内容的提问来源于stack exchange，提问作者Jin Dong Yang