• 簡介
• 捕獲
• 原理
• Lambda回呼
• 參考

簡介

Lambda 運算式（lambda expression）是一個匿名函式，Lambda運算式基于數學中的λ演算得名，直接對應于其中的lambda抽象（lambda abstraction），是一個匿名函式，即沒有函式名的函式，Lambda運算式可以表示閉包（注意和數學傳統意義上的不同），
閉包就是能夠讀取其他函式內部變數的函式，可以理解成“定義在一個函式內部的函式“，在本質上，閉包是將函式內部和函式外部連接起來的橋梁，
C++中的Lambda運算式從C++11開始引入，完整的宣告如下：

[ 捕獲 ] <模板形參> 約束(可選)
( 形參 ) lambda說明符 約束(可選) { 函式體 }

上面的 <模板形參>、約束(可選)、lambda說明符 屬于較新的標準（c++17起），一般用的比較少，后面主要說明 [ 捕獲 ] 部分，
形參和函式體 與具名函式的定義一致，沒有區別，

一個簡單的Lambda運算式應用場景，代碼如下：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
    vector<int> vec{ 3, 4 };
    //降序排序
    sort(vec.begin(), vec.end(), [](int a, int b) {return a > b; });
    for (size_t i = 0; i < vec.size(); i++)
    {
        cout << vec[i] << endl;
    }
}

捕獲

捕獲是一個含有零或更多個捕獲符的逗號分隔串列，可以默認捕獲符開始，
默認捕獲符只有 &（以參考隱式捕獲被使用的自動變數）和=（以**復制隱式捕獲被使用的自動變數），

• 當默認捕獲符是 & 時，后繼的簡單捕獲符不能以 & 開始，

struct S2 { void f(int i); };
void S2::f(int i)
{
    [&]{};          // OK：默認以參考捕獲
    [&, i]{};       // OK：以參考捕獲，但 i 以值捕獲
    [&, &i] {};     // 錯誤：以參考捕獲為默認時的以參考捕獲
    [&, this] {};   // OK：等價于 [&]
    [&, this, i]{}; // OK：等價于 [&, i]
}

• 當默認捕獲符是 = 時，后繼的簡單捕獲符必須以 & 開始，或者為 *this (C++17 起) 或 this (C++20 起)，

struct S2 { void f(int i); };
void S2::f(int i)
{
    [=]{};          // OK：默認以復制捕獲
    [=, &i]{};      // OK：以復制捕獲，但 i 以參考捕獲
    [=, *this]{};   // C++17 前：錯誤：無效語法
                    // C++17 起：OK：以復制捕獲外圍的 S2
    [=, this] {};   // C++20 前：錯誤：= 為默認時的 this
                    // C++20 起：OK：同 [=]
}

• 任何捕獲符只可以出現一次，并且名字不能與形參相同：

struct S2 { void f(int i); };
void S2::f(int i)
{
    [i, i] {};        // 錯誤：i 重復
    [this, *this] {}; // 錯誤："this" 重復（C++17）
 
    [i] (int i) {};   // 錯誤：形參和捕獲的名字相同
}

上面出現的兩個特殊的捕獲符作用如下：

• this：當前物件的簡單的以參考捕獲
• * this：當前物件的簡單的以復制捕獲

原理

先建一個簡單的Lambda運算式示例，代碼如下：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
    int sum = 0;
    int std = 1;
    vector<int> vec{ 3, 4 };    
    for_each(vec.begin(), vec.end(), [&sum,std](int x) {sum += (x+std); });
    cout << sum << endl;
}

然后在C++ Insights中查看Lambda運算式展開后的代碼，完整代碼如下：

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

int main()
{
  int sum = 0;
  int std = 1;
  std::vector<int, std::allocator<int> > vec = std::vector<int, std::allocator<int> >{std::initializer_list<int>{3, 4}, std::allocator<int>()};
    
  class __lambda_11_38
  {
    public: 
    inline void operator()(int x) const
    {
      sum = sum + (x + std);
    }
    
    private: 
    int & sum;
    int std;
    public: 
    // inline /*constexpr */ __lambda_11_38(__lambda_11_38 &&) noexcept = default;
    __lambda_11_38(int & _sum, int & _std)
    : sum{_sum}
    , std{_std}
    {}
    
  };
  
  std::for_each(__gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > >(vec.begin()), __gnu_cxx::__normal_iterator<int *, std::vector<int, std::allocator<int> > >(vec.end()), __lambda_11_38(__lambda_11_38{sum, std}));
  std::cout.operator<<(sum).operator<<(std::endl);
  return 0;
}

可以看到Lambda運算式展開為類__lambda_11_38，捕獲的外部變數賦值到類的成員變數上，參考捕獲以指標賦值，復制捕獲直接拷貝，
類__lambda_11_38多載了運算子()，它其實就是一個仿函式，

Lambda回呼

在C++中可以使用模板、函式指標、抽象類和Lambda實作回呼的效果，此處主要說明如何使用Lambda和function在同步執行緒中實作回呼的效果，
類模板 std::function 是通用多型函式包裝器，實體能存盤、復制及呼叫任何可復制構造 (CopyConstructible) 的可呼叫 (Callable) 目標——函式、 lambda 運算式、 bind 運算式或其他函式物件，還有指向成員函式指標和指向資料成員指標，
若 std::function 不含目標，則稱它為空，呼叫空 std::function 的目標導致拋出 std::bad_function_call 例外，

一個簡單的Lambda回呼，類似于C#中的事件，代碼如下：

#include <iostream>
#include <vector>
#include <algorithm>
#include <functional>
using namespace std;

class Test
{
public:
    function<void(const int& num)> Func;
    void SetNum(int num) 
    {
        nowNum = num;
        OnFunc(nowNum);
    }
private:
    int nowNum;
    void OnFunc(const int& num)
    {
        if (Func)
        {
            // 在此處回呼
            Func(num);		
        }
    }
};
int main()
{
    Test test;
    test.Func = [](const int& num)
    {
        cout << num << endl;
    };
    test.SetNum(100);
}

參考

• Lambda 運算式
• std::function
• C++11之lambda回呼設定與應用

標籤：C++

上一篇：圖論 · Graph Theory

下一篇：Java集合synchronizedMap()方法具有什么功能呢？