C++ 如何利用折叠表达式与变长参数包重载复杂的自定义运算符【干货】-C++-PHP中文网

是，会触发无限递归；因折叠表达式不参与重载决议，若自定义operator+接受同类型参数包且无SFINAE或约束，将递归实例化模板；解决需显式终止递归链，如定义非模板叶节点重载或用static_cast转基础类型再折叠。

c++ 如何利用折叠表达式与变长参数包重载复杂的自定义运算符【干货】

折叠表达式里用 `operator+` 会触发无限递归？

直接在折叠表达式中写 (args + ...) 调用自定义 operator+，而该运算符又接受同类型参数包（比如 T, Ts...），编译器很可能选中这个重载而非内置的加法，导致递归实例化模板——报错类似 error: template instantiation depth exceeds maximum。

根本原因：折叠表达式本身不参与重载决议，它只是语法糖；真正被调用的是你定义的那个泛型 operator+，如果它没做 SFINAE 限制或类型约束，就会一路套娃下去。

解决方法是显式切断递归链：让折叠只作用于已知能终止的二元操作，比如先定义一个非模板的 operator+(const T&, const T&) 作为叶节点
或者用 static_cast 强制转成基础类型再折叠：(static_cast(args) + ...)
更安全的做法是把折叠逻辑封装进独立函数模板，并用 requires（C++20）或 std::enable_if_t（C++17）限定参数类型为可加类型

变长参数包重载 `operator 输出多个对象时，std::endl 为什么总被当成第一个参数？`

写成 os 看似简洁，但折叠方向是左结合，等价于 ((os —— 这没问题；但如果你把 std::endl 放在参数包最前面，比如 log ，而重载只支持 template logger& operator，编译器会尝试把 std::endl 当作 Ts... 的首个实参推导，结果匹配失败，因为 std::endl 是函数指针类型，无法隐式转成流对象。

正确姿势是拆开处理：单独重载一次 operator 来捕获操纵符
或者改用右折叠：(os ，它等价于 arg1 —— 但这对流操作完全反了，不能用
实际推荐方案：保留单参数重载链（即每个 operator 只吃一个参数），让参数包展开为多次调用，而不是一次折叠。用 (((os 手动展开，或借助 fold expression 的左折叠形式 (os —— 注意这里必须确保 os 是左值且返回自身引用

C++17 折叠表达式配合 `constexpr if` 实现条件折叠时，`sizeof...(Args)` 不能当 `if` 条件？

sizeof...(Args) 是常量表达式，但它不是编译期布尔上下文里的“条件”，直接写 if (sizeof...(Args) > 0) 会触发运行期分支，失去 constexpr if 的优势；更糟的是，若分支里有非法表达式（比如对空包取 args...），即使不会执行也会导致编译失败。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

必须写成 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);
</typename...>