Python中如何不依赖函数参数指定泛型返回类型

Python 主流静态类型检查器（mypy 1.0+、Pyright）完全支持类似 TypeScript 显式指定泛型返回类型的能力，只是语法和 TypeScript 有区别，你当前的写法存在两个基础错误，修正后即可实现需求：

第一步：修正泛型参数定义 #

你当前的TypeVar写法不符合规范：

• TypeVar的第一个位置参数必须和赋值的变量名完全一致，你定义的变量名为AuthorizeableModel，传入的字符串却是"ModelType"，会导致类型检查器识别异常
• 要约束泛型类型必须是HasAuthMixin的子类，应该使用bound参数指定上界，你写的lower是指定下界，和需求完全相反

修正后的TypeVar定义如下：

from typing import TypeVar, List
# 假设HasAuthMixin已经在当前作用域定义
AuthorizeableModel = TypeVar("AuthorizeableModel", bound=HasAuthMixin)

def bulk_load_and_check_auth(model_ids: List[str]) -> List[AuthorizeableModel]:
    # 业务逻辑实现
    pass

如果使用Python 3.12+的原生泛型语法，可以省略单独定义TypeVar的步骤，写法更简洁：

# Python 3.12+ 原生泛型，直接在函数定义处声明泛型上界
def bulk_load_and_check_auth[M: HasAuthMixin](model_ids: list[str]) -> list[M]:
    # 业务逻辑实现
    pass

第二步：显式指定泛型参数调用 #

和 TypeScript 用尖括号<>传递泛型参数不同，Python 统一用方括号[]传递类型参数，调用时直接在函数名后用方括号传入你预期的具体模型类型即可：

# 显式指定返回值为List[MyModel]，MyModel必须是HasAuthMixin的子类
models = bulk_load_and_check_auth[MyModel](id_list)
# 此时类型检查器会识别models为List[MyModel]，可以直接调用MyModel定义的所有属性、方法

旧版本Python兼容方案 #

Python 3.11及更早版本中，普通函数没有实现__class_getitem__方法，运行时执行func[Type](args)语法会抛出类型错误。如果你需要兼容旧版本运行时，同时满足静态类型检查的需求，可以使用typing.cast做类型转换，效果和显式传泛型参数完全一致：

from typing import cast

models = cast(List[MyModel], bulk_load_and_check_auth(id_list))

异构场景适配 #

当你需要批量查询异构模型（返回列表包含多个不同HasAuthMixin子类实例）时，不需要显式指定泛型参数，类型检查器会自动将返回值推断为List[HasAuthMixin]，完全兼容你原有的异构批量查询逻辑。

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