您好,登錄后才能下訂單哦!
這篇文章主要介紹了C++之Lambda表達式怎么使用的相關知識,內容詳細易懂,操作簡單快捷,具有一定借鑒價值,相信大家閱讀完這篇C++之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重載了操作符(),它其實就是一個仿函數。
在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); }
關于“C++之Lambda表達式怎么使用”這篇文章的內容就介紹到這里,感謝各位的閱讀!相信大家對“C++之Lambda表達式怎么使用”知識都有一定的了解,大家如果還想學習更多知識,歡迎關注億速云行業資訊頻道。
免責聲明:本站發布的內容(圖片、視頻和文字)以原創、轉載和分享為主,文章觀點不代表本網站立場,如果涉及侵權請聯系站長郵箱:is@yisu.com進行舉報,并提供相關證據,一經查實,將立刻刪除涉嫌侵權內容。