c++ - C++ 中的 golang 样式 "defer"

Question

这个问题在这里已经有了答案:

What is standard defer/finalizer implementation in C++? (9 个回答)

关闭 7年前。

我正在阅读有关 go 语言的 defer陈述。它允许您指定函数结束时要执行的操作。例如，如果你有一个文件指针或资源，而不是用每个可能的返回路径编写 free/delete，你只需要指定一次 defer 函数。

看起来类似的东西最终可能会出现在 C++ 中( What is standard defer/finalizer implementation in C++? ， Will there be standardization of scope guard/scope exit idioms? )在此之前，使用析构函数进行回调的对象有什么不可预见的事情吗？它看起来像 destructor order for local variables is sane并且它也可以很好地处理异常，尽管可能不会退出信号。

这是一个示例实现...有什么问题吗？

#include <iostream>
#include <functional>
using namespace std;

class FrameExitTask {
    std::function<void()> func_;
public:
    FrameExitTask(std::function<void()> func) :
    func_(func) {
    }
    ~FrameExitTask() {
        func_();
    }
    FrameExitTask& operator=(const FrameExitTask&) = delete;
    FrameExitTask(const FrameExitTask&) = delete;
};

int main() {
    FrameExitTask outer_task([](){cout << "world!";});
    FrameExitTask inner_task([](){cout << "Hello, ";});
    if (1+1 == 2)
        return -1;
    FrameExitTask skipped_task([](){cout << "Blam";});
}

输出:你好，世界!

Answer 1

Boost 在智能指针编程技术中对此进行了讨论:

• http://www.boost.org/doc/libs/1_59_0/libs/smart_ptr/sp_techniques.html#handle

你可以这样做，例如:

#include <memory>
#include <iostream>
#include <functional>

using namespace std;
using defer = shared_ptr<void>;    

int main() {
    defer _(nullptr, bind([]{ cout << ", World!"; }));
    cout << "Hello";
}

或者，没有绑定(bind):

#include <memory>
#include <iostream>

using namespace std;
using defer = shared_ptr<void>;    

int main() {
    defer _(nullptr, [](...){ cout << ", World!"; });
    cout << "Hello";
}

您也可以为此推出自己的小类，或使用 N3830/P0052 的引用实现:

• N3830 : https://github.com/alsliahona/N3830
• P0052 : https://github.com/PeterSommerlad/scope17

The C++ Core Guidelines还有have a guideline它使用 gsl::finally 函数，有一个实现 here .

有许多代码库为此采用了类似的解决方案，因此，这个工具有需求。

相关SO讨论:

• Is there a proper 'ownership-in-a-package' for 'handles' available?
• Where's the proper (resource handling) Rule of Zero?