fold 表达式是C++17引入的语法，用于在编译期对参数包进行二元操作折叠，如+、||等，简化变参模板的递归展开，提升代码简洁性与可读性。
C++17 引入了 fold 表达式，让变参模板的写法变得更简洁、直观。在没有 fold 表达式之前，处理参数包通常需要递归展开或借助初始化列表等技巧，代码冗长且不易读。而 fold 表达式通过统一语法，直接支持对参数包进行折叠操作，极大简化了模板元编程。
什么是 fold 表达式？
fold 表达式用于在编译期对模板参数包中的每个元素执行二元操作（如 +、||、
- (... op args)：左折叠，等价于 (((arg1 op arg2) op arg3) ...)
- (args op ...)：右折叠，等价于 (arg1 op (arg2 op (... op argN)))
- (... op args, init)：带初始值的左折叠
- (init op ... op args)：带初始值的右折叠
其中 op 是支持的二元运算符，args 是参数包。
用 fold 简化参数包求和
以前实现变参求和需要递归函数重载：
立即学习“C++免费学习笔记（深入）”；
template现在只需一行：
template调用 sum(1, 2, 3, 4) 将展开为 ((1 + 2) + 3) + 4，编译期完成计算。
逻辑判断与断言检查
fold 表达式非常适合做类型或值的批量判断。例如检查所有参数是否为整数：
template
这里 (&& ...) 是右折叠，等价于逐个做逻辑与。类似地，可用 (... ||) 判断是否存在某种类型。
还可以结合 static_assert 在编译期验证输入：
template打印参数包不再需要递归
以前打印参数包常借助递归终止技巧，现在可以用 fold 配合逗号操作符一行搞定：
template这会依次将每个参数输出到 cout。如果想加分隔符，可以这样：
template注意结尾会多一个逗号，可通过更复杂逻辑优化，但基本结构已非常清晰。
基本上就这些。fold 表达式把原本繁琐的模板展开变得像普通表达式一样自然，是 C++17 对模板编程的重要改进。只要涉及参数包处理，优先考虑 fold，代码会更短、更安全、更容易维护。
