c++ 11新特性 之 lambda表达式

一、函数对象：

先讲一下什么是函数对象，函数对象本质上是一个类，只不过这个类实现了对小括号()的重载，可以像使用函数那样的使用这个类生成的对象，因此被称为函数对象：

例子：

class test{
public:
    int operator()(int a,int b){
        return a+b;
    }
};
int main()
{
    test t;
    int a = t(1,2);
    cout << a << endl;
}

上面的例子中：t就是一个函数对象。

二、Lambda表达式：

接下来说明一下什么是lambda表达式：

        lambda表达式用于定义并创建匿名的函数对象，目的是为了简化编程工作。

Lambda的语法形式如下：

[函数对象参数]（操作符重载函数参数） mutable（/mju:table/）或者exception声明->返回值类型{
函数体}

可以看到lambda表达式分为五个部分：[函数对象参数]，（操作符重载函数参数） 。mutable（/mju:table/）或者exception声明，返回值类型，{函数体}

2.Lambda 语法分析：

2.1[函数对象参数]

标识一个lambda表达式的开始，这部分必须存在，不能省略。函数对象参数是传递给编译器自动生成函数对象的构造函数的。函数对象参数只能使用那些到定义Lambda为止时Lambda所在作用范围可见的局部变量（包括Lambda所在类的this）。函数对象参数有一般几种情况：

（1）空。没有任何函数对象参数。

（2）=。函数体内可以使用Lambda所在作用范围可见的局部变量（包括Lambda所在类的this），并且是值传递。

（3）&。函数体内可以使用Lambda所在作用范围可见的局部变量（包括Lambda所在类的this），并且是引用传递。

（4）this。

（5）a。将 a 按值进行传递。按值进行传递时，函数体内不能修改传递进来的 a 的拷贝，因为默认情况下函数是 const 的，要修改传递进来的拷贝，可以添加 mutable 修饰符。

（6）=，&a，&b。除 a 和 b 按引用进行传递外，其他参数都按值进行传递。

依次类推

2.2（操作符重载函数参数）

标识重载的（）操作符的参数，没有参数传递时，这部分可以省略。参数可以通过值或者是引用传递。

2.3 mutable 或者是exception声明

这部分可以省略。按值传递函数对象参数时，加上 mutable 修饰符后，可以修改传递进来的拷贝（注意是能修改拷贝，而不是值本身）。exception 声明用于指定函数抛出的异常，如抛出整数类型的异常，可以使用 throw(int)。

2.4 -> 返回值类型

标识函数返回值的类型，当返回值为 void，或者函数体中只有一处 return 的地方（此时编译器可以自动推断出返回值类型）时，这部分可以省略。

2.5{函数体}

标识函数的实现，这部分不能省略，但函数体可以为空。

例子：

#include<iostream>
#include<algorithm>
#include<vector>

using namespace std;

int main(){
    int a[10] = {1,2,3,4,5,6,7,8,9,10};
    sort(a,a+10,[](int x,int y)->bool{return x>y;});
    for(auto x:a){
        cout << x << endl;
    }
    return 0;
}

这是一个降序排列的例子。可以看出使用lambda函数的使用会使得代码更加的简洁。

接下来这部分说明一下我对回调函数有关概念的一些理解；

什么是回调函数？我的理解是，在一个类中，如果一个成员函数调用另外一个成员函数就是回调函数。

例如：

class test{
public:
    bool cmp(int x,int y){
        return x>y;
    }
    sort(a.begin(),a.end(),cmp);
private:
    vector<int> a={1,2,3,4,5,6};
};

在类test中，sort中使用成员函数cmp，这就造成了函数回调，这在编译过程中会报错，这是因为对于普通成员函数来说，它并不占用类对象的内存，为了确保是哪一个对象调用成员函数，每一个类对象会有一个this指针，在编译过程中cmp函数实际上会变成

bool cmp（*this，x,y）;

sort函数中的cmp函数只有两个参数，这会造成函数不匹配而报错。

接下来提出两种解决办法

（1）将函数写成全局变量

 bool cmp(int x,int y){
        return x>y;
    }
class test{
public:
    sort(a.begin(),a.end(),cmp);
private:
    vector<int> a={1,2,3,4,5,6};
};

（2）将cmp函数前面加static，这是因为静态成员函数不会产生this指针

 class test{
public:
    static bool cmp(int x,int y){
        return x>y;
    }
    sort(a.begin(),a.end(),cmp);
private:
    vector<int> a={1,2,3,4,5,6};
};

这样就可以解决函数回调问题。