Error

C++博客 首页 新随笔 联系 聚合 管理
  217 Posts :: 61 Stories :: 32 Comments :: 0 Trackbacks
// 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;
}
};
// 经验: 保存lambda表达式的变量被销毁后,该表达式对应的闭包会销毁。应该保证闭包在lambda表达式变量的生命周期之内执行,否则程序执行结果不可预知!
// 1.理解lambda首先要理解函数对象,和闭包
// 2.理解必包的基础上,理解lambda如何实现闭包
// 3.理解闭包以后,需要分析设置不同的capture的情况下分别是如何实现闭包
//   1)闭包意味着一个函数地址 + 一组封装好的参数。
//   2)闭包可以被拷贝,但是每个闭包中的参数可以是不一样的
// 4.理解函数对象和lambda的关系: lambda可以理解成函数,但是当lambda赋值给一个函数对象的时候,编译器应该是把lambda构造成了一个闭包的function
//   1)根据汇编码分析,lambda对象类似于函数指针(但是类型系统和函数指针是完全不同的概念,可以用decltype(lambda)来鉴定),本质和函数对象是不一样的。
//   2)定义一个lambda表达式相当于定义一个函数(观察会变码,lambda表达式是没有构造和析构的)
//   3)把函数指针赋值给一个std::function,和吧lambda赋值给一个std::function的效果是完全不一样的。一个这是指针赋值操作,另一个则是完整的闭包。
//   4)经过代码实际测试,lambda是鉴于函数指针和函数对象之间的一个玩意,它也是一个特殊的类型,这个具体只能看C++标准文档了。
//   5)boost asio异步接口中的functor可能是利用了meta编程技巧,或者他本身每一次发起异步操作都会形成一个独立的闭包,解决了函数对象和socket对象生命周期绑定的关系
//      应为如果是functor实现,宿主对象析构,一定会造成作为成员变量的functor销毁,同时引起lambda闭包混乱(不仅闭包参数乱掉,闭包函数本身也呈现混乱)。
//      由此分析,闭包中的任何一行代码都必须在闭包本身的声明周期内执行。似乎可以理解成,lambda闭包是把lambda函数本身也当作一个特殊的参数来完成闭包封装的。
//      通过会变码观察,在使用不同的lambda变量调用lambda表达式的时候,会在ecx寄存器压入不同的值,然后会读取一块关联的内存。
//   6)vc2015下的lambda永远都是4字节,这应该是编译器实现细节了,按说应该是随着闭包内容的大小变化而变化。我猜测,这四个字节应该指向一个块内存,里边的数据是用来还原“lambda”函数执行栈的闭包
// 5.通俗的理解上述分析: lambda对象(变量)是一块内存,内存里边是lambda表达式本身的副本。当执行lambda表达式对象的时候,实际是执行对象对应的内存中的代码,如果对象被析构了,对应的代码也就是未知代码。
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 = &lambda;
decltype(&lambda) pLambda = NULL;
int nSize = sizeof(lambda);
{
decltype(lambda) lambda_copy = lambda;
lambda_copy();
}
(*pLambda0)();  // 正常掉用
(*pLambda)();  // 调用后整个闭包混乱
}
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; 编译错误,应为编译器会把每一个lambda表达式当作一个独立的类型,这是lambda不同于函数指针的地方,函数指针是根据参数来决定类型的
decltype(lambda) lambda_copy = lambda;
*pFunc = lambda2;
}
func();
(*pFunc)();
}
posted on 2017-03-22 22:41 Enic 阅读(1790) 评论(0)  编辑 收藏 引用 所属分类: C/C++技巧

只有注册用户登录后才能发表评论。
网站导航: 博客园   IT新闻   BlogJava   知识库   博问   管理