C++可变参数模板定义与使用方法

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

在C++11中引入了变长参数模板（variadic templates），它允许模板接受任意数量和类型的参数。这种机制广泛应用于泛型编程，比如实现类型安全的打印函数、构造函数转发、tuple的实现等。

变长参数模板的定义

变长参数模板通过省略号 ... 来声明和展开参数包。分为两种形式：模板参数包和函数参数包。

基本语法如下：

template<typename... Args>
void func(Args... args);

其中，Args... 是模板参数包，表示零个或多个类型；args... 是函数参数包，表示对应类型的实参。

参数包的展开方式

直接使用 ... 可以展开参数包，但必须结合有效的表达式。常见展开方法包括：

• 递归调用：处理一个参数，然后递归处理剩余参数
• 逗号表达式 + 初始化列表：利用列表初始化顺序执行副作用
• 折叠表达式（C++17）：简化对参数包的运算操作

示例：使用递归终止重载

// 终止函数 void print() { } // 递归主函数 template<typename T, typename... Args> void print(T first, Args... rest) { std::cout << first << " "; print(rest...); } // 调用示例 print(1, "hello", 3.14, 'A'); // 输出: 1 hello 3.14 A

完美转发与构造优化

变长参数模板常配合 std::forward 实现完美转发，用于保留参数的左值/右值属性。

典型应用场景：工厂函数或容器的 emplace 操作。

template<typename T, typename... Args> std::unique_ptr<T> make_unique(Args&&... args) { return std::unique_ptr<T>(new T(std::forward<Args>(args)...)); }

这里 Args&&... 是万能引用参数包，std::forward<Args>(args)... 将参数原样转发给目标构造函数。

获取参数包大小

使用 sizeof... 运算符可以获取参数包中参数的数量。

template<typename... Args> void count_args(Args... args) { std::cout << "参数个数: " << sizeof...(args) << std::endl; std::cout << "类型个数: " << sizeof...(Args) << std::endl; } 基本上就这些。变长参数模板灵活但需注意递归终止、引用折叠和实例化开销。掌握好参数包的展开技巧，能写出高效且通用的模板代码。