1. C++ Lambda 表达式详解

Lambda 表达式是 C++11 引入的一种可调用对象,可以像函数一样使用,但无需单独定义函数。它本质上是一个匿名的函数对象(即闭包),允许在局部作用域内定义功能,并捕获其周围作用域的变量。Lambda 极大地提高了 STL 算法、回调函数、并发编程等场景的表达力。

🦣2. Lambda 基本语法

image

各部分说明:

  • `[capture]`:捕获列表,指定如何捕获外部变量(传值、传引用等)。
  • `(parameters)`:参数列表,与普通函数相同(C++14 起可用auto实现泛型)。
  • `-> return_type`:返回类型(可省略,编译器自动推导)。
  • `{}`:函数体。

最简单的 lambda:[]{},不捕获、无参数、无返回值。

👉3. 示例1:与 STL 算法配合

image

🦩4. 捕获列表详解

捕获列表决定了 Lambda 表达式可以访问哪些外部变量,以及如何访问。

image

⚠️注意:

  • 默认值捕获`[=]`捕获的变量是只读的(除非使用`mutable`)。
  • 捕获引用时,必须确保 lambda 执行时被引用的变量仍然存活,否则会产生悬垂引用。

👉5. 示例2:捕获局部变量

image

🐫6. 延迟调用与生命周期

Lambda 表达式是一个临时对象,可以赋值给`std::function`或`auto`变量,并可以在其捕获的变量作用域之外调用。例如:

image

⚠️但若捕获引用且原始变量已销毁,调用 f 将是未定义行为,会导致程序异常退出。

🐸7. 性能分析

  • 无捕获的 lambda可以隐式转换为函数指针,性能与普通函数相同。
  • 捕获少量变量:编译器会生成一个匿名的函数对象,大小与捕获的变量之和相当,但通常内联展开,开销很小。
  • 使用`std::function`包装`lambda`可能带来额外的堆分配和间接调用开销,除非必要,否则优先使用`auto`存储。

🐢8. 常见陷阱与注意事项

  1. 捕获引用导致的悬垂引用,如下例子

image

  1. `mutable`影响
    值捕获的变量如果不加`mutable`则是只读的,但如果你只是想修改副本,记得加`mutable`。
  2. 默认捕获`[=]`可能意外拷贝大对象
    若只访问个别成员,用显式捕获列表`[&, obj]`更清晰和高效些。
  3. `std::function`与性能
    `std::function`可能带来类型擦除开销,尽量使用`auto`存储`lambda`。

🔚🔸🔸🔸

更多推荐