【c/c++】Lambda表达式

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; });

  }

 

  // 以值方式传递作用域内所有可见的局部变量（包括this），输出：11 12

  {

   int a = 10;

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

  }

 

  // 以引用方式传递作用域内所有可见的局部变量（包括this），输出：11 13 12

  {

   int a = 10;

  for_each(vctTemp.begin(), vctTemp.end(), [&](int v)mutable{ cout << v+a<< endl; a++; });

   cout<< a << endl;

  }

 

  // 以值方式传递局部变量a，输出：11 13 10

  {

   int a = 10;

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

   cout<< a << endl;

  }

 

  // 以引用方式传递局部变量a，输出：11 13 12

  {

   int a = 10;

  for_each(vctTemp.begin(), vctTemp.end(), [&a](int v){ cout << v+a << endl; a++; });

   cout<< a << endl;

  }

 

  // 传递this，输出：21 22

  {

  for_each(vctTemp.begin(), vctTemp.end(), [this](int v){ cout << v+m_nData << endl; });

  }

 

  // 除b按引用传递外，其他均按值传递，输出：11 12 17

  {

   int a = 10;

   int b = 15;

  for_each(vctTemp.begin(), vctTemp.end(), [=, &b](int v){ cout << v+a << endl; b++; });

   cout<< b << endl;

  }

 

 

  // 操作符重载函数参数按引用传递，输出：23

  {

  for_each(vctTemp.begin(), vctTemp.end(), [](int&v){ v++; });

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

  }

 

  // 空的Lambda表达式

  {

  [](){}();

   []{}();

  }

 }

private:

 int m_nData;

};