可变参数模板通过参数包和展开技巧实现通用函数。首先定义模板参数包typename… Args，再利用递归或折叠表达式展开；递归方式需终止函数处理空参，折叠表达式则用(std::cout << args << ” “, …)一行完成输出；结合std::forward<Args>(args)…实现完美转发，适用于日志、构造和回调等场景，关键在于理解…的打包与解包机制。

在c++中，可变参数模板函数允许你编写接受任意数量、任意类型参数的通用函数。这在日志输出、格式化字符串、递归处理等场景非常实用。实现这类函数的核心是模板参数包（template parameter pack）和参数包展开（pack expansion）技巧。

理解模板参数包

可变参数模板使用省略号 … 来定义一个“包”，它可以捕获零个或多个模板参数。例如：

template <typename… Args>
void func(Args… args);

这里 Args 是一个模板参数包，args 是函数参数包。它们可以包含多个不同类型的参数。

参数包的展开方式

要使用参数包，必须将其展开。常见的展开方法包括递归展开和逗号表达式展开。

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

1. 递归终止 + 递归调用

最常见的方式是通过重载一个无参函数作为递归终点：

void print() { } // 终止函数

template <typename T, typename… Args>
void print(T first, Args… rest) {
    std::cout << first << ” “;
    print(rest…); // 展开剩余参数
}

当参数用完时，匹配到无参版本，递归结束。

AiPPT模板广场

AiPPT模板广场-PPT模板-word文档模板-excel表格模板

147

查看详情

2. 逗号表达式展开（无需递归）

利用初始化列表和逗号表达式，可以在一行内展开所有参数：

template <typename… Args>
void print(Args… args) {
    ((std::cout << args << ” “), …) ;
}

这里的 (…) 是C++17引入的折叠表达式，会将每个参数与左边的操作结合，依次执行输出。

转发与完美转发技巧

在实际开发中，经常需要将参数转发给其他函数。使用 std::forward 可以实现完美转发：

template <typename… Args>
void wrapper(Args&&… args) {
    inner_function(std::forward<Args>(args)…);
}

这样能保留参数的左值/右值属性，避免多余的拷贝。

常见应用场景

• 日志函数：接收多种类型并统一输出
• 构造对象：如 std::make_shared<T>(args…)
• 断言或调试工具：携带上下文信息
• 事件系统：传递异构参数给回调

基本上就这些。掌握参数包的定义、展开和转发，就能灵活构建高度通用的模板函数。关键是理解 … 在不同位置的含义：它既能打包也能解包。不复杂但容易忽略细节。