C++的五郎式"defer"

golang-style "defer" in C++

本文关键字：defer C++ 更新时间：2023-10-16

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

(c++中标准的延迟/终结器实现是什么?作用域保护/作用域退出习惯用法是否会标准化?)在此之前，对析构函数进行回调的对象执行此操作有什么不可预见的吗?看起来局部变量的析构函数顺序是合理的，并且它也可以很好地处理异常，尽管可能不会在信号上退出。

这是一个示例实现…有什么问题吗?

#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";});
}

输出:Hello, world!

Boost在智能指针编程技术中讨论这个问题:

http://www.boost.org/doc/libs/1_59_0/libs/smart_ptr/sp_techniques.html处理

你可以这样做，例如:

#include <memory>
#include <iostream>
#include <functional>
using namespace std;
using defer = shared_ptr<void>;    
int main() {
    defer _(nullptr, bind([]{ cout << ", World!"; }));
    cout << "Hello";
}

Or，不含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

c++核心指南也有一个使用gsl::finally函数的指南，这里有一个实现。

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