【c/c++】Lambda表达式

最新推荐文章于 2024-05-08 09:00:00 发布

circujoker_06

最新推荐文章于 2024-05-08 09:00:00 发布

阅读量2.4k

点赞数

分类专栏：【c/c++】

本文链接：https://blog.csdn.net/lzm18064126848/article/details/51089255

版权

【c/c++】专栏收录该内容

46 篇文章 3 订阅

订阅专栏

https://msdn.microsoft.com/zh-cn/library/dd293608.aspx

函数对象与Lambdas

你编写代码时，尤其是使用 STL 算法时，可能会使用函数指针和函数对象来解决问题和执行计算。函数指针和函数对象各有利弊。例如，函数指针具有最低的语法开销，但不保持范围内的状态，函数对象可保持状态，但需要类定义的语法开销。

lambda 结合了函数指针和函数对象的优点并避免其缺点。lambda 与函数对象相似的是灵活并且可以保持状态，但不同的是其简洁的语法不需要显式类定义。使用lambda，相比等效的函数对象代码，您可以写出不太复杂并且不容易出错的代码。

下面的示例比较lambda和函数对象的使用。

第一个示例使用 lambda 向控制台打印vector 对象中的每个元素是偶数还是奇数。第二个示例使用函数对象来完成相同任务。

#include <algorithm>

#include <iostream>

#include <vector>

using namespace std;

int main()

{

// Create a vector object that contains 10 elements.

vector<int> v;

for (int i = 1; i< 10; ++i) {

v.push_back(i);

}

// Count the number of even numbers in the vector by

// using the for_each function and a lambda.

int evenCount = 0;

for_each(v.begin(), v.end(), [&evenCount] (intn) {

cout<< n;

if (n % 2 == 0) {

cout << " is even "<< endl;

++evenCount;

} else {

cout << " is odd "<< endl;

}

});

// Print the count of even numbers to the console.

cout<< "There are " <<evenCount

<< " even numbers in thevector." << endl;

}

示例 2：使用函数对象

有时 lambda 过于庞大，无法在上一示例的基础上大幅度扩展。下一示例使用函数对象（而非 lambda）以及 for_each 函数，以产生与示例 1 相同的结果。两个示例都在 vector 对象中存储偶数的个数。为保持运算的状态，FunctorClass 类通过引用存储 m_evenCount 变量作为成员变量。为执行该运算，FunctorClass 实现函数调用运算符 operator()。Visual C++ 编译器生成的代码与示例 1 中的 lambda 代码在大小和性能上相差无几。对于类似本文中示例的基本问题，较为简单的lambda 设计可能优于函数对象设计。但是，如果你认为该功能在将来可能需要重大扩展，则使用函数对象设计，这样代码维护会更简单。

#include <algorithm>

#include <iostream>

#include <vector>

using namespace std;

在我们写代码时有时会发现有些功能实现的代码，会不断的在不同的成员函数中用到，但是又不好将这些代码独立出来成为一个类的一个成员函数。

但是又很想复用这些代码。写一个公共的函数，可以，这是一个解决方法，不过函数用到的一些变量，就可能成为公共的全局变量，再说为了复用这么一片代码，就要单立出一个函数，也不是很好维护。

这时就可以用仿函数了，写一个简单类，除了那些维护一个类的成员函数外，就只是实现一个operator()，在类实例化时，就将要用的，非参数的元素传入类中。这样就免去了对一些公共变量的全局化的维护了。又可以使那些代码独立出来，以便下次复用。

而且这些仿函数，还可以用关联，聚合，依赖的类之间的关系，与用到他们的类组合在一起，这样有利于资源的管理（这点可能是它相对于函数最显著的优点了）。如果在配合上模板技术和policy编程思想，那就更是威力无穷了，大家可以慢慢的体会。

classFunctorClass

