可变参数模板允许函数类型安全地处理任意数量和类型的参数，通过递归或初始化列表展开参数包，可用于日志、工厂函数等场景，提升代码灵活性与安全性。

在C++11之前，处理不定数量的参数通常依赖于C风格的va_list机制，这种方式类型不安全且使用复杂。C++11引入了可变参数模板（Variadic Templates），让函数可以类型安全地接受任意数量和类型的参数，极大提升了灵活性和安全性。

什么是可变参数模板

可变参数模板允许模板定义中包含零个或多个参数的参数包（parameter pack）。通过递归展开或折叠表达式，可以在编译期处理这些参数。

基本语法如下：

template
void func(Args... args) {
    // 处理参数包
}

其中Args...是模板参数包，args...是函数参数包。

立即学习“C++免费学习笔记（深入）”；

如何展开参数包

由于不能直接遍历参数包，必须通过某种方式展开。常见方法有递归和逗号表达式+初始化列表。

1. 递归展开

将参数包分解为第一个参数和剩余部分，递归处理：

template
void print(T t) {
    std::cout }

template
void print(T t, Args... args) {
    std::cout     print(args...);
}

调用print(1, "hello", 3.14)会依次输出每个值。

2. 使用初始化列表展开（C++17前常用技巧）

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

利用数组构造时的求值顺序，配合逗号表达式实现非递归展开：

template
void print(Args... args) {
    std::initializer_list{ (std::cout     std::cout }

这里的...会展开每个参数对应的表达式，(void)可用来避免编译器警告。

实际应用场景

可变参数模板不只是用来打印，还能构建更实用的功能。

日志函数

封装带时间戳的日志输出：

template
void log_info(Args... args) {
    auto time_str = [](){ /* 获取当前时间字符串 */ };
    std::cout     std::initializer_list{ (std::cout     std::cout }

构造对象并转发参数

结合完美转发，可用于工厂函数：

template
std::unique_ptr make_unique_safe(Args&&... args) {
    return std::make_unique(std::forward(args)...);
}

这个包装能确保异常安全，同时支持任意构造参数。

注意事项与技巧

使用可变参数模板时要注意以下几点：

• 参数包必须在模板声明中出现在最后
• 展开时注意表达式的副作用和求值顺序
• 递归可能导致深层调用栈，编译时间增加
• 错误信息可能较长，调试时需耐心分析
• 可用sizeof...(Args)获取参数数量

基本上就这些。掌握可变参数模板后，你会发现很多以前需要用宏或重复代码解决的问题，现在可以用更优雅、类型安全的方式实现。关键是理解参数包的展开机制，并选择合适的模式来处理实际需求。