深入浅出C++11（5）-- Lambda函数与表示式

先来看个数组排序的例子：

以下为Objective-c对数组排序的代码：

    NSArray* array = @[@1, @3 ,@5, @2, @4, @6];    NSArray *sortedArray = [array sortedArrayUsingComparator:^(id obj1, id obj2) {        return <obj1 vs obj2>    }];

相同实现代码在C++里面实现如下：

template <typename T>class CompareType{public:    bool operator()(T& t1, T& t2){        return t1 < t2;    }};//调用void test(){    vector<int> v = {1,3,5,2,4,6};    CompareType<int> comp;    std::sort(v.begin(), v.end(), comp);}

比较两个实现，采用C++明显复杂的多，而且还需要额外实现一个函数对象。

当然C++中也可以采用函数指针实现：

template <typename T>bool TypeCompare(T& t1, T& t2){    return t1 < t2;}//调用代码void test(){   vector<int> v = {1,3,5,2,4,6};   std::sort(v.begin(), v.end(), TypeCompare<int>);} 

但也需要额外实现一个函数, 总体感觉比较累赘

同时，用户经常希望能够在算法函数调用的附近定义一个临时函数， 虽然c++允许在函数内部定义类型， 但结构上也不简洁：

void test(){    class CompareType{public:bool operator()(int& t1, int& t2){return t1 < t2;}};    //调用    vector<int> v = {1,3,5,2,4,6};    CompareType comp;    std::sort(v.begin(), v.end(), comp);}

特别是当函数里面还需要访问外部变量或者参数， 就不太可行了， 虽然可以通过以下方式勉强达到， 但比较objective c中的block就觉得麻烦复杂。

void test(){    int compTimes = 0;        class CompareType{    private:        int* mCompTimes;    public:        CompareType(int* v) : mCompTimes(v){}public:bool operator()(int& t1, int& t2){            (*mCompTimes)++;return t1 < t2;}};    //调用    vector<int> v = {1,3,5,2,4,6};    CompareType comp(&compTimes);    std::sort(v.begin(), v.end(), comp);}

Objective c

void test(){    NSArray* array = @[@1, @3 ,@5, @2, @4, @6];    __block int compTimes = 0;    NSArray *sortedArray = [array sortedArrayUsingComparator: ^(id obj1, id obj2) {        compTimes++;        return <obj1 vs obj2>;    }];}

于是C++ 11也提出了语法上类似Objective c中block形式的lambda表达式支持。

一个 lambda 函数可以用如下的方式定义:

[](int x, int y) { return x + y; }

这个不具名函数的回返类型是 decltype(x+y)。

只有在 lambda 函数符合"return expression"的形式下，它的回返类型才能被忽略。在前述的情况下，lambda 函数仅能为一个述句。

在一个更为复杂的例子中，回返类型可以被明确的指定如下：

[](int& v1, int& v2)->bool{     return v1 < v2;}

如果 lambda 函数没有传回值(例如 void )，其回返类型可被完全忽略。

定义在与 lambda 函数相同作用域的参数参考也可以被使用。这种的参数集合一般被称作 closure (闭包)。

[]  // 没有定义任何变量。使用未定义变量会导致错误。[x, &y] // x 以传值方式传入(预设)，y 以传参考方式传入。[&]   // 任何被使用到的外部变量皆隐式地以参考方式加以引用。[=]   // 任何被使用到的外部变量皆隐式地以传值方式加以引用。[&, x]   // x 显示地以传值方式加以引用。其餘变量以参考方式加以引用。[=, &z]   // z 显示地以参考方式加以引用。其餘变量以传值方式加以引用。

根据以上lambda定义，以上sort可以转换成：

void test(){    vector<int> v = {1,3,5,2,4,6};    std::sort(v.begin(), v.end(), [](int& v1, int& v2)->bool{        return v1 < v2;    });}

需要访问外部变量时：

void test(){    vector<int> v = {1,3,5,2,4,6};    int compTimes = 0;    std::sort(v.begin(), v.end(), [&compTimes](int& v1, int& v2)->bool{        compTimes++;        return v1 < v2;    });}

是不是简洁了很多啊， 这就是lambda方便之处， 也弥补了c++在临时或局部函数上的不足。

若一个 lambda 函数被定义于某类型的成员函数中，则可以使用该类型对象的参考，并且能够访问其内部的成员。

[](SomeType *typePtr) { typePtr->SomePrivateMemberFunction(); };

这只有当该 lambda 函数创建的作用域是在 SomeType 的成员函数内部时才能运作。

在成员函数中指涉对象的 this 指针，必须要显式的传入 lambda 函数， 否则成员函数中的 lambda 函数无法使用任何该对象的参数或函数。

[this]() { this->SomePrivateMemberFunction(); };

若是 lambda 函数使用 [&] 或是 [=] 的形式，this在 lambda 函数即为可见。

lambda 函数是编译器从属类型的函数对象； 这种类型名称只有编译器自己能够使用。

如果用户希望将 lambda 函数作为参数传入，该类型必须是模版类型，或是必须创建一个 std::function 去获取 lambda 的值。

使用 auto 关键字让我们能够存储 lambda 函数：

//栈上auto myLambdaFunc = []()->int { return 5;};int v = myLambdaFunc();//堆上auto myOnheapLambdaFunc = new auto([]()->int { return 5;});int v2 = (*myOnheapLambdaFunc)();free(myOnheapLambdaFunc);