C++中lambda本质是闭包对象而非匿名函数，安全关键在于捕获语义与对象生命周期对齐：值捕获安全但注意this寿命，引用捕获易致悬空，显式[this]更清晰；需类型擦除时才用std::function。
在 C++ 中，lambda 表达式不是“匿名函数”——它本质是编译器生成的闭包类型（closure type）的对象，可隐式转换为 std::function 或直接作为函数对象调用。误当成“函数指针”或忽略捕获规则，是绝大多数人出错的根源。
lambda 的基本语法与捕获方式怎么写才安全
标准写法：[capture-list](parameters) -> return-type { body }。其中 capture-list 决定变量生命周期和访问权限，最容易踩坑。
-
[=]值捕获：所有外部变量按值拷贝，但若原变量是局部栈对象，其析构后 lambda 里访问的是副本，通常安全；若捕获了this，则隐含捕获当前对象指针，需确保 lambda 生命周期不超对象寿命 -
[&]引用捕获：危险！若 lambda 在创建作用域外执行（如传给异步任务、存入容器），而被引用的局部变量已销毁，就会出现悬空引用 -
[this]显式捕获当前对象：推荐用于类成员中需要访问成员变量/函数的场景，比[&]更清晰且避免意外捕获无关变量 -
[x, &y]混合捕获：允许部分值、部分引用，但注意 C++17 起要求所有引用捕获的变量必须在 lambda 执行时仍有效
什么时候必须用 std::function 包一层
std::function 是类型擦除容器，用于存储任意可调用对象。但它是运行时开销（堆分配 + 间接调用），不是 lambda 的必需包装。
- 需要把 lambda 存进
std::vector、std::map等容器时，因 lambda 类型唯一且不可名，必须用std::function统一类型 - 作为函数参数传递，且接口定义为
std::function<void></void>，此时 lambda 会隐式转换（前提是签名匹配） - 不需要：直接传参给接受泛型模板参数的函数（如
std::sort、std::for_each），编译器推导具体闭包类型，零开销
auto f = [](int x) { return x * 2; };
std::vector<std::function<int(int)>> funcs;
funcs.push_back(f); // 必须包装
std::sort(v.begin(), v.end(), [](int a, int b) { return a > b; }); // 不需要 std::function捕获 this 后调用成员函数为什么有时报错
常见错误：error: ‘this’ was not captured for this lambda，或运行时报 segmentation fault。根本原因是捕获方式与成员访问不匹配。
立即学习“C++免费学习笔记（深入）”；
- 若 lambda 内部调用
member_func()，但没捕获this（即没写[this]或[=]/[&]），编译失败 - 若用
[&]捕获，但 lambda 在对象析构后执行，this成悬空指针，调用成员函数即崩溃 - 正确做法：显式写
[this]，并确保 lambda 不会在对象生命周期结束后被调用；若需延长生命周期，考虑用std::shared_ptr<T>捕获（[self = shared_from_this()]）
class Worker {
int data = 42;
public:
void start() {
// ✅ 安全：显式捕获 this，且 lambda 在 this 有效期内执行
auto task = [this]() { printf("%d\n", data); };
task();
}
};移动捕获和 mutable 关键字的实际用途
C++14 引入移动捕获（如 [x = std::move(x)]），C++11 起支持 mutable 修饰 lambda，两者常被忽略但解决特定问题。
- 移动捕获：当外部变量是独占资源（如
std::unique_ptr、大对象），又不想拷贝时使用；注意移动后原变量变为有效但未定义状态 -
mutable：允许修改值捕获的副本（默认 lambda 的operator()是 const 成员函数）；典型场景是实现带状态的 lambda，比如计数器 - 不加
mutable却尝试修改捕获变量 → 编译错误；加了但修改的是引用捕获的变量 → 修改的是原变量，与mutable无关
std::unique_ptr<int> p = std::make_unique<int>(100);
auto lambda = [p = std::move(p)]() mutable {
*p = 200; // ✅ 可修改移动进来的副本
};
// 此时原 p 已为空lambda 的核心约束不在语法多复杂，而在捕获语义是否与对象生命周期对齐。很多 crash 和未定义行为，都源于把 lambda 当成“函数”而忽略了它是个有状态、有生命周期的对象。
