C++可变参数模板通过参数包与递归展开/折叠表达式支持任意数量和类型的模板参数，用于实现类型安全的泛型工具；需用typename...定义类型包、Args&&...定义值包，并在合法上下文中以args...形式展开。
C++ 可变参数模板（Variadic Templates） 的核心是支持任意数量、任意类型的模板参数，常用于实现类型安全的泛型工具，比如 std::make_tuple、std::print（C++23）、日志函数、工厂模式等。它不是简单“传参”，而是通过**参数包（parameter pack）+ 递归展开/折叠表达式**来实现逻辑。
参数包定义与基础展开
声明可变模板时用 typename... 或 class... 定义类型参数包，用 Args&&... 定义值参数包：
-
template<typename... args> struct Tuple {};</typename...>—— 类型包，可为空 -
template<typename... args> void func(Args&&... args) { ... }</typename...>—— 值包，支持完美转发
展开必须在支持“包展开”的上下文中进行，例如函数调用、初始化列表、sizeof...、折叠表达式等。直接写 args 是非法的，必须写成 args...（尾随省略号表示展开）。
递归展开处理每个参数（经典写法）
当需要逐个处理参数（如打印、构造对象），常用“头-尾”递归分解：
立即学习“C++免费学习笔记（深入）”；
- 先定义一个终止重载（0参数版本）
- 再定义一个带至少一个参数的重载，分离出第一个参数（
head）和剩余参数包（tail...） - 在函数体内处理
head，再递归调用自身处理tail...
示例：类型安全的多参数打印函数
#include <iostream>
template<typename T>
void print(T&& t) {
std::cout << t << '\n';
}
template<typename T, typename... Args>
void print(T&& t, Args&&... args) {
std::cout << t << ' ';
print(std::forward<Args>(args)...); // 展开 tail 并递归
}
// 使用：print(1, "hello", 3.14, std::string("world"));
折叠表达式（C++17 起，更简洁）
避免手动递归，用 (expr op ...) 或 (... op expr) 一行展开并计算。适用于逻辑可结合（如 +、&&、, ）的场景：
(std::cout —— 左折叠，等价于 <code>((std::cout-
return (... && (std::is_integral_v<args>));</args>—— 检查所有参数是否为整型 -
auto sum = (0 + ... + args);—— 计算数值参数和（要求所有args支持+）
在类模板中使用参数包（如 tuple、variant 实现思路）
可变参数模板类常配合别名模板、递归继承或成员模板特化来构建异构容器：
- 用
std::tuple<Args...>存储参数包，其内部就是靠递归基类或联合体+索引元组实现 - 自定义类中可将参数包作为成员：
std::tuple<Args...> data; - 构造时用
std::make_tuple(std::forward<Args>(args)...)转发初始化 - 访问需配合
std::get<I>(data)或结构化绑定（C++17）
关键点：类模板本身不“执行”逻辑，而是把参数包保存下来，留待后续编译期推导或运行时索引操作。
