如何推导模板多可变参数并结合std::tuple使用，解决编译参数不匹配报错

报错原因 #

C++标准规定，函数模板的形参列表中，只有最后一个可变参数包能被自动推导。你定义的模板里两个可变参数包_t1、_t2都在形参列表里，编译器无法判断传入的5个参数中哪些属于_t1、哪些属于_t2，因此匹配不到对应的函数。

方案1：显式用tuple包裹第一组参数（改动最小，兼容性最好） #

直接把前一组参数预先打包成tuple传入，编译器可以直接识别tuple的模板参数作为第一个参数包：

#include <tuple>

struct Type1 {
    int v = 0;
};

struct Type2 {
    int v = 0;
};

// 第一个参数直接接tuple，自动推导_t1参数包
template <typename ..._t1, typename ..._t2>
void f(std::tuple<_t1...> t1, _t2...  t2) {
    auto x = t1;
    auto y = std::tuple<_t2...>(t2...);
}

int main(int argc, char *argv[]) {
    Type1 a, b, c;
    Type2 d, e;

    // 只需要把前一组参数用make_tuple包起来即可
    f(std::make_tuple(a, b, c), d, e);
    return 0;
}

方案2：用分隔标记区分两组参数（不需要提前打包，调用逻辑更清晰） #

定义一个空的分隔标记类，放在两组参数中间，编译器会自动识别分隔符前后的参数分属两个参数包：

#include <tuple>

struct Type1 {
    int v = 0;
};

struct Type2 {
    int v = 0;
};

// 定义空分隔标记
struct param_split {};

template <typename ..._t1, typename ..._t2>
void f(_t1... t1, param_split, _t2... t2) {
    auto x = std::tuple<_t1...>(t1...);
    auto y = std::tuple<_t2...>(t2...);
}

int main(int argc, char *argv[]) {
    Type1 a, b, c;
    Type2 d, e;

    // 两组参数中间加分隔标记即可
    f(a, b, c, param_split{}, d, e);
    return 0;
}

方案3：C++20概念限定参数类型（无需修改调用方式） #

如果两组参数的类型有明确区分（比如你的例子里第一组全是Type1，第二组全是Type2），可以用C++20的concept限定参数包的类型，编译器会自动按类型分割参数包：

#include <tuple>
#include <concepts>

struct Type1 {
    int v = 0;
};

struct Type2 {
    int v = 0;
};

// 限定_t1全是Type1类型，_t2全是Type2类型
template <typename ..._t1, typename ..._t2>
requires (std::same_as<_t1, Type1> && ...) && (std::same_as<_t2, Type2> && ...)
void f(_t1...  t1, _t2...  t2) {
    auto x = std::tuple<_t1...>(t1...);
    auto y = std::tuple<_t2...>(t2...);
}

int main(int argc, char *argv[]) {
    Type1 a, b, c;
    Type2 d, e;

    // 调用方式完全不需要改动
    f(a, b, c, d, e);
    return 0;
}

注意：该方案仅适用于两组参数类型有明确区分的场景，如果两组参数存在同类型的情况，还是需要用方案1或方案2显式区分参数包边界。

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