可变参数模板通过参数包和展开技巧实现通用函数。首先定义模板参数包typename... Args，再利用递归或折叠表达式展开；递归方式需终止函数处理空参，折叠表达式则用(std::cout
在C++中，可变参数模板函数允许你编写接受任意数量、任意类型参数的通用函数。这在日志输出、格式化字符串、递归处理等场景非常实用。实现这类函数的核心是模板参数包（template parameter pack）和参数包展开（pack expansion）技巧。
理解模板参数包
可变参数模板使用省略号 ... 来定义一个“包”，它可以捕获零个或多个模板参数。例如：
template
void func(Args... args);
这里 Args 是一个模板参数包，args 是函数参数包。它们可以包含多个不同类型的参数。
参数包的展开方式
要使用参数包，必须将其展开。常见的展开方法包括递归展开和逗号表达式展开。
1. 递归终止 + 递归调用
最常见的方式是通过重载一个无参函数作为递归终点：
void print() { } // 终止函数
template
void print(T first, Args... rest) {
std:
:cout
print(rest...); // 展开剩余参数
}
当参数用完时，匹配到无参版本，递归结束。
2. 逗号表达式展开（无需递归）
利用初始化列表和逗号表达式，可以在一行内展开所有参数：
template
void print(Args... args) {
((std::cout }
这里的 (...) 是C++17引入的折叠表达式，会将每个参数与左边的操作结合，依次执行输出。
转发与完美转发技巧
在实际开发中，经常需要将参数转发给其他函数。使用 std::forward 可以实现完美转发：
template
void wrapper(Args&&... args) {
inner_function(std::forward(args)...);
}
这样能保留参数的左值/右值属性，避免多余的拷贝。
常见应用场景
- 日志函数：接收多种类型并统一输出
-
构造对象：如 std::make_shared
(args...) - 断言或调试工具：携带上下文信息
- 事件系统：传递异构参数给回调
基本上就这些。掌握参数包的定义、展开和转发，就能灵活构建高度通用的模板函数。关键是理解 ... 在不同位置的含义：它既能打包也能解包。不复杂但容易忽略细节。
