fold-expression是C++17引入的语法糖，本质是编译期对参数包应用同一二元运算符生成扁平表达式树，无需递归即可简洁展开可变参数，显著提升代码可读性与性能。
什么是 fold-expression，它为什么能简化可变参数展开
fold-expression 是 C++17 引入的语法糖，本质是编译期对参数包的“折叠”操作，比如 (args 会自动展开为 <code>args1 。它比传统递归展开更简洁、更易读，也避免了模板递归深度限制和冗余函数调用开销。
但注意：fold-expression 要求所有参数类型支持对应运算符（如 ），且不能直接用于语句式操作（比如 <code>std::cout 是非法的）——必须包裹在合法表达式中。
怎么用 fold-expression 实现逐个打印，且保持换行或分隔符
核心思路是把 std::cout 变成一个可折叠的表达式。最常用的是逗号折叠（<code>,...）或流插入折叠（），但后者需确保左操作数始终是 <code>std::ostream& 类型。
- 用逗号折叠（推荐）：
template<typename... Args> void print(Args&&... args) { ((std::cout << args << '\n'), ...); }这里每个std::cout 是独立表达式，逗号保证顺序执行 - 用流插入折叠（需左值引用）：
template<typename... Args> void print(Args&&... args) { (std::cout << ... << args); // 打印连在一起，无分隔 std::cout << '\n'; }这会变成std::cout ，不适合混合类型或需要格式控制的场景 - 带分隔符的写法（C++20 起更简单，但 C++17 可用辅助 lambda）：
template<typename... Args> void print_sep(Args&&... args) { const char* sep = ""; ((std::cout << sep << args, sep = " "), ...); std::cout << '\n'; }利用逗号表达式更新sep，首项前不输出空格
常见错误：类型不支持 、参数包为空、求值顺序误解
如果传入自定义类型且未重载 operator，编译器会报错，例如：<code>error: no match for 'operator。空参数包在逗号折叠中是合法的（<code>(expr, ...) → void），但流插入折叠 (std::cout 在零参数时编译失败。
立即学习“C++免费学习笔记（深入）”；
- 空参数包：用逗号折叠安全；流插入折叠必须加特化或静态断言
- 求值顺序：C++17 规定 fold-expression 中子表达式从左到右求值，但不要依赖副作用嵌套（比如
((std::cout 内部不能再含未序列化的修改） - 类型不匹配：遇到
std::array或std::vector，需额外处理，fold-expression 不会自动解包容器
实际使用时最容易被忽略的一点
fold-expression 展开后生成的是纯右值表达式，无法绑定到非 const lvalue 引用。如果你在打印函数里想同时做修改（比如把每个参数转成大写再输出），就不能靠 fold-expression 直接完成——得先用参数包构造 tuple 或 array，再遍历。另外，调试时别指望 IDE 能高亮展开后的每一项；错误信息里的模板实例化栈可能很长，重点看第一行报错位置和 args 的实际类型推导结果。
