C++可变参数模板是编译期类型安全的模板机制，支持任意数量、任意类型的参数；区别于C风格void func(...)运行时无类型检查的可变参数函数，它通过typename... Args和Args&&... args在编译期推导并保留每个参数的完整类型信息，错误在编译阶段即被发现。
什么是C++变长参数模板，和普通可变参数函数有什么区别
变长参数模板（variadic templates）不是printf那种基于...的C风格可变参数，而是编译期展开的类型安全机制。它不依赖va_list，不会在运行时丢失类型信息，也不会因参数类型错配导致未定义行为。
关键区别在于：
-
void func(...)是运行时裸指针操作，无类型检查 -
template<typename... args> void func(Args&&... args)</typename...>是编译期推导，每个Args都有明确类型
你写错一个参数类型，编译器立刻报错，而不是等到运行崩溃。
最简可用的变长参数模板函数怎么写
核心语法就两个地方必须出现...：模板参数声明处、函数参数声明处，且语义不同（前者是“包展开”，后者是“参数包”）。
立即学习“C++免费学习笔记（深入）”；
template<typename... Args>
void log(const Args&... args) {
((std::cout << args << " "), ...); // C++17折叠表达式
}
常见错误现象：
- 忘记在模板头写
typename...，只写typename T→ 编译失败，提示“expected parameter pack” - 在函数体里直接写
args（没展开）→ 编译失败，“parameter pack ‘args’ was not expanded” - 用
sizeof...(args)查个数没问题，但想用args[0]访问？不行，这不是数组，是参数包
如果你还在用C++11/14，得靠递归展开：
template<typename T>
void log(const T& t) { std::cout << t; }
<p>template<typename T, typename... Args>
void log(const T& t, const Args&... args) {
std::cout << t << " ";
log(args...); // 尾递归展开
}</p>如何转发变长参数（比如实现自己的make_unique）
转发必须用std::forward + 右值引用参数包，否则会退化为左值，失去移动语义。
template<typename T, typename... Args>
auto my_make_unique(Args&&... args) {
return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}
容易踩的坑：
- 写成
const Args&... args→ 所有参数都变成左值，std::forward失效 - 忘记
std::forward<args>(args)...</args>里的...→ 只转发第一个参数 - 在类模板中定义构造函数时，参数包位置要和成员初始化列表对齐，例如：
template<typename... args> explicit X(Args&&... args) : m_data(std::forward<args>(args)...) {}</args></typename...>
变长参数模板和std::tuple、std::variant怎么配合用
参数包本身不能存起来，但可以立即转成std::tuple保存：
template<typename... Args>
auto to_tuple(Args&&... args) {
return std::make_tuple(std::forward<Args>(args)...);
}
之后可以用std::get(t)、std::tuple_size_v<decltype></decltype>等操作。但注意：
-
std::tuple是值语义，如果原参数是大对象且你想避免拷贝，得确保传入的是右值或用std::move包装 -
std::variant不能直接从参数包构造，必须先确定类型列表，例如std::variant<int std::string double></int>，再用std::visit分发
真正难的不是写出来，是搞清什么时候该用参数包、什么时候该收束成tuple或std::array——前者强调“过程”，后者强调“结构”。多数人卡在这一步：把包展开后，不知道下一步该存还是该立即消费。
