Lambda捕获初始化语句（C++14引入）允许在捕获列表中直接声明并初始化新变量，如[x = expr]，其值在Lambda创建时求值、绑定生命周期；禁止与[=]或[&]混用，不可重名，支持C++17的[&ref = expr]引用初始化。
什么是 Lambda 捕获初始化语句（C++14 引入）
这是 C++14 起支持的语法，允许在 Lambda 捕获子句中直接声明并初始化一个新变量，而无需它在外部作用域已存在。本质是“捕获并重命名 + 类型推导”，常用于简化对临时对象、转型结果或复杂表达式的持有。
常见错误现象：[x = expensive_computation()] 写成 [=, x = expensive_computation()] —— 混用默认捕获和初始化捕获会触发编译错误（ISO C++ 标准禁止）。
使用场景包括：
- 避免多次调用开销大的函数（如
get_config().timeout_ms()） - 对右值或 const 对象做移动语义封装（如
[data = std::move(buf)]） - 将指针转为智能指针统一管理（如
[ptr = std::shared_ptr<int>(new int(42))]</int>）
注意：初始化表达式在 Lambda 创建时求值，不是每次调用时求值。
立即学习“C++免费学习笔记（深入）”；
怎么写合法的捕获初始化（语法与限制）
必须严格满足以下条件，否则编译失败：
- 初始化捕获只能出现在捕获列表最前面，或单独使用；不能与
[=]或[&]共存 - 形式固定为
[id = expr]或[&id = expr]（后者为引用捕获，C++17 起允许） -
id不能与 Lambda 外部任何名字冲突（包括参数名、局部变量名） - 初始化表达式
expr必须能在 Lambda 定义点被求值（不能访问未定义行为或未捕获的局部变量）
示例对比：
// ✅ 合法：纯初始化捕获
auto f1 = [value = compute_default()]() { return value * 2; };
<p>// ✅ 合法：混合值捕获与初始化捕获（C++17 起）
int x = 10;
auto f2 = [x, ptr = std::make_unique<int>(x+1)]() { return *ptr + x; };</p><p>// ❌ 非法：不能和 [=] 一起用
auto bad = [=, y = 42]() { }; // error: cannot mix default capture with init-capture</p><p>// ❌ 非法：重复名字
int y = 1;
auto also_bad = [y = 2, y = 3]() { }; // error: redefinition of 'y'引用捕获初始化（C++17 新增）要注意什么
C++17 放宽限制，允许写 [&ref = expr]，但语义易误读：它捕获的是 expr 的结果对象的引用，而非 expr 本身。这意味着：
- 若
expr是临时对象（如函数返回值），&ref会绑定到该临时，其生命周期被延长至 Lambda 对象生存期 - 若
expr是左值，&ref就是它的别名，修改ref等价于修改原变量
容易踩的坑：
-
[&s = std::string("hello")]是安全的（临时 string 生命周期延长） -
[&s = local_str]中若local_str在 Lambda 外部被销毁，Lambda 内访问s就是悬垂引用 -
[&x = x]是合法但冗余的，等价于[&x]，不推荐这样写
性能影响：引用初始化捕获本身无额外开销，但若绑定到临时对象，会触发一次隐式延长生命周期操作（通常零成本）。
为什么有时必须用初始化捕获，而不是先声明再捕获
关键区别在于求值时机和对象所有权：
- 先声明再捕获（如
auto tmp = f(); [&] { use(tmp); }）要求tmp在外部作用域存活足够久，且无法控制其存储期 - 初始化捕获把构造/计算逻辑内聚进 Lambda，确保该值只在 Lambda 内部存在，适合封装一次性资源
例如：
// ❌ 危险：tmp 可能在 Lambda 调用前就析构
{
auto tmp = acquire_resource();
auto task = [=]() { tmp->process(); }; // 若 tmp 是 unique_ptr，这里复制失败；若是指针，可能悬空
schedule(task);
} // tmp 析构 → task 后续调用崩溃
<p>// ✅ 安全：资源生命周期绑定到 Lambda 对象
{
auto task = [res = acquire_resource()]() mutable { res->process(); };
schedule(task);
} // res 随 task 对象一起析构初始化捕获真正难的地方不在语法，而在于判断“这个值是否需要和 Lambda 绑定同一生命周期”——一旦漏掉这点，就容易从简洁变成隐蔽的内存错误。
