折叠表达式必须在模板函数或类中使用，因其实质是模板参数包展开的语法糖；普通函数中直接使用会因参数包未展开而编译失败。
折叠表达式必须在模板函数或类内部使用
外面直接写 (args + ...) 会编译失败，因为折叠表达式本质是模板参数包展开的语法糖，没有参数包上下文就无从展开。常见错误是试图在普通函数里硬套，结果报错 Error: parameter pack 'args' was not expanded。
正确做法是包裹在函数模板里：
template<typename... Args> auto sum(Args... args) { return (args + ...); // ✅ 正确：args 是参数包 }- 不能用于非模板的
constexpr函数（除非该函数本身是模板实例化结果） - 参数包必须至少有一个参数，否则
(args + ...)在空包时未定义行为；需要额外处理空包场景（如加默认值） - 折叠方向影响求值顺序：
(... + args)是左折叠（等价于((1 + 2) + 3)），(args + ...)是右折叠（等价于(1 + (2 + 3))），对非结合运算符（如-、/）结果不同
一元折叠和二元折叠的区别很关键
新手常混淆 (args && ...) 和 (args && ... && true) —— 前者是一元折叠（空包时为 true），后者是二元折叠（空包时报错）。c++17 规定一元折叠对空包有明确定义，但二元折叠必须有至少一个操作数。
典型误用场景：想判断所有参数是否为真，写了 (args && ... && false)，结果空参数调用直接编译失败。
立即学习“C++免费学习笔记（深入）”；
-
(args && ...)：一元右折叠，空包 →true -
(... && args)：一元左折叠，空包 →true -
(args && ... && true)：二元折叠，空包 → 编译错误 - 逻辑运算符折叠常用一元形式；算术运算建议显式处理空包，比如用
sizeof...(Args) == 0 ? T{} : (args + ...)
折叠表达式不支持自定义类型隐式转换
如果参数包里混了 int、double 和自定义 Vec3，而你写了 (args + ...)，编译器不会自动帮你转成统一类型。它只做 SFINAE 友好展开，每个 + 都要能独立重载成功。
常见错误现象：局部变量推导失败、重载决议歧义、或者静默调用到意外的 operator+。
- 确保所有类型都支持相同运算符，且重载函数签名明确（避免模板
operator+引发无限递归） - 避免依赖用户定义的隐式转换构造函数，折叠过程不触发额外转换序列
- 调试时可加
static_assert检查：static_assert((std::is_same_v<decltype int> && ...))</decltype>
折叠表达式在 constexpr 函数里要小心求值时机
虽然折叠表达式本身支持 constexpr，但如果参数包里包含非常量表达式（比如非 constexpr 的变量、运行时输入），整个表达式就会退化为运行时计算，无法用于数组长度、模板非类型参数等场景。
典型坑：以为 constexpr auto n = (sizeof(args) + ...); 总能当编译期常量用，结果发现某个 args 是函数参数而非模板实参，导致编译失败。
- 只有模板非类型参数或字面量类型常量才能保证折叠结果是
constexpr - 用
consteval函数包装折叠逻辑，能提前暴露求值失败问题 - 注意
sizeof...是特例：它本身就是编译期操作，sizeof...(Args)比(sizeof(args) + ...)更安全也更高效
实际写的时候，最容易被忽略的是参数包的“存在性”和“一致性”——它既不是宏展开，也不像 range-for 那样有隐含迭代语义。每一步展开都严格依赖模板实例化时的类型和值类别，差一点就编译不过。