可变参数模板函数通过参数包展开实现，支持任意数量类型参数处理。1. 使用递归展开，定义终止函数处理空参数；2. 利用逗号表达式与数组初始化在C++11中非递归展开；3. C++17采用折叠表达式简化语法；4. 实际应用推荐引用传递、完美转发及处理空包情况。
在C++中，实现可变参数模板函数主要依赖于可变参数模板（variadic templates）和参数包展开（parameter pack expansion）。这种机制允许你编写能接受任意数量、任意类型参数的函数模板，非常适合实现日志输出、字符串格式化、转发调用等通用功能。
基本语法：定义可变参数模板函数
一个最简单的可变参数模板函数如下：
template <typename... Args>
void print(Args... args) {
// 参数包 args 包含零个或多个参数
}
这里的 Args... 是模板参数包，args... 是函数参数包。
递归展开参数包
最常见的展开方式是通过递归。由于C++17之前不支持直接折叠表达式，通常使用递归终止技巧：
立即学习“C++免费学习笔记（深入）”；
// 终止函数：无参数时调用
void print() {
std::cout << std::endl;
}
// 可变参数模板函数
template <typename T, typename... Args>
void print(T first, Args... rest) {
std::cout << first << " ";
print(rest...); // 递归调用
}
调用 print(1, "hello", 3.14) 会依次输出每个参数，直到参数为空，调用终止版本。
使用逗号表达式和参数包展开（C++11/14技巧）
如果你想避免递归，可以用逗号运算符配合数组初始化来“展开”参数包：
template <typename... Args>
void print(Args... args) {
int dummy[] = { (std::cout << args << " ", 0)... };
std::cout << std::endl;
(void)dummy; // 避免警告
}
这里 (..., 0) 将每个 std::cout << arg << " " 表达式与0组合，整个参数包被展开成一个初始化列表。这是C++11中常见的“黑魔法”技巧。
C++17 折叠表达式（更简洁）
C++17引入了折叠表达式，让代码更清晰：
template <typename... Args>
void print(Args const&... args) {
((std::cout << args << " "), ...) << std::endl;
}
(expr, ...) 表示左折叠，对每个参数执行 expr 并用逗号连接。这比递归或数组技巧更直观。
实际应用建议
编写可变参数模板函数时注意以下几点：
- 优先使用引用传递，尤其是
const&或万能引用T&&，避免不必要的拷贝 - 使用
std::forward实现完美转发，适用于转发到其他函数 - 考虑参数包为空的情况，确保有合理的处理逻辑
- 调试时可用
sizeof...(Args)获取参数数量
基本上就这些。掌握递归展开、逗号表达式技巧和C++17折叠表达式，就能灵活实现各种可变参数模板函数。关键是理解参数包的 unpacking 机制。
