可变参数模板函数需用参数包和展开机制,C++11可用递归处理,如分离首参数并递归剩余;C++17起支持折叠表达式,简化为(std::cout

在C++中,定义一个可变参数模板函数需要使用参数包(parameter pack)和递归展开或参数包展开的机制。这是从C++11开始支持的语言特性,允许函数接受任意数量和类型的参数。
基本语法结构
可变参数模板函数的定义格式如下:
templatevoid func(Args... args) {
// 函数体
}
其中 typename... Args 表示模板参数包,args... 是函数参数包。三个点“...”表示“包”的意思,可以用于声明和展开。
参数包的展开方法
直接写函数体并不能使用参数包中的每个参数,必须将其展开。常见方式有以下几种:
立即学习“C++免费学习笔记(深入)”;
- 通过递归调用处理每个参数:将第一个参数分离出来,然后递归处理剩下的。
- 使用逗号表达式和初始化列表展开:适用于无顺序依赖的操作。
- C++17及以后支持折叠表达式(fold expressions):简化了某些场景下的展开写法。
示例:打印所有参数
下面是一个使用递归方式实现的打印函数:
#include iostream>// 终止函数:当没有参数时调用
void print() {
std::cout }
// 可变参数模板函数:分离第一个参数,递归处理其余
template
void print(T first, Args... rest) {
std::cout print(rest...);
}
调用示例:
int main() {print(1, 2.5, "hello", 'A');
// 输出:1 2.5 hello A
return 0;
}
C++17中的折叠表达式简化写法
如果只是想对所有参数执行相同操作(如输出),C++17可以用折叠表达式避免递归:
templatevoid print(Args... args) {
(std::cout }
这里的 (cout 会自动展开为:cout











