问题描述
|
受到另一个主题的启发,我编写了这段代码来模拟一个“ 0”块:
#include <cassert>
#include <iostream>
struct base { virtual ~base(){} };
template<typename TLambda>
struct exec : base
{
TLambda lambda;
exec(TLambda l) : lambda(l){}
~exec() { lambda(); }
};
class lambda{
base *pbase;
public:
template<typename TLambda>
lambda(TLambda l): pbase(new exec<TLambda>(l)){}
~lambda() { delete pbase; }
};
class A{
int a;
public:
void start(){
int a=1;
lambda finally = [&]{a=2; std::cout<<\"finally executed\";};
try{
assert(a==1);
//do stuff
}
catch(int){
//do stuff
}
}
};
int main() {
A a;
a.start();
}
输出(ideone):
finally executed
@Johannes似乎认为其并不完全正确,并评论说:
如果编译器不执行,则会崩溃
删除副本中的临时文件
初始化,因为那样
使用相同的指针删除两次
值
我想知道具体如何。帮助我理解问题:-)
编辑:
问题已修复为:
class lambda{
base *pbase;
public:
template<typename TLambda>
lambda(TLambda l): pbase(new exec<TLambda>(l)){}
~lambda() { delete pbase; }
lambda(const lambda&)= delete; //disable copy ctor
lambda& operator=(const lambda&)= delete; //disable copy assignment
};
然后将其用作:
//direct initialization,no copy-initialization
lambda finally([&]{a=2; std::cout << \"finally executed\" << std::endl; });
完整代码:http://www.ideone.com/hsX0X
解决方法
暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!
如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@)