lambda是闭包类型而非匿名函数，基本语法为[捕获](参数)->返回类型{体}，捕获方式决定类型唯一性，无捕获lambda可转函数指针，std::function有类型擦除开销，STL中需注意捕获变量生命周期。
lambda 表达式不是“匿名函数”的别名，而是可调用对象（闭包类型）的构造语法；它不等价于函数指针，捕获方式不同会导致类型完全不同。
lambda 基本语法结构怎么写
最简形式是 [capture](params) -> return_type { body }，其中 -> return_type 可省略（编译器自动推导），params 为空时括号也不能省。
-
[&]按引用捕获所有外部变量（注意：被引用变量生命周期必须长于 lambda 调用） -
[=]按值拷贝所有外部变量（注意：大对象拷贝开销、不可变性） -
[x, &y]混合捕获：x 值拷贝，y 引用捕获（显式列出更安全，避免意外捕获） -
[this]捕获当前对象指针（类成员函数内使用 lambda 访问成员时必需） - 空捕获子句
[]表示不捕获任何变量（此时 lambda 等价于普通函数对象）
为什么 std::function 不能直接赋值给函数指针
因为 lambda 类型是唯一的、未命名的闭包类，即使签名相同，[](){} 和 [=](){} 的类型也完全不兼容。函数指针只能指向有确定地址的普通函数或 static 成员函数。
- 错误写法：
void (*fp)() = []{}; // 编译失败 - 正确转函数指针（仅限无捕获 lambda）：
void (*fp)() = +[]{}; // + 触发隐式转换为函数指针 - 通用包装用
std::function：std::function<void> f = []{};</void>（但有类型擦除开销） - 模板参数推导更高效：
template<typename f> void call(F&& f) { f(); }</typename>，传入 lambda 无额外开销
在 STL 算法里怎么安全传 lambda
STL 算法（如 std::sort、std::find_if）都接受可调用对象，lambda 是最常用写法，但要注意捕获有效性。
立即学习“C++免费学习笔记（深入）”；
- 避免引用捕获局部变量后用于异步/延迟执行：
std::async([&x]{ return x; }); // x 可能已析构 - 按值捕获简单类型安全：
std::find_if(v.begin(), v.end(), [target=val]{ return *it == target; }); - 需要修改外部变量？用
mutable关键字：[x]() mutable { ++x; }（否则值捕获的变量默认 const） - 捕获 this 时，确保对象生命周期覆盖 lambda 执行期，尤其在回调中
lambda 作为返回值时的陷阱
函数返回 lambda 时，若捕获了局部变量，会引发悬垂引用或悬垂拷贝 —— 编译器通常会报错或警告，但并非总能检测到。
- 危险写法：
auto make_adder(int x) { return [x](int y) { return x + y; }; } // OK，x 是值捕获 - 更危险写法：
auto make_bad_adder(int& x) { return [&x](int y) { return x + y; }; } // 返回后 x 可能失效 - 返回 lambda 推荐只捕获值、
this或静态/全局变量 - 若需返回带状态的闭包，考虑封装成类或用
std::shared_ptr管理资源
真正难的不是写出 lambda，而是判断它捕获了什么、生命周期由谁管理、能否安全跨作用域传递 —— 这些细节在调试时往往表现为静默行为异常或崩溃，而不是编译错误。
