C++可变参数模板函数怎么定义

可变参数模板函数需用参数包和展开机制，C++11可用递归处理，如分离首参数并递归剩余；C++17起支持折叠表达式，简化为(std::cout << ... << args)直接展开输出。

在C++中，定义一个可变参数模板函数需要使用参数包（parameter pack）和递归展开或参数包展开的机制。这是从C++11开始支持的语言特性，允许函数接受任意数量和类型的参数。

基本语法结构

可变参数模板函数的定义格式如下：

其中 typename... Args 表示模板参数包，args... 是函数参数包。三个点“...”表示“包”的意思，可以用于声明和展开。

参数包的展开方法

直接写函数体并不能使用参数包中的每个参数，必须将其展开。常见方式有以下几种：

• 通过递归调用处理每个参数：将第一个参数分离出来，然后递归处理剩下的。
• 使用逗号表达式和初始化列表展开：适用于无顺序依赖的操作。
• C++17及以后支持折叠表达式（fold expressions）：简化了某些场景下的展开写法。

示例：打印所有参数

下面是一个使用递归方式实现的打印函数：

调用示例：

C++17中的折叠表达式简化写法

如果只是想对所有参数执行相同操作（如输出），C++17可以用折叠表达式避免递归：

这里的 (cout << ... << args) 会自动展开为：
cout << arg1 << arg2 << ... << argN