如何实现Ts<T,N>别名生成N个T的std::tuple？解决MSVC递归错误

错误原因分析 #

你原来的代码用std::conditional_t做分支判断，但C++模板实例化有个关键规则：不管条件表达式结果为真还是假，std::conditional_t的两个分支类型都会被强制实例化。这就导致哪怕当前tuple的大小已经等于N，编译器还是会尝试实例化递归的TypeRecursion模板，不断生成新的tuple类型，最终触发MSVC的递归深度限制，抛出recursive type or function dependency too complex错误。

正确实现方案 #

改用模板特化来定义递归终止条件，编译器只会实例化匹配的模板分支，不会产生不必要的递归：

#include <tuple>
#include <cstddef>

namespace detail {
    // 主模板：递归累加元素
    template<typename T, size_t Remaining, typename... Elems>
    struct TupleBuilder {
        using Type = typename TupleBuilder<T, Remaining - 1, T, Elems...>::Type;
    };

    // 特化版本：剩余元素数为0时终止递归，返回最终tuple类型
    template<typename T, typename... Elems>
    struct TupleBuilder<T, 0, Elems...> {
        using Type = std::tuple<Elems...>;
    };
}

template<typename T, size_t N>
using Ts = typename detail::TupleBuilder<T, N>::Type;

代码说明 #

• 主模板TupleBuilder通过递减Remaining参数，每次向模板参数包Elems中追加一个T类型，逐步构建目标tuple的元素列表。
• 当Remaining减到0时，触发特化模板，直接将积累的参数包Elems...打包为std::tuple，递归到此终止。
• 这种方式避开了std::conditional_t的双分支强制实例化问题，编译器只会按递归路径实例化必要的模板，不会出现无限递归或深度超标。

测试验证 #

可以用静态断言验证类型是否符合预期：

#include <type_traits>
#include <string>

int main() {
    Ts<int, 5> ints;
    static_assert(std::is_same_v<decltype(ints), std::tuple<int, int, int, int, int>>);

    Ts<std::string, 3> strs;
    static_assert(std::is_same_v<decltype(strs), std::tuple<std::string, std::string, std::string>>);

    // 边界情况：N=0时生成空tuple
    Ts<double, 0> empty;
    static_assert(std::is_same_v<decltype(empty), std::tuple<>>);
    return 0;
}

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