折叠表达式是C++17引入的简化可变参数模板的特性，支持对参数包使用二元运算符，分为左折叠、右折叠、一元左折叠和一元右折叠四种形式，常用于求和、打印、条件判断和资源清理等场景，能显著减少模板代码量；使用时需注意空参数包可能导致编译错误，可通过提供初始值避免，且仅支持部分运算符。
折叠表达式是C++17引入的一项重要特性，它极大简化了可变参数模板的编写方式。在C++17之前，处理参数包通常需要递归模板或复杂的辅助结构，代码冗长且难以理解。折叠表达式的出现让这类操作变得简洁直观。
什么是折叠表达式
折叠表达式允许你直接对模板参数包使用二元运算符，编译器会自动展开所有参数并应用操作。它支持四种形式：
- (pack + ...)：左折叠（二元折叠）
- (... + pack)：右折叠（二元折叠）
- (... + expr)：一元右折叠
- (expr + ...)：一元左折叠
其中最常用的是前两种。例如计算所有参数之和：
template<typename... Args>auto sum(Args... args) {
return (args + ...);
}
常见使用场景
折叠表达式适用于多种实际用途，显著减少模板代码量。
立即学习“C++免费学习笔记（深入）”；
打印多个参数
实现一个类型安全的日志函数：
template<typename... Args>void print(Args... args) {
(std::cout << ... << args) << '\n';
}
调用 print("Hello", 42, 3.14); 会依次输出所有值。
检查所有条件是否为真
利用逻辑与操作验证多个布尔表达式：
template<typename... Preds>
bool all_true(Preds... preds) {
return (... && preds);
}
如果传入的所有值都为 true，则返回 true，否则返回 false。
资源清理或函数调用
有时需要对每个参数执行相同操作，比如关闭文件描述符：
template<typename... FDs>void close_all(FDs... fds) {
(..., close(fds));
}
这里用逗号运算符实现逐个调用 close 函数。
注意事项与限制
折叠表达式虽然强大，但有一些细节需要注意。
空参数包会导致编译错误，除非提供默认值。例如：
template<typename... Args>int sum(Args... args) {
return (args + ... + 0); // 空包时返回 0
}
这种写法称为“带初始值的折叠”，能安全处理空参数情况。
并非所有运算符都支持折叠。支持的操作包括算术、逻辑、比较、位运算和部分其他操作符，但像赋值、throw 等有限制。
基本上就这些。折叠表达式让可变参数模板从繁琐变为优雅，掌握它能写出更现代、更易维护的C++代码。
