C++11引入的可变参数模板，是指一种可以接收任意个数、任意类型模板参数的模板机制。在C++11之前，如果我们想写一个能处理不同数量参数的泛型函数，往往要写很多重载，或者借助宏来勉强实现。可变参数模板通过参数包的概念，让模板定义本身就能匹配零个或多个参数，极大简化了泛型代码的编写。
基本语法构成
可变参数模板主要包含两个新东西：模板参数包和函数参数包。写法上用省略号...来表示“包”，它既可以展开，也可以用来声明一个包。
模板参数包
在template声明里，使用typename...或class...来定义一个类型参数包：
// 定义一个接收任意类型参数包的类模板
template <typename... Args>
class MyTuple {
// 这里 Args 是一个类型参数包
};
函数参数包
函数参数包对应到运行时的参数，用Args...声明变量：
// 函数参数包 value 对应类型包 Args
template <typename... Args>
void print(Args... value) {
// value 是一个函数参数包
}
参数包的展开方式
参数包本身不能直接使用，必须展开。最常见的展开方式是在函数调用或初始化列表里用value...的形式。
递归展开
通过重载一个基线版本和可变参数版本，递归处理每一个参数：
#include <iostream>
// 基线：无参数时结束递归
void log() {
std::cout << std::endl;
}
// 可变参数版本
template <typename T, typename... Rest>
void log(T first, Rest... rest) {
std::cout << first << " ";
log(rest...); // 递归展开参数包
}
int main() {
log(1, "hello", 3.14); // 输出: 1 hello 3.14
return 0;
}
逗号表达式展开
在C++11中也可以借助初始化列表和逗号表达式一次性展开：
#include <iostream>
template <typename... Args>
void print_all(Args... args) {
// 利用数组初始化展开参数包
int arr[] = { (std::cout << args << " ", 0)... };
std::cout << std::endl;
}
int main() {
print_all("a", 100, 2.5); // 输出: a 100 2.5
return 0;
}
典型应用场景
可变参数模板在标准库里被广泛使用，例如std::make_shared、std::tuple以及线程相关构造。它也是实现完美转发的基础，配合std::forward可以把任意参数原样传递给其他函数。
| 特性 | 固定参数模板 | 可变参数模板 |
|---|---|---|
| 参数数量 | 编译期固定 | 编译期不固定 |
| 代码复用 | 需多重载 | 单定义覆盖多情况 |
| 展开方式 | 无 | 递归或列表展开 |
理解可变参数模板之后，再阅读现代C++泛型代码就不会被省略号困扰，也能更自信地封装自己的工具接口。
C++11可变参数模板variadic_template修改时间：2026-07-30 22:51:21