C++中lambda表达式是创建匿名函数对象的简洁方式，语法为[捕获列表](参数列表) mutable->返回类型{函数体}，捕获列表和参数列表不可省略，其余常可由编译器推导。
在C++中，lambda表达式是一种创建匿名函数对象的简洁方式，语法紧凑、用途广泛，尤其适合配合STL算法（如sort、find_if、for_each）使用。它的核心是“捕获列表 + 参数列表 + 可选返回类型 + 函数体”，写对捕获和类型推导是关键。
基本语法结构与最简写法
一个lambda表达式的标准形式为：
[捕获列表](参数列表) mutable(可选) -> 返回类型 { 函数体 }其中，捕获列表和参数列表不可省略，但返回类型和mutable常可省略（编译器自动推导）。最简合法lambda是空捕获+空参数：
[](){} // 什么也不捕获、不接收参数、不返回、不做事常用简写示例：
立即学习“C++免费学习笔记（深入）”；
-
[&]() { return x + y; }—— 引用捕获所有外部变量（需确保作用域有效） -
[x, &y](int a) mutable { y += a; return x + a; }—— 值捕获x、引用捕获y，加mutable才允许修改值捕获的副本 -
[=](double z) { return x * z; }—— 值捕获所有局部变量（等价于[x, y, ...]） -
[&](double z) { return x * z; }—— 引用捕获所有局部变量（更安全，避免拷贝但需注意生命周期）
捕获方式详解：值捕获、引用捕获与混合使用
捕获决定lambda如何访问外部作用域的变量，直接影响语义和安全性：
-
值捕获
[x, y]或[=]：复制变量到lambda闭包对象中。后续修改原变量不影响lambda内值；lambda内修改值捕获的变量需加mutable，且只改副本。 -
引用捕获
[&x, &y]或[&]：存储变量的引用。lambda内读写即操作原变量；但若lambda生存期超过被引用变量（如返回lambda或存入容器），将引发悬垂引用——这是常见崩溃根源。 -
混合捕获
[x, &y]：明确指定哪些值复制、哪些引用，兼顾效率与可控性。注意：[=, &y]（默认值捕获+个别引用）和[&, x]（默认引用+个别值）也合法，但后者较少用。
⚠️ 特别提醒：[=]不会捕获this指针（类成员函数内），要访问成员需显式写[this]或[=, this]（C++17起支持）。
返回类型与auto推导：什么时候必须写→？
多数情况下编译器能自动推导返回类型（单return语句、无return或void返回）：
auto f1 = [](int a, int b) { return a auto f2 = [](int x) {}; // 推导为 void但以下情况必须显式声明返回类型：
- 多个return语句且类型不同（如一个返回
int，一个返回double） - 函数体含return但编译器无法统一推导（如涉及模板或复杂类型转换）
- 需要精确控制返回类型（如强制返回
long long而非int）
写法示例：
auto f3 = [](int a) -> long long { return static_castauto f4 = [](int x) -> std::optional
实战应用：STL算法 + 类成员函数中的典型用法
lambda真正价值在于简化回调逻辑。几个高频场景：
-
排序自定义规则：
std::vector<:string> v = {"apple", "banana", "cherry"};
std::sort(v.begin(), v.end(), [](const std::string& a, const std::string& b) {
return a.length() }); -
查找满足条件的元素：
auto it = std::find_if(v.begin(), v.end(), [](const std::string& s) {
return s.find('a') != std::string::npos; // 包含字母a
}); -
类内调用：捕获
this访问成员：
class Processor {
private:
int threshold = 10;
public:
void process(const std::vector& data) {
std::for_each(data.begin(), data.end(), [this](int x) {
if (x > threshold) std::cout });
}
};
注意：若需在lambda中修改成员变量，且该lambda可能被多次调用或异步执行，应确认this指向对象的生命周期足够长。
