合法c++ lambda需匹配捕获列表、参数及返回类型：默认[=]捕获变量为const，修改需mutable；捕获this须确保生命周期；无捕获无参可转函数指针；局部用auto，容器或传参用std::function。
lambda 表达式怎么写才合法
C++ 的 lambda 不是随便写个 []() {} 就能用，编译器会严格检查捕获列表、参数类型、返回类型是否匹配上下文。最常见报错是 error: no match for call 或 error: use of deleted function，往往因为捕获了局部变量但用了 std::move 后又尝试拷贝调用。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 默认用
[=]捕获时，所有捕获的变量都是 const，不能在 lambda 体内修改；要修改得显式写[=]() mutable { ... } - 捕获
this时别写成[this]()后又在函数里访问已析构对象——尤其在异步回调或 std::thread 中，this生命周期必须比 lambda 活得久 - 不带参数、不捕获的 lambda（如
[]{}）可以隐式转成函数指针；一旦用了捕获或参数，就不能转，传给 C 风格接口时会编译失败
std::function 和 auto 哪个该用
声明 lambda 变量时，auto 是首选；但存到容器、作为函数参数传递、或者需要运行时替换逻辑时，std::function 才是正解。滥用 std::function 会引入小开销（类型擦除 + 间接调用），而过度依赖 auto 又会让接口契约模糊。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 局部一次性使用：直接
auto f = [](...) { ... };，清晰且零成本 - 要塞进
std::vector<:function>> callbacks;</:function>？必须用std::function，auto在模板推导中无法统一类型 -
std::function构造时可能抛std::bad_function_call，但只发生在调用空std::function时，不是构造时——别在构造后加一堆判空
捕获列表里的 & 和 = 到底影响什么
捕获方式决定 lambda 对外部变量的访问权限和生命周期绑定方式。[&] 按引用捕获，[=] 按值捕获，但它们不是“全量开关”，而是默认策略，可混合覆盖，比如 [&, x]() 表示除 x 外都按引用，x 单独按值复制。
实操建议：
立即学习“C++免费学习笔记（深入）”；
- 捕获局部栈变量并打算异步执行？别用
[&]，否则大概率访问野指针；改用[=]或显式[x, y]拷贝关键值 - 想捕获一个大对象但又不想深拷贝？用
[ptr = std::make_shared<t>(...)]</t>捕获智能指针，兼顾安全与性能 -
[=, this]是冗余写法：this已包含在=里；[&, this]也是，this引用语义已由&覆盖
lambda 用在 sort、find_if 这类算法里要注意啥
标准算法要求谓词（predicate）是可调用对象，lambda 完全符合，但实际写的时候容易忽略比较函数的严格弱序、或捕获导致闭包大小超标（尤其在嵌入式或 stack-limited 环境）。
实操建议：
立即学习“C++免费学习笔记（深入）”；
std::sort(v.begin(), v.end(), [](const auto& a, const auto& b) { return a.x —— 参数务必用 const 引用，避免不必要的拷贝- 如果 lambda 捕获了多个大对象，
sizeof可能超过栈帧限制，编译不报错但运行时崩溃；这时应把逻辑抽成命名函数或用std::function配合 heap 分配 - 在
std::transform中用 lambda 修改元素？确保 lambda 返回类型和目标迭代器 value_type 匹配，否则静默截断或编译失败
lambda 的麻烦不在语法，而在它把“谁拥有数据”“谁控制生命周期”“谁负责线程安全”这些隐含契约全藏进了短短几行代码里。写完别急着跑，先盯两眼捕获列表和调用点的生命周期关系。
