golang-style "defer" in C++

Question

Я читал про инструкцию 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";}); 
} 

Выход: Hello, world!

Answer 1

Это уже существует, и это называется областью охраны. Смотрите этот фантастический разговор: https://channel9.msdn.com/Shows/Going+Deep/C-and-Beyond-2012-Andrei-Alexandrescu-Systematic-Error-Handling-in-C. Это позволяет легко создавать произвольные вызываемые вызовы при выходе. Это более новая версия; он был разработан первоначально задолго до того, как существовал.

Он отлично работает в целом, но я не уверен, что вы подразумеваете под этим, обрабатывая исключения. Выбрасывание исключений из функции, которая должна быть вызвана при выходе из области видимости, - беспорядок. Причина: когда исключение выбрано (и не сразу поймано), текущая область выходит. Все деструкторы запускаются, и исключение будет продолжать распространяться. Если один из деструкторов выбрасывает, что вы делаете? Теперь у вас есть два живых исключения.

Я полагаю, есть способы, с помощью которых язык может попытаться справиться с этим, но это очень сложно. В C++ очень редко бывает, что бросающий деструктор считается хорошей идеей.

Answer 2

Это уже существует в C++, и это очень плохая идея, и пример, который вы дали, иллюстрирует, почему это бессмысленно, и я надеюсь, что Комитет его никогда не вводит.

Например, если у вас есть дескриптор файла, тогда напишите класс, чтобы сделать это для вас, а затем вам не нужно будет писать оператор дефер для каждого отдельного варианта использования, который вы могли бы легко забыть сделать. Или просто ошибаюсь. Один раз вы пишете один деструктор. Вот и все. Тогда вы гарантированы для всех видов использования этого класса, что это безопасно. Это намного безопаснее и намного проще.

Answer 3

подталкивания обсудить это в смарт-указатель методов программирования:

• 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/SC22WG21_Papers/blob/master/workspace/P0052_scope_exit/src/Test.cpp

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?