lambda-demo

lambda

lambda 表达式（通常称为 " lambda"）是一种在被调用的位置或作为自变量传递给函数的位置定义匿名函数对象（闭包）的简便方法。 Lambda 通常用于封装传递给算法或异步方法的少量代码行。

trpl：可以创建一个存放闭包和调用闭包结果的结构体。该结构体只会在需要结果时执行闭包，并会缓存结果值，这样余下的代码就不必再负责保存结果并可以复用该值。你可能见过这种模式被称 memoization 或 lazy evaluation （惰性求值）。

#include <iostream>
#include <algorithm>   // sort函数模板、for_each函数模板
#include <vector>
 
using namespace std;
 

//[capture list](parameter list)-> return type {function body}
int main ( )
{
    auto f1 = []() { cout << "lambda test" << endl; };
    f1();

    //use paramter list
    auto f2 = [](int a, int b) { cout << a << ' ' << b << endl; };
    f2(3, 4);

    //use capture list
    int a = 1;
    auto f3 = [a]() { cout << a << endl; }; //值捕获
    f3();
    auto f4 = [&a]() { a++; cout << a << endl; };//引用捕获
    f4();
    auto f5 = [&]() { a++; cout << a << endl; };//隐式捕获引用
    f5();
    auto f6 = [=]() { cout << a << endl; };//隐式捕获值
    f6();
    auto f7 = [=]() mutable { a++; cout << a << endl; }; //隐式捕获值，可变lambda，捕获的值在函数体改变不影响外面变量
    f7();
    cout << "after mutable" << a << endl;
    auto f8 = [&,a]() { cout << a << endl; };
    f8();
    auto f9 = [=, &a]() { a++; cout << a << endl; };
    f9();

    //return type
    //函数体包含除return之外的任何语句，编译器默认此lambda返回void，可手动声明返回类型
    vector<int> v1 = {1, 3, -2, -4, 5, -6};
    //下面按照标准是不能通过编译的，但是编译器实现了类型推断（可能是实现了cpp14）
    //lambda返回auto，auto推断成int，推断成功的前提是返回的都是相同类型
    //https://stackoverflow.com/questions/26692637/c11-restrictions-on-lambda-return-type
    transform(v1.begin(), v1.end(), v1.begin(), [](int a) {if(a > 0)return a; else return -a; });
    //标准用法：
    transform(v1.begin(), v1.end(), v1.begin(), [](int a) -> int {if(a > 0)return a; else return -a; });
    for_each(v1.begin(), v1.end(), [](int a) { cout << a; });
    //error :return type 'char' must match previous return type 'int' when lambda expression has unspecified explicit return type
    //transform(v1.begin(), v1.end(), v1.begin(), [](int a) {if(a > 0)return a; else return 'a'; });
    return 0;
}