C++lambda表达式

简介: C++lambda表达式

一、什么是lambda表达式?

C++ Lambda 表达式是一种匿名函数,它可以像变量一样被定义、传递和赋值,大大简化了 C++ 的编程过程。Lambda 表达式的语法形式如下:

[capture-list] (parameters) -> returntype {statement}

对于以上各个部分的解析:

[capture-list] : 捕捉列表,该列表总是出现在lambda函数的开始位置,编译器根据[]来判断接下来的代码是否为lambda函数,捕捉列表能够捕捉上下文中的变量供lambda函数使用。

     (parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略

     mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。(因此我们通常配合捕获列表使用

     ->returntype:返回值类型。用追踪返回类型形式声明函数的返回值类型,没有返回值时此部分可省略。返回值类型明确情况下,也可省略,由编译器对返回类型进行推导。

      {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。

       例如,下面的代码定义了一个简单的 lambda 表达式,它接受两个整数参数并返回它们的和:

auto add = [](int a, int b) -> int {
    return a + b;
};//通常用auto来接收
std::cout << add(2, 3); // 输出 5

注意:

       在lambda函数定义中,参数列表和返回值类型都是可选部分,而捕捉列表和函数体可以为空。因此C++11中最简单的lambda函数为:[]{}; 该lambda函数不能做任何事情。


二、lambda表达式详解

捕捉列表

在 C++ 中,Lambda 表达式可以使用捕获列表来指定它如何访问在其外部作用域中的变量。捕获列表可以包含以下元素:

       [ ]表示不捕获任何变量

       [var]:表示值传递方式捕捉变量var

       [=]:表示值传递方式捕获所有父作用域中的变量(包括this)

       [&var]:表示引用传递捕捉变量var

       [&]:表示引用传递捕捉所有父作用域中的变量(包括this)

       [this]:表示值传递方式捕捉当前的this指针

注意:

a. 父作用域指包含lambda函数的语句块

b. 语法上捕捉列表可由多个捕捉项组成,并以逗号分割。

比如:[=, &a, &b]:以引用传递的方式捕捉变量a和b,值传递方式捕捉其他所有变量[&,a, this]:值传递方式捕捉变量a和this,引用方式捕捉其他变量

c. 捕捉列表不允许变量重复传递,否则就会导致编译错误。

比如:[=, a]:=已经以值传递方式捕捉了所有变量,捕捉a重复

d. 在块作用域以外的lambda函数捕捉列表必须为空。

e. 在块作用域中的lambda函数仅能捕捉父作用域中局部变量,捕捉任何非此作用域或者非局部变量都会导致编译报错。

f. lambda表达式之间不能相互赋值,即使看起来类型相同

[var]:表示值传递方式捕捉变量var

   需要注意的是传递过来的变量默认是const 的,是不能进行修改的,但是可以读。如果要修改需要用到外面的mutable。这里的传递实际上就是传值传参数初始化lambda函数。

如下例子:(这里未使用mutable)

  int x = 1, y = 2;
  auto cg = [x, y](){int tmp = x; x = y; y = tmp; };

使用了mutable后:

int x = 1, y = 2;
auto cg = [x, y]()mutable{int tmp = x; x = y; y = tmp; };

如上我们写了一个交换两值的数,但是由于只是传递值所以没有进行改变,意思就是函数里面的x和y和函数外的x和y不是同一个,这也是为什么这种捕捉也叫做:传值捕捉。

       如果我们要实现交换我们可以使用下面的传引用捕捉

[&var]:表示引用传递捕捉变量var
int x = 1, y = 2;
auto cg = [&x, &y]()mutable{int tmp = x; x = y; y = tmp; };
//auto cg = [&x, &y](){int tmp = x; x = y; y = tmp; };
//两种都可用,都是符合要求的

[=]:表示值传递方式捕获所有父作用域中的变量(包括this)
  int x = 3;
  char ss = 'Q';
  auto cg = [=]() {cout << x << ' ' << ss << endl; };

[&]:表示引用传递捕捉所有父作用域中的变量(包括this)
int x = 3;
char ss = 'Q';
auto cg = [&]() { x = 4; ss = 'U'; };
[this]:表示值传递方式捕捉当前的this指针
 我们通常会在类中使用[this]来捕获父作用域中的变量,如果我们要使用成员变量,通常就需要捕获this,如果直接捕获是不会成功的,因为只能捕获 作用域中的变量。如下:

//正确的使用方法如下:用[this]捕获成员变量
class TX
{
public:
  void fun()
  {
    auto cg = [this]() {cout << a << " " << b << endl; };
    cg();
  }
private:
  int a=4;
  char b='U';
};

[=,&]:拷贝与引用混用

     拷贝与引用混用主要由于有特殊的值需要引用的原因,比如以下的例子:

[=,&val]混用

  int x = 0;
  int y = 10;
  string ss = "114514";
  auto cg = [=, &x, &y]() {cout << x << " " << y << " " << ss << endl; int tmp = x; x = y; y = tmp; };
  cg();
  cout <<x<<" "<<y<< endl;
//结果为:0 10 114514
//       10 0

[&,val]混用

  int x = 0;
  int y = 10;
  string ss = "114514";
  auto kg = [&,ss]() {cout << x << " " << y << " " << ss << endl; int tmp = x; x = y; y = tmp; };
  kg();
  cout << x << " " << y << endl;
//结果为:0 10 114514
//       10 0

  但是需要注意的是当我们已经捕获过变量而再次去捕获是不行的,比如[=,x]这样就重复的捕获了,同理[&,&x]也是不行的。同理的我们也可以混用[&,this]、[=,&a,&this]等。

 返回值类型

C++ lambda表达式的返回类型可以是任意类型,包括基本数据类型、引用类型、指针类型、数组类型、结构体类型、类类型等。

  1. 无返回值:[]() {}
  2. 一个返回值:[x]() { return x; }
  3. 多个返回值:[x, y]() { return std::make_pair(x, y); }
  4. 带有异常规范的返回值:[&]() noexcept { /*...*/ }
  5. 带有完美转发的返回值:[&]() -> T { /*...*/ }
  6. 带有默认参数的返回值:[x = 10, y]() -> int { return x + y; }
  7. 带有模板参数的返回值:[T](T t) -> decltype(t * t) { return t * t; }
  8. 带有捕获列表的返回值:[&]() -> int { /*...*/ }
  9. 带有命名捕获列表的返回值:[&a, &b]() -> int { /*...*/ }
  10. 带有初始化捕获列表的返回值:[&]() -> int { static int count = 0; return ++count; }

       需要注意的是:C++中Lambda的返回类型会自动推导。即:可以不使用->returntype,编译器会根据函数体中的return的类型进行推导。但是如果指定了返回类型,编译器则会根据指定的类型返回。

  auto ch = [](int x, int y)->double { return x + y; };
  auto ch2 = [](int x, int y){ return x + y; };
  cout <<ch(1,2) <<endl;
  cout << typeid(ch(1,2)).name() << endl;
    //结果为:3 double
  cout << ch2(1, 2) << endl;
  cout << typeid(ch2(1, 2)).name() << endl;
    //结果为:3 int

其余部分

  (parameters):参数列表。与普通函数的参数列表一致,如果不需要参数传递,则可以连同()一起省略

      mutable:默认情况下,lambda函数总是一个const函数,mutable可以取消其常量性。使用该修饰符时,参数列表不可省略(即使参数为空)。(因此我们通常配合捕获列表使用

      {statement}:函数体。在该函数体内,除了可以使用其参数外,还可以使用所有捕获到的变量。  


三、lambda与仿函数的对比

 函数对象,又称为仿函数,即可以想函数一样使用的对象,就是在类中重载了operator()运算符的类对象。而实际上从使用方式上来看,函数对象与lambda表达式完全一样。如下:

class Rate
{
public:
Rate(double rate): _rate(rate)
{}
double operator()(double money, int year)
{ return money * _rate * year;}
private:
double _rate;
};
int main()
{
// 函数对象
double rate = 0.49;
Rate r1(rate);
r1(10000, 2);
// lamber
auto r2 = [=](double monty, int year)->double{return monty*rate*year;
};
r2(10000, 2);
return 0;

函数对象将rate作为其成员变量,在定义对象时给出初始值即可,lambda表达式通过捕获列表可以直接将该变量捕获到。

底层观察:

实际在底层编译器对于lambda表达式的处理方式,完全就是按照函数对象的方式处理的,即:如果定义了一个lambda表达式,编译器会自动生成一个类,在该类中重载了operator()。

lambda与仿函数的异同

在C++中,lambda函数和仿函数都是用来创建匿名函数的方式。它们的共同点在于都可以在函数内部定义一些代码,并且这些代码可以在整个程序中重复使用。但是,它们也有一些重要的不同之处。

相同点:

1. **匿名性**:lambda函数和仿函数都是匿名的,也就是说它们没有名字,只有其函数体。

2. **可以被捕获**:lambda函数和仿函数都可以被捕获,这意味着它们可以访问其外部作用域中的变量。但是,lambda函数可以捕获任何类型的对象,而仿函数只能捕获引用。

3. **可以有参数**:lambda函数和仿函数都可以有参数。参数可以是任何类型的,也可以是有默认值的。

4. **可以有返回值**:lambda函数和仿函数都可以有返回值,而且可以是任何类型的。

5. **可以作为函数参数**:lambda函数和仿函数都可以作为其他函数的参数。

不同点:

1. **模板函数支持**:lambda函数可以直接作为模板函数的参数,而仿函数则不行。

2. **内联性能**:对于简单的、只有一行代码的函数,lambda函数通常比仿函数更快,因为它们不需要额外的函数调用开销。

3. **调用特性**:lambda函数可以提供更强大的调用特性,比如静态成员和虚函数的重载。

4. **定义方式**:lambda函数的定义方式更为简洁明了,而仿函数需要先声明再定义。

5. **适应范围**:lambda函数适合于简单的、一次性的函数,而仿函数适合于复杂的、需要复用的函数。

6. **捕获方式**:lambda函数可以通过多种方式捕获外部变量,如自动捕获、值捕获、引用捕获等,而仿函数只能通过引用捕获。

总的来说,lambda函数更适合于简单的、一次性的函数,而仿函数更适合于复杂的、需要复用的函数。同时,lambda函数的定义方式更为简洁明了,但是在使用时需要注意其内存管理和性能问题。


感谢你耐心的看到这里ღ( ´・ᴗ・` )比心,如有哪里有错误请踢一脚作者o(╥﹏╥)o! 


相关文章
|
29天前
|
算法 编译器 C++
【C++11】lambda表达式
C++11 引入了 Lambda 表达式,这是一种定义匿名函数的方式,极大提升了代码的简洁性和可维护性。本文详细介绍了 Lambda 表达式的语法、捕获机制及应用场景,包括在标准算法、排序和事件回调中的使用,以及高级特性如捕获 `this` 指针和可变 Lambda 表达式。通过这些内容,读者可以全面掌握 Lambda 表达式,提升 C++ 编程技能。
71 3
|
3月前
|
算法 编译器 程序员
C++ 11新特性之Lambda表达式
C++ 11新特性之Lambda表达式
20 0
|
5月前
|
安全 编译器 C++
C++一分钟之-泛型Lambda表达式
【7月更文挑战第16天】C++14引入泛型lambda,允许lambda接受任意类型参数,如`[](auto a, auto b) { return a + b; }`。但这也带来类型推导失败、隐式转换和模板参数推导等问题。要避免这些问题,可以明确类型约束、限制隐式转换或显式指定模板参数。示例中,`safeAdd` lambda使用`static_assert`确保只对算术类型执行,展示了一种安全使用泛型lambda的方法。
73 1
|
6月前
|
算法 编译器 C++
C++一分钟之—Lambda表达式初探
【6月更文挑战第22天】C++的Lambda表达式是匿名函数的快捷方式,增强函数式编程能力。基本语法:`[capture](params) -&gt; ret_type { body }`。例如,简单的加法lambda:`[](int a, int b) { return a + b; }`。Lambda可用于捕获外部变量(值/引用),作为函数参数,如在`std::sort`中定制比较。注意点包括正确使用捕获列表、`mutable`关键字和返回类型推导。通过实践和理解这些概念,可以写出更简洁高效的C++代码。
57 13
|
6月前
|
C++
C++语言的lambda表达式
C++从函数对象到lambda表达式以及操作参数化
|
6月前
|
C++
C++一分钟之-理解C++的运算符与表达式
【6月更文挑战第18C++的运算符和表达式构成了编程的基础,涉及数学计算、逻辑判断、对象操作和内存管理。算术、关系、逻辑、位、赋值运算符各有用途,如`+`、`-`做加减,`==`、`!=`做比较。理解运算符优先级和结合律至关重要。常见错误包括优先级混淆、整数除法截断、逻辑运算符误用和位运算误解。解决策略包括明确优先级、确保浮点数除法、正确使用逻辑运算符和谨慎进行位运算。通过实例代码学习,如 `(a &gt; b) ? &quot;greater&quot; : &quot;not greater&quot;`,能够帮助更好地理解和应用这些概念。掌握这些基础知识是编写高效、清晰C++代码的关键。
45 3
|
6月前
|
C语言 C++ 容器
c++primer plus 6 读书笔记 第五章 循环和关系表达式
c++primer plus 6 读书笔记 第五章 循环和关系表达式
|
6月前
|
计算机视觉 C++
【见微知著】OpenCV中C++11 lambda方式急速像素遍历
【见微知著】OpenCV中C++11 lambda方式急速像素遍历
58 0
|
6月前
|
C++
C++ lambda表达式
C++ lambda表达式
|
27天前
|
存储 编译器 C语言
【c++丨STL】string类的使用
本文介绍了C++中`string`类的基本概念及其主要接口。`string`类在C++标准库中扮演着重要角色,它提供了比C语言中字符串处理函数更丰富、安全和便捷的功能。文章详细讲解了`string`类的构造函数、赋值运算符、容量管理接口、元素访问及遍历方法、字符串修改操作、字符串运算接口、常量成员和非成员函数等内容。通过实例演示了如何使用这些接口进行字符串的创建、修改、查找和比较等操作,帮助读者更好地理解和掌握`string`类的应用。
48 2