编译器为何报模板递归错误？VS2019编译失败的原因及解决方法

1. 为何出现无限递归？ #

你的代码中，addTupBase的可变参数模板版本，返回类型推导使用了decltype(addTupBase(addTupBase(t,a), args...))。VS2019的编译器在处理这个推导逻辑时，无法正确识别递归终止条件：每次展开嵌套的addTupBase调用时，编译器会不断尝试实例化可变参数版本，而非在args为空时匹配第一个非可变参数的重载，最终触发递归深度超限，报出C1202错误。而GCC的模板推导引擎对这种嵌套递归的处理更优化，能正确匹配终止重载，因此不会报错。

2. 问题解决方法 #

核心思路是避免在返回类型推导中使用嵌套递归调用，直接构建目标tuple类型，以下两种方案均可解决问题：

方案一：简化递归推导逻辑 #

修改addTupBase可变参数版本的返回类型，让推导仅依赖单次递归调用，而非嵌套调用：

#include <tuple>
#include <vector>

template <typename TT, typename Add>
auto addTupBase(TT t, std::vector<Add> a) -> decltype(std::tuple_cat(t, std::make_tuple(a[0])))
{
    return std::tuple_cat(t, std::make_tuple(a[0]));
}

template <typename TT, typename Add, typename... Args>
// 改为直接依赖单次addTupBase调用，消除嵌套递归推导
auto addTupBase(TT t, std::vector<Add> a, Args... args) -> decltype(addTupBase(std::tuple_cat(t, std::make_tuple(a[0])), args...))
{
    return addTupBase(std::tuple_cat(t, std::make_tuple(a[0])), args...);
}

template <typename T, typename... Args>
auto addTup(std::vector<T> in, Args... args) -> decltype(addTupBase(std::make_tuple(in[0]), args...))
{
    return addTupBase(std::make_tuple(in[0]), args...);
}

int main()
{
    using TupleType = decltype(addTup(std::vector<char>{2}, std::vector<int>{5}, std::vector<double>{32423}));
    TupleType t;
    std::get<2>(t) = 342.2;
    return 0;
}

方案二：用模板元编程直接推导目标类型 #

预先通过模板元组拼接出最终的tuple类型，完全规避递归推导的问题，代码更简洁：

#include <tuple>
#include <vector>

// 提取vector的元素类型
template <typename T>
struct VecElem { using type = typename T::value_type; };

// 构建目标tuple类型
template <typename... Args>
struct MakeTupleFromVecs { using type = std::tuple<typename VecElem<Args>::type...>; };

template <typename... Args>
typename MakeTupleFromVecs<Args...>::type addTup(Args... args)
{
    return std::make_tuple(args[0]...);
}

int main()
{
    using TupleType = decltype(addTup(std::vector<char>{2}, std::vector<int>{5}, std::vector<double>{32423}));
    TupleType t;
    std::get<2>(t) = 342.2;
    return 0;
}

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