多可变参数包函数疑问：参数分配规则与拆分方法

原本认知里C++的参数包必须是最后一个参数，但下面这段代码的运行结果让人困惑，本文就来拆解其中的逻辑：

示例代码 #

#include <iostream>
using namespace std;

void foo(auto&&...args1, auto&&... args2, auto&&... args3) {
    std::cout << "args1:\n", ((std::cout << args1 << " "), ...);
    std::cout << "args2:\n", ((std::cout << args2 << " "), ...);
    std::cout << "args3:\n", ((std::cout << args3 << " "), ...);
}

int main(int argc, char** argv)
{
    foo(1,2,3,4,5,6);
}

编译运行结果 #

使用g++-11编译后，程序输出如下：

args1:
args2:
args3:
1 2 3 4 5 6

核心问题解答 #

1. 这种多参数包的写法是否允许？ #

允许。C++标准并没有完全禁止函数参数列表中出现多个参数包，只是对参数推导有严格限制：只有最右侧的参数包能被自动推导，左侧的参数包无法通过常规函数调用得到参数分配——因为编译器没有足够的信息来确定参数该如何拆分到多个参数包里。

2. 为什么所有参数都分配给了args3？ #

当调用foo(1,2,3,4,5,6)时，编译器尝试推导三个参数包的类型和长度。但对于args1和args2，没有任何规则能让编译器确定要分配多少个参数给它们，所以编译器只能默认将这两个参数包推导为空，把所有传入参数都分配给最右侧的args3。

3. 如何手动拆分args1、args2和args3？ #

如果要让编译器明确参数拆分规则，必须显式指定模板实参，比如：

// 显式指定args1包含2个int，args2包含2个int，args3包含2个int
foo<int, int, int, int, int, int>(1,2,3,4,5,6);

不过这种写法非常繁琐，实际开发中几乎不会使用。如果需要实现参数分组，更合理的方式是用std::tuple封装分组参数，或者通过函数重载、模板特化来定制拆分逻辑。

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