Section
std::experimental::scope_fail
The class template scope_fail is a general-purpose scope guard intended to call its exit function when a scope is exited via an exception.
# Declarations
template< class EF >
class scope_fail;
(library fundamentals TS v3)
# Notes
Constructing a scope_fail of dynamic storage duration might lead to unexpected behavior.
Constructing a scope_fail is constructed from another scope_fail created in a different thread might also lead to unexpected behavior since the count of uncaught exceptions obtained in different threads may be compared during the destruction.
# Example
#include <iostream>
#include <cstdlib>
#include <string_view>
#include <experimental/scope>
void print_exit_status(std::string_view name, bool exit_status, bool did_throw) {
std::cout << name << ":\n";
std::cout << " Throwed exception " << (did_throw ? "yes" : "no") << "\n";
std::cout << " Exit status " << (exit_status ? "finished" : "pending") << "\n\n";
}
// Randomly throw an exception (50% chance)
void maybe_throw() {
if (std::rand() >= RAND_MAX / 2)
throw std::exception{};
}
int main() {
bool exit_status{false}, did_throw{false};
// Manual handling at "end of scope"
try {
maybe_throw();
exit_status = true;
} catch (...) { did_throw = true; }
print_exit_status("Manual handling", exit_status, did_throw);
// Using scope_exit: runs on scope exit (success or exception)
exit_status = did_throw = false;
try {
auto guard = std::experimental::scope_exit{[&]{ exit_status = true; } };
maybe_throw();
} catch (...) { did_throw = true; }
print_exit_status("scope_exit", exit_status, did_throw);
// Using scope_fail: runs only if an exception occurs
exit_status = did_throw = false;
try {
auto guard = std::experimental::scope_fail{[&]{ exit_status = true; } };
maybe_throw();
} catch (...) { did_throw = true; }
print_exit_status("scope_fail", exit_status, did_throw);
// Using scope_success: runs only if no exception occurs
exit_status = did_throw = false;
try {
auto guard = std::experimental::scope_success{[&]{ exit_status = true; } };
maybe_throw();
} catch (...) { did_throw = true; }
print_exit_status("scope_success", exit_status, did_throw);
}