C++对可变数量参数的支持经历了漫长的演进。从C语言的va_list宏，到C++11的变参模板，再到C++17的折叠表达式，每一次进步都提升了类型安全性和表达能力。理解这个演进过程，有助于欣赏现代C++的强大，也帮助开发者在面对旧代码时做出正确的选择。
参考：https://vhjpe.cn/category/chanpin-pingce.html
C语言的va_list是可变参数的最原始形式。printf系列函数是典型例子：第一个参数是格式化字符串，后续参数数量可变。va_list机制通过宏（va_start、va_arg、va_end）遍历参数列表。但这种方法有几个严重缺陷：没有类型安全（编译器不检查参数类型是否匹配）、没有参数计数（需要额外信息如格式化字符串或哨兵值）、性能开销（需要遍历参数列表）、且不能传递参数包到另一个函数。
C++98的局限性：在C++98中，除了继承C的va_list外，没有更好的可变参数支持。这导致了许多基于宏和模板递归的笨拙解决方案。例如，std::max和std::min只有两个参数的版本，要支持多个参数需要嵌套调用。
C++11的变参模板彻底改变了这一局面。通过typename... Args声明一个模板参数包，通过args...声明一个函数参数包。参数包可以包含零个或多个参数，每个参数可以是任意类型。变参模板的核心操作是包展开：在参数包后面加上...，表示将包展开为多个元素。包展开可以出现在多种上下文中：函数参数、模板参数、初始化列表、以及基类列表。
参考：https://vhjpe.cn/category/meirong-zhishi.html
递归实例化是处理变参模板的传统方法。定义一个接受参数包的函数模板，处理第一个参数，然后用剩余参数递归调用自身。递归需要基例（空参数包的特化）来终止。这种方法虽然有效，但会导致模板实例化数量线性增长，编译时间和代码体积都会增加。
初始化列表展开是一种更简洁的技巧。利用std::initializer_list的构造会按顺序求值其参数的特性，可以在一个表达式中展开包并执行一系列操作。例如，(void)std::initializer_list{ (process(args), 0)... };会依次调用process处理每个参数。这种技巧避免了递归，减少了模板实例化数量。
C++17的折叠表达式是变参模板的重大改进。折叠表达式允许对参数包应用二元运算符，而不需要递归或初始化列表技巧。语法为(pack op ...)（一元右折叠）、(... op pack)（一元左折叠）、(init op ... op pack)（二元右折叠）、(pack op ... op init)（二元左折叠）。折叠表达式支持所有C++的二元运算符，包括+、-、*、/、&&、||、<<、>>等。
折叠表达式极大地简化了常见的变参操作。例如，计算所有参数的和：(args + ...)。检查所有参数是否为真：(args && ...)。将所有参数打印到输出流：(std::cout << ... << args)。折叠表达式不仅是语法糖，它们的编译效率也优于递归实例化。
参考：https://vhjpe.cn/category/hufu-jiqiao.html
sizeof...运算符返回参数包中的参数数量，在编译期求值。这可以用于验证参数个数、实现断言、或作为SFINAE的条件。
完美转发与变参模板的结合是构建工厂函数和代理函数的基础。std::make_unique、std::make_shared、std::tuple的构造函数、以及std::invoke都依赖于将参数包完美转发到内部函数。模式为：template void wrapper(Args&&... args) { inner(std::forward(args)...); }。
变参模板的应用场景：
类型安全的printf：可以编写一个print函数，模板参数包对应格式化参数，编译器检查参数类型是否匹配格式说明符。
委托构造函数：使用变参模板和完美转发，可以创建能够接受任意参数的通用构造函数，将其转发给成员对象。
访问者模式：变参模板可以简化访问者接口，允许访问者接受任意数量的类型。
信号槽系统：回调函数可以接受任意数量和类型的参数，通过变参模板实现类型安全的信号槽连接。
元组操作：std::tuple的实现依赖变参模板，而std::apply允许将元组展开为函数参数。
变参模板的限制：参数包不能直接遍历，必须通过包展开、递归或折叠表达式间接操作。参数包也不能作为模板模板参数。某些模式（如同时对多个参数包进行迭代）需要复杂的索引技巧。
C++20的改进：概念（concepts）可以与变参模板结合，约束参数包中的每个类型。例如，template ... Args>要求每个参数都可以转换为int。Lambda表达式现在支持模板参数，包括变参模板：auto lambda = [](Args&&... args) { ... };。
C++23的新特性：auto作为函数参数可以产生隐式模板，但尚不支持变参。std::tuple的operator[]使用变参模板的变体实现编译期索引。
与旧代码的兼容：当你需要修改遗留代码时，了解va_list和变参模板的区别很重要。将printf风格的函数改为变参模板需要仔细处理格式字符串解析，通常更好的选择是使用std::format（C++20）或std::ostream。
变参模板是现代C++的基石之一。它使得标准库可以构建tuple、variant、optional、any等高级抽象，也使普通开发者可以编写类型安全的可变参数接口。掌握变参模板，是写出优雅、高效、类型安全的C++代码的重要一步。
参考：https://vhjpe.cn
