// lambda_test.cpp : Defines the entry point for the console application.
//
#include "stdafx.h"
#include <iostream>
#include <functional>
// 利用rtii觀察堆棧生命周期
class StackLifeTimeWatching
{
public:
StackLifeTimeWatching()
{
std::cout << __FUNCTION__ << std::endl;
}
~StackLifeTimeWatching()
{
std::cout << __FUNCTION__ << std::endl;
}
};
// 經(jīng)驗(yàn)： 保存lambda表達(dá)式的變量被銷毀后，該表達(dá)式對應(yīng)的閉包會銷毀。應(yīng)該保證閉包在lambda表達(dá)式變量的生命周期之內(nèi)執(zhí)行，否則程序執(zhí)行結(jié)果不可預(yù)知！
// 1.理解lambda首先要理解函數(shù)對象,和閉包
// 2.理解必包的基礎(chǔ)上，理解lambda如何實(shí)現(xiàn)閉包
// 3.理解閉包以后，需要分析設(shè)置不同的capture的情況下分別是如何實(shí)現(xiàn)閉包
// 1）閉包意味著一個(gè)函數(shù)地址 + 一組封裝好的參數(shù)。
// 2）閉包可以被拷貝，但是每個(gè)閉包中的參數(shù)可以是不一樣的
// 4.理解函數(shù)對象和lambda的關(guān)系： lambda可以理解成函數(shù)，但是當(dāng)lambda賦值給一個(gè)函數(shù)對象的時(shí)候，編譯器應(yīng)該是把lambda構(gòu)造成了一個(gè)閉包的function
// 1）根據(jù)匯編碼分析，lambda對象類似于函數(shù)指針（但是類型系統(tǒng)和函數(shù)指針是完全不同的概念，可以用decltype(lambda)來鑒定），本質(zhì)和函數(shù)對象是不一樣的。
// 2）定義一個(gè)lambda表達(dá)式相當(dāng)于定義一個(gè)函數(shù)（觀察會變碼，lambda表達(dá)式是沒有構(gòu)造和析構(gòu)的）
// 3）把函數(shù)指針賦值給一個(gè)std::function,和吧lambda賦值給一個(gè)std::function的效果是完全不一樣的。一個(gè)這是指針賦值操作，另一個(gè)則是完整的閉包。
// 4）經(jīng)過代碼實(shí)際測試，lambda是鑒于函數(shù)指針和函數(shù)對象之間的一個(gè)玩意，它也是一個(gè)特殊的類型，這個(gè)具體只能看C++標(biāo)準(zhǔn)文檔了。
// 5）boost asio異步接口中的functor可能是利用了meta編程技巧，或者他本身每一次發(fā)起異步操作都會形成一個(gè)獨(dú)立的閉包，解決了函數(shù)對象和socket對象生命周期綁定的關(guān)系
// 應(yīng)為如果是functor實(shí)現(xiàn)，宿主對象析構(gòu)，一定會造成作為成員變量的functor銷毀，同時(shí)引起lambda閉包混亂（不僅閉包參數(shù)亂掉，閉包函數(shù)本身也呈現(xiàn)混亂）。
// 由此分析，閉包中的任何一行代碼都必須在閉包本身的聲明周期內(nèi)執(zhí)行。似乎可以理解成，lambda閉包是把lambda函數(shù)本身也當(dāng)作一個(gè)特殊的參數(shù)來完成閉包封裝的。
// 通過會變碼觀察，在使用不同的lambda變量調(diào)用lambda表達(dá)式的時(shí)候，會在ecx寄存器壓入不同的值，然后會讀取一塊關(guān)聯(lián)的內(nèi)存。
// 6）vc2015下的lambda永遠(yuǎn)都是4字節(jié)，這應(yīng)該是編譯器實(shí)現(xiàn)細(xì)節(jié)了，按說應(yīng)該是隨著閉包內(nèi)容的大小變化而變化。我猜測，這四個(gè)字節(jié)應(yīng)該指向一個(gè)塊內(nèi)存，里邊的數(shù)據(jù)是用來還原“lambda”函數(shù)執(zhí)行棧的閉包
// 5.通俗的理解上述分析： lambda對象（變量）是一塊內(nèi)存，內(nèi)存里邊是lambda表達(dá)式本身的副本。當(dāng)執(zhí)行l(wèi)ambda表達(dá)式對象的時(shí)候，實(shí)際是執(zhí)行對象對應(yīng)的內(nèi)存中的代碼，如果對象被析構(gòu)了，對應(yīng)的代碼也就是未知代碼。
void Test1();
void Test2();
int main()
{
Test2();
return 0;
}
void Test2()
{
int n = 0;
auto lambda = [&]()->void
{
StackLifeTimeWatching stackWatching;
n = 1;
int j = 0;
int j1 = 0;
int j2 = 0;
int j3 = 0;
int j4 = 0;
int j5 = 0;
};
decltype(&lambda) pLambda0 = λ
decltype(&lambda) pLambda = NULL;
int nSize = sizeof(lambda);
{
decltype(lambda) lambda_copy = lambda;
lambda_copy();
}
(*pLambda0)(); // 正常掉用
(*pLambda)(); // 調(diào)用后整個(gè)閉包混亂
}
void Test1()
{
StackLifeTimeWatching p();
int n = 0;
std::function<void()> func;
std::function<void()>* pFunc = new std::function<void()>;
{
//std::function<void()> func = [&]()->void
//{
// StackLifeTimeWatching stackWatching;
// n = 1;
//};
//func();
auto lambda = [&]()->void
{
StackLifeTimeWatching stackWatching;
n = 1;
};
lambda();
func = lambda;
auto lambda2 = [&]()->void
{
delete pFunc;
pFunc = NULL;
StackLifeTimeWatching stackWatching;
n = 1;
};
//decltype(lambda) lambda_copy = lambda2; 編譯錯(cuò)誤，應(yīng)為編譯器會把每一個(gè)lambda表達(dá)式當(dāng)作一個(gè)獨(dú)立的類型，這是lambda不同于函數(shù)指針的地方，函數(shù)指針是根據(jù)參數(shù)來決定類型的
decltype(lambda) lambda_copy = lambda;
*pFunc = lambda2;
}
func();
(*pFunc)();
}