lambda编译报错常见于返回类型推导失败或捕获方式不当；应显式指定尾置返回类型、按需选择[=]或[&]捕获，并避免悬垂引用与未定义行为。
lambda 表达式写法不对，编译报错 [](){} 不起作用？
常见错误是漏掉返回类型推导或参数类型不匹配。C++11 起支持自动类型推导，但编译器需要足够信息：如果函数体含多条语句、有 return 且类型不一致，或捕获了变量却没声明捕获方式，[]() { return 42; } 可能被当成无返回值（void），后续传给要求 int() 的地方就报错。
- 单表达式、无捕获时，返回类型通常自动推导，安全；但显式写
-> int更稳，尤其在模板上下文中 - 含
if/return多分支时，必须加尾置返回类型，比如[]() -> double { if (x) return 1.0; else return 2.5; } - 空捕获子句
[]不代表“不能访问外部”，而是禁止访问——若用了外部变量却没写[&]或[=]，直接编译失败
捕获列表写成 [&] 还是 [=]？生命周期出问题怎么办
这不是风格选择，是内存安全红线。[&] 按引用捕获，lambda 存活时间超过其引用的局部变量时，调用就会读野指针；[=] 按值拷贝，看似安全，但拷贝大对象（如 std::vector）可能拖慢性能，且对不可拷贝类型（如 std::unique_ptr）直接编译不过。
- 只读访问且变量生命周期确定长于 lambda（比如类成员函数里存为
std::function成员），优先用[this]显式捕获，避免隐式[=]拷贝整个对象 - 需要修改外部变量，又怕悬垂引用？改用
[ptr = &x]() mutable { *ptr = 42; }—— 把指针按值捕获，再解引用操作 -
[=, &y]混合捕获合法，但易读性差，除非 y 是唯一需引用的变量，否则建议拆成两个 lambda 或重构逻辑
lambda 当作模板参数传入，为什么 auto 参数推导失败？
模板函数接收 lambda 时，auto 参数（如 template<typename f> void foo(F f)</typename>）本身没问题，但若你在函数体内对 f 做 decltype(f()) 或 std::invoke_result_t 查询，而 lambda 含未定义行为（如捕获了已析构对象），编译期可能静默通过，运行时报错。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 更稳妥的是用概念约束（C++20）：
template<:invocable f> void foo(F&& f)</:invocable>，它会在编译期检查调用合法性 - 若必须用 C++11/14，把 lambda 类型显式转成
std::function再传，虽有小开销，但类型擦除后行为可预测，适合回调注册等场景 - 别在模板中直接对 lambda 做
sizeof或alignof判断——每个 lambda 类型唯一，结果不可移植
std::sort 里用 lambda 排序，[&vec] 捕获导致迭代器失效？
不会。排序算法内部不依赖捕获的容器，只调用你提供的比较函数。但容易踩的坑是：在比较 lambda 里意外修改了被排序容器（比如写成 [&vec](int a, int b) { vec.push_back(a); return a ），这会破坏 <code>std::sort 的严格弱序前提，引发未定义行为，表现可能是崩溃、无限循环或乱序。
立即学习“C++免费学习笔记（深入）”；
- 比较函数必须是纯的：不读写外部状态，不抛异常，对同一对参数始终返回相同结果
- 需要访问外部数据（如按某字段排序结构体），用
[&data_map](const auto& x, const auto& y) { return data_map.at(x.id) 是 OK 的，前提是 <code>data_map在排序期间不变 - 调试时怀疑比较函数有问题？先把它抽成命名函数，加日志，再确认是否真被多次/异常调用
lambda 的本质是闭包对象，不是语法糖。它的类型不可名状、大小不固定、捕获策略直接影响内存模型——这些特性在简单场景下藏得深，一到异步、模板、生命周期交叉时就立刻暴露。写的时候多问一句：这个 lambda 最终在哪执行？它持有的东西那时还活着吗？
