c++11标准:匿名函数(匿名表达式)lambda

时间:2021-11-13 20:02:51

c++11标准:匿名函数(匿名表达式)lambda

lambda:

  C++11提供了对匿名函数的支持,称为Lambda函数(也叫Lambda表达式). Lambda表达式具体形式如下:

    匿名函数定义/匿名表达式声明:[capture](parameters)->return-type{body}

    函数调用:function a = [capture](parameters)->return-type{body};

         a(parameters);

 

  parameters:形参

    和函数一样

    如果没有参数,空的圆括号()可以省略.

    返回值也可以省略,如果函数体只由一条return语句组成或返回类型为void的话.形如:

       [capture](parameters){body}

      返回值类型可以通过以下算法推演出来

    •   如果 lambda 代码块中包含了 return 语句,则该 lambda 表达式的返回类型由 return 语句的返回类型确定。
    •   如果没有 return 语句,则类似 void f(...) 函数。

    例如:

[](int x, int y) { return x + y; } // 隐式返回类型
[](int& x) { ++x; }   // 没有return语句 -> lambda 函数的返回类型是'void'
[]() { ++global_x; }  // 没有参数,仅访问某个全局变量
[]{ ++global_x; }     // 与上一个相同,省略了()

  []:外部闭包

    Lambda函数可以引用在它之外声明的变量. 这些变量的集合叫做一个闭包.  闭包被定义在Lambda表达式声明中的方括号[]内.

    闭包可以按值、引用捕获:

    例如:  

c++11标准:匿名函数(匿名表达式)lambda
[]        //未定义变量.试图在Lambda内使用任何外部变量都是错误的.
[x, &y]   //x 按值捕获, y 按引用捕获.
[&]       //用到的任何外部变量都隐式按引用捕获
[=]       //用到的任何外部变量都隐式按值捕获
[&, x]    //x显式地按值捕获. 其它变量按引用捕获
[=, &z]   //z按引用捕获. 其它变量按值捕获
c++11标准:匿名函数(匿名表达式)lambda

    对this的捕获:只可以是值捕获,

      在类成员中的lamda函数:

      对protect和priviate成员来说, 这个lambda函数与创建它的成员函数有相同的访问控制.

      访问this的成员不必使用this->语法,可以直接访问.

    注意:如果一个闭包含有局部变量(类和局部)的引用,在超出创建它的作用域之外的地方被调用的话,这种行为是未定义的!

 

 

lambda函数是一个依赖于实现的函数对象类型,这个类型的名字只有编译器知道.

如果用户想把lambda函数做为一个参数来传递, 那么形参的类型必须是模板类型或者必须能创建一个std::function类似的对象去捕获lambda函数.

使用 auto关键字可以帮助存储lambda函数,