scope_success.hpp

Go to the documentation of this file.

#pragma once
#include "action_callable.hpp"
#include "unused.hpp"
#include <exception>
#include <utility>

namespace xtd {
  struct scope_success { };
  
  template<typename function_t>
  requires xtd::action_callable<function_t> && std::is_nothrow_invocable_v<function_t&>
  struct __xtd_scope_success_object__ {
    __xtd_scope_success_object__(function_t&& f) : function(std::forward<function_t>(f)) {}
    ~__xtd_scope_success_object__() noexcept {if (std::uncaught_exceptions() == exceptions_on_enter) function();}
    int exceptions_on_enter = std::uncaught_exceptions();
    function_t function;
  };
 
  template<typename function_t>
  requires xtd::action_callable<function_t> && std::is_nothrow_invocable_v<function_t&>
  auto operator+(scope_success, function_t&& function) {
    return __xtd_scope_success_object__<function_t> {std::forward<function_t>(function)};
  }
}

#define scope_success_ \
  [[maybe_unused]] auto __ = xtd::scope_success {} + [&]()