Modern C++中l(wèi)ambda表達式的陷阱
lambda表達式給stl帶來了無與倫比的便利，尤其對像std::for_each這種使用函數(shù)指針的場合更是方便，但卻是寫的爽快，維護的蛋疼，前幾天還遇到了一個陷阱，這里特意記錄一下
陷阱1：默認引用捕獲可能帶來的懸掛引用問題
在捕獲參數(shù)時喜歡使用[&]來一次捕獲包括this在內的所有內容,此方法非常方便，但在遇到局部變量時，引用捕獲卻是非常容易出現(xiàn)問題，尤其用在事件系統(tǒng),信號槽系統(tǒng)里時。
一個簡單的lambda程序如下：
#include#includeusing?namespace?std;
typedef?std::functionFP;
void?run_fun_ptr(FP?fp);
FP?get_fun_ptr();
FP?get_fun_ptr_ref();
int?main()
{
????run_fun_ptr(get_fun_ptr());
????run_fun_ptr(get_fun_ptr_ref());
????return?0;
}
void?run_fun_ptr(FP?fp)
{
????if(fp)
????{
????????fp();
????}
}
FP?get_fun_ptr()
{
????int?a?=?2;
????return?[=](){cout?<<?"=?a:"<<a?<<?endl;};
}
FP?get_fun_ptr_ref()
{
????int?a?=?2;
????return?[&](){cout?<<?"&?a:"<<a?<<?endl;};
}結果輸出：
=?a:2 &?a:4200153
這里get_fun_ptr正常輸出，因為使用的是=號捕獲,但get_fun_ptr_ref使用的是引用捕獲，就會出現(xiàn)未定義的行為，因為捕獲了一個臨時變量，引用實際可以看成指針，在get_fun_ptr_ref之后，get_fun_ptr_ref中int a = 2;的臨時變量會釋放(出棧)，此時指針就不知道指的是什么東西了。
在有事件循環(huán)系統(tǒng)時，最典型的就是ui程序，若lambda的觸發(fā)是依據(jù)某個事件，如一個鼠標對按鈕的點擊，但lambda卻引用捕獲了一個局部變量，在創(chuàng)建時變量存在，但在觸發(fā)點擊時，變量很有可能已經銷毀了，這時就會有未定義錯誤發(fā)生。
如下例子是SA的一個生成最近打開文件菜單項目的例子,作用就是把記錄最近打開的文件路徑生成一系列菜單項目，在第二個lambda表達式中，若用默認引用捕獲，會把QAction* act作為引用捕獲，在此函數(shù)結束后，將變成懸空引用
????std::for_each(m_recentOpenFiles.begin(),m_recentOpenFiles.end(),[&](const?QString&?strPath){
????????QAction*?act?=?new?QAction(strPath,this);
????????connect(act,&QAction::triggered,this,[this,act](bool?on){
????????????Q_UNUSED(on);
????????????this->openFile(act->text());
????????});
????????ui->menuRecentOpenFile->addAction(act);
????});陷阱2：捕獲this陷阱
后來在網上看到這篇文章Effective Modern C++ 條款31 對于lambda表達式，避免使用默認捕獲模式
看來這是Modern C++的新坑，還好Effective系列把這些都點明了，文章除了上面說的捕獲懸掛引用情況，還有一種情況會導致問題，就是lambda使用當前類外的變量時要異常小心其捕獲的this指針,如lambda使用了全局變量，或者lambda所在類以外生命周期比這個類長的變量
#include#include#include#include#includetypedef?std::functionFP;
class?Point
{
public:
????Point(int?x,int?y):m_x(x),m_y(y)
????{
????}
????void?print()
????{
????????s_print_history.push_back([=](){std::cout?<<?"(X:"?<<?m_x?<<?",Y:"?<<?m_y?<<")"?<<?std::endl;});
????????std::cout?<<?"(X:"?<<?m_x?<<?",Y:"?<<?m_y?<<")"?<<?std::endl;
????}
????static?void?print_history()
????{
????????std::for_each(s_print_history.begin(),s_print_history.end(),[](FP?p){
????????????if(p)
????????????????p();
????????});
????}
private:
????int?m_x;
????int?m_y;
????typedef?std::functionFP;
????static?std::vectors_print_history;
};
std::vectorPoint::s_print_history?=?std::vector();
int?main()
{
????std::unique_ptrp;
????p.reset(new?Point(1,1));p->print();
????p.reset(new?Point(2,2));p->print();
????p.reset(new?Point(3,3));p->print();
????Point::print_history();
????return?0;
}輸出結果
(X:1,Y:1) (X:2,Y:2) (X:3,Y:3) print?history: (X:3,Y:3) (X:2,Y:2) (X:3,Y:3)
這個歷史輸出明顯不是正確的結果，這個歷史已經是一個未定義的行為，別的編譯器輸出的結果和我這里編譯的結果應該是不一樣的，這里就是this的捕獲陷阱
s_print_history.push_back([=](){std::cout?<<?"(X:"?<<?m_x?<<?",Y:"?<<?m_y?<<")"?<<?std::endl;});這句lambda通過默認值捕獲，其實只是捕獲了this指針，在lambda里使用m_x,相當于this->m_x。在this銷毀后在調用這個lambda，這時候的this就不知指到哪里了。
由于lambda里有比創(chuàng)建這個lambda的this生命周期更長的變量，一般是引入這個類的其他類型變量或者是靜態(tài)變量和全局變量，一旦涉及到這三種東西，不建議用lambda，但任性要用，需要做一個中轉，上述打印代碼應該改為：
void?print()
{
????int?x?=?m_x;
????int?y?=?m_y;
????s_print_history.push_back([x,y](){std::cout?<<?"(X:"?<<?x?<<?",Y:"?<<?y?<<")"?<<?std::endl;});
????std::cout?<<?"(X:"?<<?m_x?<<?",Y:"?<<?m_y?<<")"?<<?std::endl;
}這時，會把x，y通過傳值捕獲，lambda里沒有保存this指針信息，避免隱藏this的影響。
具體建議大家看看這篇文章Effective Modern C++ 條款31 對于lambda表達式，避免使用默認捕獲模式
總結
引用捕獲陷阱：引用捕獲[&]別使用局部變量
this陷阱：lambda里避免有全局變量或靜態(tài)變量或者比當前類生命周期更長的變量
盡量避免使用復雜的lambda
下載文檔
