17370845950

可变参数模板通过参数包支持任意数量类型参数的函数定义，核心机制包括递归展开参数包（C++11/14）和C++17的折叠表达式，结合完美转发实现高效泛型编程。

在C++中，可变参数模板函数（Variadic Template Functions）允许我们定义能接受任意数量、任意类型参数的函数。这种机制结合了模板参数包（template parameter pack）和函数参数包（function parameter pack），是实现泛型编程的重要工具。

理解模板参数包与函数参数包

可变参数模板的核心是“参数包”，它用...表示。参数包可以捕获零个或多个模板参数或函数参数。

例如：

这里Args...是模板参数包，args...是函数参数包。它们分别代表一组类型和一组值。

基本实现方式：递归展开参数包

由于不能直接遍历参数包，常用递归方式处理每个参数。

典型例子是打印所有参数：

#include iostream>

// 终止函数：参数包为空时调用
void print() { }

// 递归函数模板
template
void print(T first, Args... rest) {
    std::cout     print(rest...);
}

调用print(1, "hello", 3.14)会依次输出三个值。递归从最外层开始，逐个提取参数，直到参数包为空，调用无参版本结束。

使用 fold 表达式（C++17 起）

C++17 引入了折叠表达式，简化了参数包的处理。

例如，计算所有参数之和：

(args + ...) 会对所有参数进行左折叠加法。支持 +、*、&& 等操作符。

也可以指定初始值：(0 + ... + args) 表示从0开始累加。

转发参数包：完美转发的应用

在泛型编程中，常需将参数包转发给其他函数，比如构造对象或调用成员函数。

使用std::forward保持值类别（左值/右值）：

这里的std::forward(args)...确保参数以原始类型和值类别传递给T的构造函数。

基本上就这些。可变参数模板的关键在于理解参数包的声明与展开方式。递归适用于C++11/14，fold表达式让C++17以后更简洁。配合完美转发，能实现高效通用的泛型接口。不复杂但容易忽略细节，比如递归终止条件或引用折叠规则。