使用变参模板与元组构造对象时的模板推导错误求助

编译错误原因 #

• 模板参数推导失败：调用create<0>(in, arg)时，编译器无法推导R...和T...。因为模板参数列表中，显式指定的k之后跟着可变参数包，C++模板推导规则下，这种结构无法自动匹配元组的类型参数。
• 缺少递归终止条件：仅实现了k < sizeof...(R)的递归分支，没有处理k == sizeof...(R)的终止逻辑，递归会无限展开触发编译错误。
• 递归调用参数包错误：递归调用create<k+1, R..., T...>(v, in)时，重复传递R...和T...会导致参数包被重复扩展，类型列表无限变长，进一步引发编译问题。

修正后的递归实现 #

#include <tuple>

// 递归终止函数：当k等于元组元素数量时停止
template<size_t k, typename ...R, typename ...T>
typename std::enable_if<k >= sizeof...(R), void>::type create(std::tuple<R...>& v, std::tuple<T...>& in) {}

// 递归处理每个元素
template<size_t k, typename ...R, typename ...T>
typename std::enable_if<k < sizeof...(R), void>::type create(std::tuple<R...>& v, std::tuple<T...>& in) {
    // 用输入元组的第k个元素构造目标类型对象，再赋值给目标元组对应位置
    std::get<k>(v) = typename std::tuple_element<k, std::tuple<R...>>::type(std::get<k>(in));
    // 递归调用仅递增k，无需重复传递参数包
    create<k+1>(v, in);
}

简化实现（C++17及以上） #

如果使用C++17或更高版本，可利用折叠表达式替代递归，代码更简洁：

#include <tuple>
#include <utility>

namespace detail {
template<typename ...R, typename ...T, size_t... Is>
void create_impl(std::tuple<R...>& v, std::tuple<T...>& in, std::index_sequence<Is...>) {
    // 折叠表达式遍历所有索引，完成构造赋值
    (std::get<Is>(v) = typename std::tuple_element<Is, std::tuple<R...>>::type(std::get<Is>(in)), ...);
}
} // namespace detail

template<typename ...R, typename ...T>
void create(std::tuple<R...>& v, std::tuple<T...>& in) {
    detail::create_impl(v, in, std::make_index_sequence<sizeof...(R)>{});
}

使用说明 #

• 递归版本调用：create<0>(in, arg)，编译器会自动推导R...和T...的类型。
• C++17简化版本调用：直接create(in, arg)，无需显式指定起始索引。

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