c++ lambda表达式是什么_c++11 lambda匿名函数语法详解【教程】

C++ Lambda 表达式是定义匿名函数对象的简洁语法，由捕获列表、参数列表、可选返回类型和函数体组成；支持值捕获、引用捕获、默认捕获及混合捕获；返回类型可自动推导或显式声明；需注意生命周期、类型唯一性及this捕获规则。

C++ Lambda 表达式是一种定义匿名函数对象的简洁语法，它能在局部作用域直接创建可调用对象，无需单独命名或声明函数，特别适合用作算法回调、事件处理或闭包场景。

基本语法结构

Lambda 表达式由捕获列表、参数列表、可选的返回类型说明和函数体四部分组成，格式为：

[捕获列表](参数列表) mutable（可选）异常说明（可选）-> 返回类型（可选） { 函数体 }

最简形式如：[]() { return 42; } —— 无捕获、无参数、无返回类型（编译器自动推导为 int）。

捕获方式详解

捕获列表决定 lambda 如何访问外部变量，常见写法有：

• [x]：值捕获，复制变量 x（不可修改，除非加 mutable）
• [&x]：引用捕获，直接操作原变量
• [=]：默认值捕获所有外层自动变量（按需复制）
• [&]：默认引用捕获所有外层自动变量
• [=, &y]：混合捕获，y 引用，其余值捕获
• [this]：捕获当前对象的 this 指针，可在成员函数中访问成员

返回类型与 auto 推导

多数情况下编译器能自动推导返回类型（单条 return 语句时）。若需显式指定，用尾置返回类型：

[]() -> double { return 3.14; }

多分支返回或无返回语句时，建议显式声明；使用 auto 作为返回类型（C++14 起）允许不同分支返回不同类型（需满足同一类型或可隐式转换）：

auto f = [](bool b) { return b ? 42 : 3.14; }; // 返回类型是 double（int 隐式转 double）

实际使用注意点

• lambda 是函数对象（闭包类型），每个 lambda 定义产生唯一类型，不能直接赋值给同签名的另一个 lambda
• 想统一类型可用 std::function 包装，但有轻微运行时开销
• 引用捕获的变量生命周期必须长于 lambda 的调用期，否则导致悬垂引用
• 带捕获的 lambda 不能转成普通函数指针（空捕获列表 [] 的可以）
• 在类内定义 lambda 并捕获成员时，记得用 [this] 或 [=]，不要直接写 [member]（非法）

基本上就这些。掌握捕获规则和类型推导逻辑，就能写出清晰安全的 lambda 了。