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

C++ Lambda 表达式是一种定义匿名函数对象的简洁语法,它能在局部作用域直接创建可调用对象,无需单独命名或声明函数,特别适合用作算法回调、事件处理或闭包场景。
基本语法结构
Lambda 表达式由捕获列表、参数列表、可选的返回类型说明和函数体四部分组成,格式为:
[捕获列表](参数列表) mutable(可选)异常说明(可选)-> 返回类型(可选) { 函数体 }最简形式如:[]() { return 42; } —— 无捕获、无参数、无返回类型(编译器自动推导为 int)。
捕获方式详解
捕获列表决定 lambda 如何访问外部变量,常见写法有:
立即学习“C++免费学习笔记(深入)”;
-
[x]:值捕获,复制变量 x(不可修改,除非加 mutable) -
[&x]:引用捕获,直接操作原变量 -
[=]:默认值捕获所有外层自动变量(按需复制) -
[&]:默认引用捕获所有外层自动变量 -
[=, &y]:混合捕获,y 引用,其余值捕获 -
[this]:捕获当前对象的 this 指针,可在成员函数中访问成员
返回类型与 auto 推导
多数情况下编译器能自动推导返回类型(单条 return 语句时)。若需显式指定,用尾置返回类型:
[]() -> double { return 3.14; }多分支返回或无返回语句时,建议显式声明;使用 auto 作为返回类型(C++14 起)允许不同分支返回不同类型(需满足同一类型或可隐式转换):
实际使用注意点
- lambda 是函数对象(闭包类型),每个 lambda 定义产生唯一类型,不能直接赋值给同签名的另一个 lambda
- 想统一类型可用
std::function包装,但有轻微运行时开销 - 引用捕获的变量生命周期必须长于 lambda 的调用期,否则导致悬垂引用
- 带捕获的 lambda 不能转成普通函数指针(空捕获列表 [] 的可以)
- 在类内定义 lambda 并捕获成员时,记得用
[this]或[=],不要直接写[member](非法)
基本上就这些。掌握捕获规则和类型推导逻辑,就能写出清晰安全的 lambda 了。










