C++ lambda表达式使用与闭包捕获详解

C++ lambda表达式语法为[捕获](参数)->返回类型{函数体}，方括号、圆括号、花括号均不可省略；捕获方式包括值捕获[ x ]、引用捕获[&x]、默认值捕获[=]、默认引用捕获[&]及this捕获，选错易致悬垂引用或意外拷贝。

lambda 表达式基本语法怎么写

C++ 的 lambda 不是“定义函数”，而是创建一个可调用对象（闭包类型），语法结构固定为：[capture](params) -> return_type { body }。方括号 [] 是必须的，哪怕不捕获任何变量；圆括号 () 也必须存在，哪怕无参；花括号 {} 同样不可省略。

常见错误是漏掉空参数列表或返回类型推导失败：

auto f = [] { return 42; };           // ✅ 正确：无参，自动推导返回 int
auto g = [] { return "hello"; };      // ✅ 返回 const char*
auto h = [] -> std::string { return "hello"; }; // ✅ 显式指定，避免隐式转换问题
auto bad = [] { return 3.14; };       // ⚠️ 若后续用于期望 int 的上下文，可能静默截断

捕获列表（capture）怎么选：值捕获、引用捕获、this 捕获的区别

捕获决定 lambda 内部如何访问外部变量，选错会导致悬垂引用、未定义行为或意外拷贝。

• [x]：按值捕获局部变量 x，lambda 内操作的是副本，外部修改不影响它
• [&x]：按引用捕获 x，lambda 内修改会反映到外部，但若 lambda 生命周期超出 x 作用域，就变成悬垂引用
• [=]：默认按值捕获所有外部自动变量（不包括 this）
• [&]：默认按引用捕获所有外部自动变量（同样不包括 this）
• [this] 或 [=, this]：显式捕获当前对象指针，用于在类成员函数中访问 member

典型陷阱：

std::function make_bad_lambda() {
    int x = 100;
    return [&x] { std::cout << x << '\n'; }; // ⚠️ x 在函数返回后销毁，调用 lambda 时访问已释放内存
}

lambda 能不能存成 std::function？什么时候该避免

std::function 是类型擦除容器，能保存任意可调用对象，包括 lambda，但它有运行时开销（堆分配、虚函数调用）且无法内联。

使用场景建议：

• 需要类型擦除：比如回调注册、事件分发、跨模块传递可调用对象
• lambda 捕获了变量（即不是无状态的），而你又需要把它赋给一个具名变量或传入模板函数
• 避免直接用 auto 推导——因为每个 lambda 类型都唯一，不能相互赋值

反例（编译失败）：

auto f1 = []{ return 1; };
auto f2 = []{ return 2; };
f1 = f2; // ❌ 编译错误：类型不同

正确做法：

std::function f1 = []{ return 1; };
std::function f2 = []{ return 2; };
f1 = f2; // ✅ 可赋值，但失去内联机会

在 STL 算法里怎么安全传 lambda，特别是带捕获的

STL 算法（如 std::sort、std::find_if）要求可调用对象满足 CopyConstructible 和 MoveConstructible，无捕获 lambda 天然满足；带捕获的 lambda 也满足，只要捕获的变量本身可拷贝/可移动。

注意点：

• 按引用捕获的 lambda 传给算法时，要确保被引用变量在整个算法执行期间有效
• 不要在 std::thread 或异步任务中直接传引用捕获的 lambda，除非你能严格控制生命周期
• 对 vector 进行排序时，若 lambda 捕获了某个局部容器的引用，而该容器在排序中途被重新分配（如 push_back 触发扩容），引用就失效了

安全示例：

std::vector data = {3, 1, 4, 1, 5};
int threshold = 2;
std::sort(data.begin(), data.end(), [threshold](int a, int b) {
    return (a > threshold) < (b > threshold); // ✅ 值捕获，完全安全
});

闭包捕获的本质是生成一个隐式类，它的构造、拷贝、调用成本都真实存在。很多人只关注“写起来简洁”，却忽略捕获方式对对象生命周期和性能的实际影响。