Python中如何基于TypeVarTuple生成嵌套泛型类型的元组返回值？

哎，这个需求完全能实现！其实你的思路已经很对了，只是在语法上需要稍微调整一下——Python的类型系统（尤其是3.12之后的新版本）已经支持这种基于TypeVarTuple的嵌套泛型元组生成了，下面分两种情况给你说清楚：

如果你用的是Python 3.12及以上（支持PEP 695新泛型语法） #

直接用你预想的思路，调整一下语法细节就能写出符合要求的代码：

from typing import TypeVarTuple, Unpack, Tuple

def foo[*Ts](generic_tuple: Tuple[Unpack[Ts]]) -> Tuple[list[T] for T in Ts]:
    # 这里写你的业务逻辑，比如把每个元素包装成列表
    return tuple([item] for item in generic_tuple)

简单解释一下：

• [*Ts]声明了一个类型变量元组，用来捕获输入元组的所有元素类型；
• 参数Tuple[Unpack[Ts]]表示接受任意类型的元组输入；
• 返回类型Tuple[list[T] for T in Ts]会自动遍历Ts里的每个类型T，把每个元素转换成list[T]，最终组合成对应的嵌套元组类型。

测试一下的话，调用foo((1, "hello"))，类型检查器会自动推断返回值类型为tuple[list[int], list[str]]，完全符合你的预期！

如果你用的是Python 3.11及以下（旧版泛型语法） #

旧版本不支持PEP 695的def foo[*Ts]写法，需要先定义TypeVarTuple，再结合Unpack来实现：

from typing import TypeVarTuple, Unpack, Tuple

# 先定义类型变量元组
Ts = TypeVarTuple('Ts')

def foo(generic_tuple: Tuple[Unpack[Ts]]) -> Tuple[*tuple[list[T] for T in Ts]]:
    return tuple([item] for item in generic_tuple)

这里的核心逻辑和新版一致，只是写法上需要先显式定义Ts为TypeVarTuple，返回类型用*来展开生成的嵌套类型元组。

备注：内容来源于stack exchange，提问作者Timmmm