c++ 11 lambda表示式
c++11的一大亮點就是引入了lambda表示式。利用lambda表示式,可以方便的定義和建立匿名函式。對於c++這門語言來說來說,「lambda表示式」或「匿名函式」這些概念聽起來好像很深奧,但很多高階語言在很早以前就已經提供了lambda表示式的功能,如c#,python等。今天,我們就來簡單介紹一下c++中lambda表示式的簡單使用。
宣告lambda表示式
lambda表示式完整的宣告格式如下:
[capture list] (params list) mutable exception-> return type
各項具體含義如下
capture list:捕獲外部變數列表
params list:形參列表
mutable指示符:用來說用是否可以修改捕獲的變數
exception:異常設定
return type:返回型別
function body:函式體
此外,我們還可以省略其中的某些成分來宣告「不完整」的lambda表示式,常見的有以下幾種:
序號格式
1[capture list] (params list) -> return type
2[capture list] (params list)
3[capture list]
其中:格式1宣告了const型別的表示式,這種型別的表示式不能修改捕獲列表中的值。
格式2省略了返回值型別,但編譯器可以根據以下規則推斷出lambda表示式的返回型別:
(1):如果function body中存在return語句,
則該lambda表示式的返回型別由return語句的返回型別確定;
(2):如果function body中沒有return語句,則返回值為void型別。
格式3中省略了引數列表,類似普通函式中的無參函式。
講了這麼多,我們還沒有看到lambda表示式的廬山真面目,下面我們就舉乙個例項。
複製**
#include
#include
#include
using namespace std;
bool cmp(int a, int b)
int main()
;vectorlbvec(myvec);
sort(myvec.begin(), myvec.end(), cmp); // 舊式做法
cout << "predicate function:" << endl;
for (int it : myvec)
cout << it << ' ';
cout << endl;
sort(lbvec.begin(), lbvec.end(), (int a, int b) -> bool ); // lambda表示式
cout << "lambda expression:" << endl;
for (int it : lbvec)
cout << it << ' ';
}複製**
在c++11之前,我們使用stl的sort函式,需要提供乙個謂詞函式。如果使用c++11的lambda表示式,
我們只需要傳入乙個匿名函式即可,方便簡潔,而且**的可讀性也比舊式的做法好多了。
下面,我們就重點介紹一下lambda表示式各項的具體用法。
捕獲外部變數
lambda表示式可以使用其可見範圍內的外部變數,但必須明確宣告
(明確宣告哪些外部變數可以被該lambda表示式使用)。
那麼,在**指定這些外部變數呢?
lambda表示式通過在最前面的方括號來明確指明其內部可以訪問的外部變數,
這一過程也稱過lambda表示式「捕獲」了外部變數。
我們通過乙個例子來直觀地說明一下:
複製**
#include
using namespace std;
int main()
; f(); // 輸出:123
//或通過「函式體」後面的『()』傳入引數
auto x = (int a)(123);
}複製**
上面這個例子先宣告了乙個整型變數a,然後再建立lambda表示式,
該表示式「捕獲」了a變數,這樣在lambda表示式函式體中就可以獲得該變數的值。
類似引數傳遞方式(值傳遞、引入傳遞、指標傳遞),在lambda表示式中,
外部變數的捕獲方式也有值捕獲、引用捕獲、隱式捕獲。
1、值捕獲
值捕獲和引數傳遞中的值傳遞類似,**獲的變數的值在lambda表示式建立時通過值拷貝的方式傳入,因此隨後對該變數的修改不會影響影響lambda表示式中的值。
示例如下:
複製**
int main()
; a = 321;
f(); // 輸出:123
}複製**
這裡需要注意的是,如果以傳值方式捕獲外部變數,
則在lambda表示式函式體中不能修改該外部變數的值。
2、引用捕獲
複製**
int main()
; a = 321;
f(); // 輸出:321
}複製**
從示例中可以看出,引用捕獲的變數使用的實際上就是該引用所繫結的物件。
3、隱式捕獲
上面的值捕獲和引用捕獲都需要我們在捕獲列表中顯示列出lambda表示式中使用的外部變數。
除此之外,我們還可以讓編譯器根據函式體中的**來推斷需要捕獲哪些變數,
這種方式稱之為隱式捕獲。隱式捕獲有兩種方式,分別是[=]和[&]。
[=]表示以值捕獲的方式捕獲外部變數,[&]表示以引用捕獲的方式捕獲外部變數。
隱式值捕獲示例:
int main()
; // 值捕獲
f(); // 輸出:123
}隱式引用捕獲示例:
複製**
int main()
; // 引用捕獲
a = 321;
f(); // 輸出:321
}複製**
4、混合方式
上面的例子,要麼是值捕獲,要麼是引用捕獲,lambda表示式還支援混合的方式捕獲外部變數,
這種方式主要是以上幾種捕獲方式的組合使用。
到這裡,我們來總結一下:c++11中的lambda表示式捕獲外部變數主要有以下形式:
捕獲形式說明
不捕獲任何外部變數
[變數名, …]
預設以值得形式捕獲指定的多個外部變數(用逗號分隔),如果引用捕獲,
需要顯示宣告(使用&說明符)
[this]
以值的形式捕獲this指標
[=]以值的形式捕獲所有外部變數
[&]以引用形式捕獲所有外部變數
[=, &x]
變數x以引用形式捕獲,其餘變數以傳值形式捕獲
[&, x]
變數x以值的形式捕獲,其餘變數以引用形式捕獲
修改捕獲變數
前面我們提到過,在lambda表示式中,如果以傳值方式捕獲外部變數,
則函式體中不能修改該外部變數,否則會引發編譯錯誤。
那麼有沒有辦法可以修改值捕獲的外部變數呢?這是就需要使用mutable關鍵字,
該關鍵字用以說明表示式體內的**可以修改值捕獲的變數,示例:
複製**
int main()
; // 不會報錯
cout << a << endl; // 輸出:123
f(); // 輸出:124
}複製**
lambda表示式的引數
lambda表示式的引數和普通函式的引數類似,那麼這裡為什麼還要拿出來說一下呢?
原因是在lambda表示式中傳遞引數還有一些限制,主要有以下幾點:
引數列表中不能有預設引數
不支援可變引數
所有引數必須有引數名
常用舉例:
複製**
(x)+6; }(5);
std::cout << "m:" << m << std::endl; //輸出m:16
std::cout << "n:" << (int x, int y) (5, 4) << std::endl;
//輸出n:9
//[capture list] (params list) -> return type
auto gfunc = (int x) -> function; };
auto lfunc = gfunc(4);
std::cout << lfunc(5) << std::endl;
//[capture list] (params list)
auto hfunc = (const function& f, int z) ;
auto a = hfunc(gfunc(7), 8);
int a = 111, b = 222;
auto func = [=, &b]()mutable ;
func();
std::cout << "a:" << a << " b:" << b << std::endl;
a = 333;
auto func2 = [=, &a] ;
func2();
//[capture list] (params list) -> return type
auto func3 = (int x) ->function; };
//[capture list] (params list)
std::functionf_display_42 = (int x) ;
f_display_42(44);
}
Lambda表示式詳解
1 天真熱,程式設計師活著不易,星期天,也要頂著火辣辣的太陽,總結這些東西。2 夸夸lambda吧 簡化了匿名委託的使用,讓你讓 更加簡潔,優雅。據說它是微軟自c 1.0後新增的最重要的功能之一。lambda運算子 所有的lambda表示式都是用新的lambda運算子 可以叫他,轉到 或者 成為 運...
Lambda表示式詳解
1 天真冷啊,程式設計師活著不易,星期天,也要嗖嗖的北風,總結這些東西。2 夸夸lambda吧 簡化了匿名委託的使用,讓你讓 更加簡潔,優雅。據說它是微軟自c 1.0後新增的最重要的功能之一。lambda運算子 所有的lambda表示式都是用新的lambda運算子 可以叫他,轉到 或者 成為 運算子...
Lambda表示式詳解
lambda表示式在很多語言中應用,lambda表示式可以當作委託中的一種變形,委託的構建方便程式設計人員能夠在程式中傳入函式,相當於回掉函式。lambda表示式可以方便的構造匿名函式,如果 中裡面存有大量小的功能函式,而這些函式只被呼叫一次,不妨將他們重構成lambda表示式。比如需要計算a b,...