{

public:

// The required constructor for this example.

//关于explicit的使用 http://www.cnblogs.com/this-543273659/archive/2011/08/02/2124596.html

explicit FunctorClass(int&evenCount)

:m_evenCount(evenCount) { }

// The function-call operator prints whether the number is

// even or odd. If the number is even, this method updates

// the counter.

void operator()(int n) const {

cout << n;

if (n % 2 == 0) {

cout << " is even "<< endl;

++m_evenCount;

} else {

cout << " is odd "<< endl;

}

private:

//仿函数(functor)，就是使一个类的使用看上去像一个函数。其实现就是类中实现一个operator()，这个类就有了类似函数的行为，就是一个仿函数类了

// Default assignment operator to silence warning C4512.

FunctorClass& operator=(const FunctorClass&);

int& m_evenCount; //the number of even variables in the vector.

};

int main()

{

// Create a vector object that contains 10 elements.

vector<int> v;

for (int i = 1; i< 10; ++i) {

v.push_back(i);

}

// Count the numberof even numbers in the vector by

// using the for_each function and a function object.

int evenCount = 0;

for_each(v.begin(), v.end(), FunctorClass(evenCount));

// Print the count of even numbers to the console.

cout<< "There are " <<evenCount

<< " even numbers in thevector." << endl;

}

C++ 11中的Lambda表达式用于定义并创建匿名的函数对象，以简化编程工作。Lambda的语法形式如下：
              [函数对象参数] (操作符重载函数参数) mutable或exception声明 ->返回值类型 {函数体}
      可以看到，Lambda主要分为五个部分：[函数对象参数]、(操作符重载函数参数)、mutable或exception声明、->返回值类型、{函数体}。下面分别进行介绍。
      一、[函数对象参数]，标识一个Lambda的开始，这部分必须存在，不能省略。函数对象参数是传递给编译器自动生成的函数对象类的构造函数的。函数对象参数只能使用那些到定义Lambda为止时Lambda所在作用范围内可见的局部变量（包括Lambda所在类的this）。

函数对象参数有以下形式：
           1、空。没有使用任何函数对象参数。
           2、=。函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是值传递方式（相当于编译器自动为我们按值传递了所有局部变量）。
           3、&。函数体内可以使用Lambda所在作用范围内所有可见的局部变量（包括Lambda所在类的this），并且是引用传递方式（相当于编译器自动为我们按引用传递了所有局部变量）。
           4、this。函数体内可以使用Lambda所在类中的成员变量。
           5、a。将a按值进行传递。按值进行传递时，函数体内不能修改传递进来的a的拷贝，因为默认情况下函数是const的。要修改传递进来的a的拷贝，可以添加mutable修饰符。
           6、&a。将a按引用进行传递。
           7、a, &b。将a按值进行传递，b按引用进行传递。
           8、=，&a, &b。除a和b按引用进行传递外，其他参数都按值进行传递。
           9、&, a, b。除a和b按值进行传递外，其他参数都按引用进行传递。
      二、(操作符重载函数参数)，标识重载的()操作符的参数，没有参数时，这部分可以省略。参数可以通过按值（如：(a,b)）和按引用（如：(&a,&b)）两种方式进行传递。
      三、mutable或exception声明，这部分可以省略。按值传递函数对象参数时，加上mutable修饰符后，可以修改按值传递进来的拷贝（注意是能修改拷贝，而不是值本身）。exception声明用于指定函数抛出的异常，如抛出整数类型的异常，可以使用throw(int)。
      四、->返回值类型，标识函数返回值的类型，当返回值为void，或者函数体中只有一处return的地方（此时编译器可以自动推断出返回值类型）时，这部分可以省略。
      五、{函数体}，标识函数的实现，这部分不能省略，但函数体可以为空。
      下面给出了一段示例代码，用于演示上述提到的各种情况，代码中有简单的注释可作为参考。

class CTest

{

public:

CTest(): m_nData(20) { NULL; }

void TestLambda()

{

vector<int> vctTemp;

vctTemp.push_back(1);

vctTemp.push_back(2);

// 无函数对象参数，输出：12

{

for_each(vctTemp.begin(), vctTemp.end(), [](intv){ cout << v << endl; });