[=]仅捕获lambda定义时可见且可访问的局部变量、函数参数和this，不捕获静态/全局变量或goto跳过的变量；对move-only类型拷贝失败，混用捕获需遵循[&,x]或[=,x]语法。
lambda 捕获列表写成 [=] 时，哪些变量真能用？
不是所有局部变量都能被 [=] 自动捕获——只有在 lambda 定义时 可见且可访问 的变量才会被拷贝。比如函数参数、局部变量、this（若在成员函数中）会被捕获；但作用域外的静态变量、全局变量、函数内 goto 跳过初始化的变量不会被自动捕获，也不会报错，只是读到未定义值。
常见错误现象：std::vector<int> v = {1,2,3}; auto f = [=]() { return v.size(); };</int> 看似没问题，但如果 v 是 move-only 类型（如 std::unique_ptr），[=] 会尝试拷贝，编译直接失败。
-
[=]对每个变量做隐式拷贝，不区分是否只读；需要只读引用时得显式写[&x, &y] - 捕获
this后，成员函数调用是安全的，但若 lambda 生命周期超过对象本身，就会悬垂 - 在模板函数里用
[=]要小心：若捕获了依赖模板参数的类型（如T*），可能触发意外实例化
auto 推导 lambda 类型时，为什么不能直接赋值给 std::function？
因为 lambda 类型是唯一的、匿名的，auto f = [](){}; 中的 f 是某个编译器生成的闭包类型，而 std::function<void></void> 是类型擦除容器——两者类型不同，不能隐式转换，除非显式构造或赋值。
典型错误：auto f = [](){ return 42; }; std::function<int> g = f;</int> 这行合法；但 std::function<int> g = [](){ return 42; };</int> 也合法，因为编译器能从右侧推导目标类型；而 auto f = [](){ return 42; }; g = f; 若 g 已声明，则没问题；但若写成 std::function<int> g = f;</int> 且 f 是 auto 推导出的闭包，就完全 OK——真正容易踩的坑是反过来：
- 把
autolambda 当作接口参数传入，期望接收std::function，结果编译失败：函数模板参数无法自动转成std::function，得加static_cast或改用模板参数 -
auto推导出的闭包类型不可复制到另一份auto变量（除非同构 lambda），但可以赋给std::function，代价是堆分配和虚调用开销 - 调试时发现
sizeof(f)很小（通常 1~16 字节），而sizeof(std::function)通常是 32 字节以上——这是类型擦除的内存成本
捕获列表里混用 & 和 =，顺序会影响行为吗？
会影响，而且 C++ 标准明确禁止 [=, &x] 这种写法（Clang/GCC 都报错），必须写成 [&, x] 或 [=, x]，即默认捕获方式在前，显式列表在后。语法上 [&, x] 表示“其余全按引用，但 x 单独按值捕获”，[=, x] 表示“其余全按值，但 x 单独按引用”。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
关键点在于：显式列出的变量会覆盖默认捕获方式，但仅限于该变量名。例如：
int a = 1, b = 2;
auto f = [&, a]() { return a + b; }; // b 是引用捕获，a 是值捕获（即使写了 &）
这种写法合法，但容易误以为 a 也是引用——实际不是。更危险的是：
- 若
a是局部栈变量，[&, a]中的a值捕获是拷贝当时值，后续外部a改变不影响 lambda 内部a -
[=, &b]是非法语法，必须写成[&, b]；否则编译器直接拒绝，不给你机会运行时出错 - 捕获
this时，[=]和[&]都会隐式包含this（如果是非静态成员函数），但[&, this]是冗余写法，无害但没必要
lambda 返回类型用 auto 和用 -> decltype() 有什么区别？
当 lambda 函数体有多条 return 语句，且返回类型不一致时，auto 返回类型要求所有分支能隐式转换为同一类型，而 -> decltype(expr) 是硬性指定返回类型，不参与推导。
例如：
auto f1 = [](bool b) -> int { return b ? 42 : 3.14; }; // 编译失败：3.14 转 int 会截断，但 -> int 强制要求返回 int
auto f2 = [](bool b) { return b ? 42 : 3.14; }; // OK，返回 double（因为 3.14 是 double）
所以区别本质是：带尾置返回类型的 lambda 不做返回值推导，而是强制匹配；而 auto 返回类型会做 SFINAE 友好的类型推导。
- 多 return 分支下，
auto要求所有分支能统一为一个类型（通过隐式转换），否则编译失败 - 尾置返回类型可用于规避推导，比如返回模板参数类型、或避免
std::initializer_list推导歧义 - lambda 体内调用未定义函数（如 forward-declared）再用
auto返回，可能因推导时机导致 ODR-violation，用-> decltype(...)可提前锁定类型
auto 推导看似省事，但一涉及跨作用域传递、模板推导或性能敏感场景，就得盯住实际类型和生命周期——最常出问题的地方，往往藏在捕获列表和返回类型那几个字符的取舍之间。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
