是，会触发无限递归；因折叠表达式不参与重载决议，若自定义operator+接受同类型参数包且无SFINAE或约束，将递归实例化模板；解决需显式终止递归链，如定义非模板叶节点重载或用static_cast转基础类型再折叠。
折叠表达式里用 operator+ 会触发无限递归？
直接在折叠表达式中写 (args + ...) 调用自定义 operator+，而该运算符又接受同类型参数包（比如 T, Ts...），编译器很可能选中这个重载而非内置的加法，导致递归实例化模板——报错类似 error: template instantiation depth exceeds maximum。
根本原因：折叠表达式本身不参与重载决议，它只是语法糖；真正被调用的是你定义的那个泛型 operator+，如果它没做 SFINAE 限制或类型约束，就会一路套娃下去。
- 解决方法是显式切断递归链：让折叠只作用于已知能终止的二元操作，比如先定义一个非模板的
operator+(const T&, const T&)作为叶节点 - 或者用
static_cast强制转成基础类型再折叠：(static_cast<double>(args) + ...)</double> - 更安全的做法是把折叠逻辑封装进独立函数模板，并用
requires（C++20）或std::enable_if_t（C++17）限定参数类型为可加类型
变长参数包重载 operator 输出多个对象时，<code>std::endl 为什么总被当成第一个参数？
写成 os 看似简洁，但折叠方向是左结合，等价于 <code>((os —— 这没问题；但如果你把 <code>std::endl 放在参数包最前面，比如 log ，而重载只支持 <code>template<typename... ts> logger& operator，编译器会尝试把 <code>std::endl 当作 Ts... 的首个实参推导，结果匹配失败，因为 std::endl 是函数指针类型，无法隐式转成流对象。
- 正确姿势是拆开处理：单独重载一次
operator 来捕获操纵符 - 或者改用右折叠：
(os ，它等价于 <code>arg1 —— 但这对流操作完全反了，不能用 - 实际推荐方案：保留单参数重载链（即每个
operator 只吃一个参数），让参数包展开为多次调用，而不是一次折叠。用 <code>(((os 手动展开，或借助 fold expression 的左折叠形式 <code>(os —— 注意这里必须确保 <code>os是左值且返回自身引用
C++17 折叠表达式配合 constexpr if 实现条件折叠时，sizeof...(Args) 不能当 if 条件？
sizeof...(Args) 是常量表达式，但它不是编译期布尔上下文里的“条件”，直接写 if (sizeof...(Args) > 0) 会触发运行期分支，失去 constexpr if 的优势；更糟的是，若分支里有非法表达式（比如对空包取 args...），即使不会执行也会导致编译失败。
立即学习“C++免费学习笔记（深入）”；
- 必须写成
if constexpr (sizeof...(Args) > 0)，否则不生效 - 常见陷阱：在
constexpr if分支内仍直接使用args...，而未配合折叠语法，比如do_something(args...)在空包时仍会展开失败 - 稳妥写法是把整个折叠逻辑包进分支：
if constexpr (sizeof...(Args) > 0) { return (process(args) && ...); }，并为sizeof...(Args) == 0提供明确返回值
自定义 operator== 对结构体成员做折叠比较，std::tie 和直接折叠哪个更快？
对 struct S { int a; double b; std::string c; };，有人倾向写 return std::tie(lhs.a, lhs.b, lhs.c) == std::tie(rhs.a, rhs.b, rhs.c);，也有人用折叠：return (lhs.a == rhs.a) && (lhs.b == rhs.b) && (lhs.c == rhs.c);。前者通用但引入 tuple 构造开销；后者零成本但手写易错、难维护。
用折叠表达式生成等价代码才是平衡点：
template<typename... Ts>
constexpr bool equal_members(const auto& lhs, const auto& rhs, Ts auto S::*... members) {
return ((lhs.*members) == (rhs.*members) && ...);
}
// 调用：equal_members(s1, s2, &S::a, &S::b, &S::c);
- 注意：成员指针必须显式传入，不能靠 ADL 或自动推导，否则折叠时类型不一致会失败
- 如果结构体含不可比较成员（如
std::mutex），需提前static_assert或用requires约束 - 这种写法在 debug 模式下调试信息更清晰，每个比较独立可断点；而
std::tie一层套一层，栈帧深、变量名难追踪
