在C ++ 0x中模拟finally块

如何解决在C ++ 0x中模拟finally块

| 受到另一个主题的启发，我编写了这段代码来模拟一个“ 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     

解决方法

        在此初始化中：

lambda finally = [&]{a=2; std::cout<<\"finally executed\";};

可以使用

lambda

隐式定义的副本构造函数。这将只复制原始指针“ 7”，然后将其删除多次。 例如。

$ g++ -std=c++0x -Wall -Wextra -pedantic -fno-elide-constructors lambdafun.cc 
$ ./a.out 
a.out: lambdafun.cc:29: void A::start(): Assertion `a==1\' failed.
finally executedAborted (core dumped)

实际上，您的断言触发掩盖了双重删除问题，但这证明了我突出显示的崩溃。

$ g++ -std=c++0x -Wall -Wextra -pedantic -fno-elide-constructors -DNDEBUG lambdafun.cc 
$ ./a.out 
Segmentation fault (core dumped)

    ,        似乎比必要的方法更复杂。为什么不只是：

class finally
{
    std::function<void (void)> const action;
    finally(const finally&) = delete;

public:
    finally(std::function<void (void)> a)
        : action(a)
    {}

    ~finally() { action(); }
};

但是总的来说，应该尽量不要将不良的Java习惯带入C ++。