记录lambda表达式遇到的问题（C++）

问题代码

auto lambda_func = [] {
    ...
    if (条件) {
        return false;        // ← 唯一的 return
    }
    ...
};

分析：

C++ lambda 没写 -> T 时，返回类型从 return 语句推导。这里只有一句 return false;，所以编译器把整个 lambda 的返回类型定成 bool。
但控制流到达 lambda 结尾大括号——没有 return 语句。控制流到达 lambda 结尾大括号——没有 return 语句。

UB 在汇编层的表现

GCC 给这个 lambda 编出的代码大致是：

; 函数 epilogue
mov  %rax, ???      ; %rax 应该装返回值，但成功路径没设置
ret

成功路径下 %rax 里是上一次函数调用残留的值——具体是哪个值，取决于条件 返回 true 后 %rax 没被覆盖前的最后一个值，很可能就是那个 true（即 1）

为什么以前可能没暴露 / 改 ABI 后才暴露

这种 UB 的具体行为依赖：

编译器版本（GCC-12 vs 旧版）
优化级别（-O2 寄存器分配 vs -O0）
调用约定细节
frame 上下文（外层是不是 detached thread、有没有 try/catch）

老编译器/低优化下，%rax 可能"恰好"是 0，或者寄存器分配让残留值不影响 unwind 决策；换了 GCC-12 + -D_GLIBCXX_USE_CXX11_ABI=1 + 你们的某次重编后，寄存器分配变了，UB 就显形了。这也解释了为什么"以前一直没事，最近才崩"

修复方案

[...]() -> void {     // ← 类型确定为 void
    ...
    return;           // ← 失败路径
};

返回类型显式 void 之后：

编译器知道这个函数不返回值，%rax 不被当成返回值
fall-off-the-end 在 void 函数里是合法的（[stmt.return]/2 末尾："Flowing off the end of a function ... is equivalent to a return with no value; this results in undefined behavior in a value-returning function."—— void 函数不属于 value-returning）
cleanup 路径走的是确定的 unwind state，_Unwind_Resume 不会被错误触发

所以崩溃消失。

一个判断技巧（以后遇到类似 crash）

GDB 里看到 _Unwind_Resume 第一个参数是 0x0、0x1、小整数或者明显不是堆地址的值，99% 是某个函数本该返回值却 fall-off-the-end 了。下次遇到这种栈，第一个动作就是 grep -rn "return false|return true" 嫌疑 lambda 看是不是返回类型推导问题。