变长参数模板通过...支持任意数量类型参数,用于实现泛型打印、完美转发等;可通过递归或初始化列表展开参数包,并用sizeof...获取参数数量。

在C++11中引入了变长参数模板(variadic templates),它允许模板接受任意数量和类型的参数。这种机制广泛应用于泛型编程,比如实现类型安全的打印函数、构造函数转发、tuple的实现等。
变长参数模板的定义
变长参数模板通过省略号 ... 来声明和展开参数包。分为两种形式:模板参数包和函数参数包。
基本语法如下:
templatevoid func(Args... args);
其中,Args... 是模板参数包,表示零个或多个类型;args... 是函数参数包,表示对应类型的实参。
立即学习“C++免费学习笔记(深入)”;
参数包的展开方式
直接使用 ... 可以展开参数包,但必须结合有效的表达式。常见展开方法包括:
- 递归调用:处理一个参数,然后递归处理剩余参数
- 逗号表达式 + 初始化列表:利用列表初始化顺序执行副作用
- 折叠表达式(C++17):简化对参数包的运算操作
示例:使用递归终止重载
// 终止函数 void print() { } // 递归主函数 template完美转发与构造优化
变长参数模板常配合 std::forward 实现完美转发,用于保留参数的左值/右值属性。
典型应用场景:工厂函数或容器的 emplace 操作。
template这里 Args&&... 是万能引用参数包,std::forward
获取参数包大小
使用 sizeof... 运算符可以获取参数包中参数的数量。
template











