在 C++0x 中模拟 finally 块答案

【问题标题】：Simulating finally block in C++0x在 C++0x 中模拟 finally 块
【发布时间】：2011-09-04 06:45:34
【问题描述】：

受the other topic 的启发，我编写了这段代码来模拟finally 块：

#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 似乎认为它并不完全正确，commented that:

如果编译器不这样做，它可能会崩溃删除副本中的临时初始化，因为那时它使用相同的指针删除两次价值

我想知道到底是怎么回事。帮助我理解问题:-)

编辑：

问题修复为：

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

【问题讨论】：

多么浪费堆分配。
@DeadMG：其实我是想参考参考做的，但是没用，我也没有再试。 :|
@Nawaz：为什么不直接将它存储为对象呢？ const auto& 会做得很好。
@DeadMG：我试过了。但是 lamdba 被执行了！
请注意，这并不像finally，如果用户将代码放在 try 块和函数出口之间，那么 lambda 会在其他代码之后执行。此外，如果 ScopeGuard (drdobbs.com/cpp/184403758) 不能与 lambda 一起使用，那么应该对其进行刺激，直到它可以使用 :-)

标签： c++ lambda c++11 try-catch finally

【解决方案1】：

在这个初始化中：

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

可以使用为lambda 隐式定义的复制构造函数。这只会复制原始指针pbase，然后会被多次删除。

例如

$ 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)

【讨论】：

是的，您可能希望禁止复制您的课程 lambda 以确保安全，因为复制 lambda 显然不安全。
@Nawaz: lambda(const lambda&) = delete; 和类似的。
@Charles：哇……我第一次使用=delete。
还有.. lambda& operator=(const lambda&)= delete;

【解决方案2】：

似乎比必要的复杂得多。为什么不只是：

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++ 中。

【讨论】：

这是针对void (*)() 类型的特定 lambda？它可以与lamda或签名void (*)(int,int)的功能一起使用吗？
@Nawaz：争论从何而来？析构函数调用 lambda 时提供的参数的数量和类型决定了所需的签名。您的代码 ~exec() { lambda(); } 不允许任何参数。如果 lambda 需要更多数据，则需要捕获它。