可变模板参数允许函数和类接受任意数量和类型的参数,通过...定义模板和函数参数包,使用递归或初始化列表展开参数,结合sizeof...获取参数数量,利用std::forward实现完美转发,常用于实现泛型日志、工厂函数等工具。

在C++11中引入了可变模板参数(variadic templates),它允许模板接受任意数量和类型的参数。这种特性在编写泛型代码时非常有用,比如实现类型安全的日志函数、通用工厂函数或递归处理多个参数的工具。
基本语法
可变模板参数使用省略号 ... 来表示参数包(parameter pack)。它可以用于模板参数和函数参数。
template <typename... Args>void func(Args... args);
这里 Args 是模板参数包,args 是函数参数包。可以通过 sizeof...(Args)2> 获取参数个数。
展开参数包
要使用参数包中的每个元素,必须对其进行“展开”。常见方式是通过递归或初始化列表进行。
立即学习“C++免费学习笔记(深入)”;
例如,打印所有参数:
template <typename T>void print(T t) {
std::cout << t << std::endl;
}
template <typename T, typename... Args>
void print(T t, Args... args) {
std::cout << t << ", ";
print(args...);
}
这个例子通过重载和递归调用逐个处理参数。
使用逗号表达式展开
有时不需要递归,可以用初始化列表配合逗号操作符来展开参数包:
template <typename... Args>void print_all(Args... args) {
int dummy[] = { (std::cout << args << " ", 0)... };
std::cout << std::endl;
(void)dummy; // 避免警告
}
这里的 (std::cout << args << " ", 0)... 会对每个参数执行输出,并生成一个数组用于触发展开。
转发参数包
在模板中经常需要将参数包完美转发给其他函数,比如构造对象或调用函数:
template <typename... Args>auto create_vector(Args... args) {
return std::vector<int>{ args... };
}
或者结合 std::forward 实现完美转发:
template <typename... Args>void wrapper(Args&&... args) {
real_function(std::forward<Args>(args)...);
}
基本上就这些。掌握可变模板参数的关键在于理解参数包的定义、展开方式以及如何递归或利用语言特性处理多个参数。实际应用中常与折叠表达式(C++17)结合更简洁地处理逻辑。











