可变参数模板通过template<typename... Args>声明参数包，利用args...展开并结合递归或折叠表达式处理任意数量类型。
在C++中，实现可变参数模板函数依赖于可变参数模板（variadic templates）和参数包展开（parameter pack expansion）。这种机制允许函数接受任意数量、任意类型的参数，是编写通用工具如日志输出、构造器转发等场景的重要手段。
基本语法：定义可变参数模板函数
使用template<typename... Args>声明一个类型参数包，其中Args是一个参数包，可以匹配零个或多个类型。
template <typename... Args>
void print(Args... args) {
// args 是一个值参数包
}
这里的Args...称为参数包，args...表示对应的实参包。
参数包的展开方式
直接使用args...会将所有参数原样展开。常见展开方法包括：
立即学习“C++免费学习笔记（深入）”；
- 表达式展开：在支持逗号表达式的上下文中逐个处理
- 递归调用：通过模式匹配分解参数包
- 折叠表达式（C++17）：简化对参数包的二元操作
例如，使用逗号运算符配合初始化列表实现逐个打印：
#include <iostream>
<p>template <typename T>
void log(const T& value) {
std::cout << value << " ";
}</p><p>template <typename... Args>
void print(Args... args) {
(log(args), ...); // C++17 左折叠，依次调用 log
std::cout << "\n";
}
若使用C++11/14，可用递归方式分解参数包：
// 终止函数：处理空参数包
void print() {
std::cout << "\n";
}
<p>// 递归主体
template <typename T, typename... Args>
void print(T first, Args... rest) {
std::cout << first << " ";
print(rest...); // 递归展开剩余参数
}
实际应用场景举例
可变参数模板常用于构建类型安全的日志、格式化字符串或完美转发到其他函数。
比如封装一个调试日志函数：
template <typename... Args>
void debug_log(const char* fmt, Args... args) {
printf(fmt, args...); // 简单转发给 printf（注意类型安全）
std::cout << "\n";
}
更安全的做法是结合std::forward进行完美转发：
template <typename... Args>
void forward_call(void(*func)(Args...), Args&&... args) {
func(std::forward<Args>(args)...);
}
参数包也可用于构造对象时转发参数：
template <typename T, typename... Args>
std::unique_ptr<T> make_unique(Args&&... args) {
return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}
基本上就这些。掌握参数包的声明、展开与递归控制，就能灵活运用可变参数模板解决实际问题。关键是理解...的位置含义：它既能打包也能解包，取决于上下文。
