/** * (C) 2017 KISTLER INSTRUMENTE AG, Winterthur, Switzerland * * @file ScopeGuard.h * * Created on: Apr 29, 2015 * Project: sdbus-c++ * Description: High-level D-Bus IPC C++ library based on sd-bus * * This file is part of sdbus-c++. * * sdbus-c++ is free software; you can redistribute it and/or modify it * under the terms of the GNU Lesser General Public License as published by * the Free Software Foundation, either version 2.1 of the License, or * (at your option) any later version. * * sdbus-c++ is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public License * along with sdbus-c++. If not, see . */ #ifndef SDBUS_CPP_INTERNAL_SCOPEGUARD_H_ #define SDBUS_CPP_INTERNAL_SCOPEGUARD_H_ #include // Straightforward, modern, easy-to-use RAII utility to perform work on scope exit in an exception-safe manner. // // The utility helps providing basic exception safety guarantee by ensuring that the resources are always // released in face of an exception and released or kept when exiting the scope normally. // // Use SCOPE_EXIT if you'd like to perform an (mostly clean-up) operation when the scope ends, either due // to an exception or because it just ends normally. // Use SCOPE_EXIT_NAMED if you'd like to conditionally deactivate given scope-exit operation. This is useful // if, for example, we want the operation to be executed only in face of an exception. // // Example usage (maybe a bit contrived): // SqlDb* g_pDb = nullptr; // void fnc() { // auto* pDb = open_database(...); // Resource to be released when scope exits due to whatever reason // SCOPE_EXIT{ close_database(pDb); }; // Executes body when exiting the scope due to whatever reason // g_pDb = open_database(...); // Resource to be released only in face of an exception // SCOPE_EXIT_NAMED(releaseGlobalDbOnException) // Executes body when exiting the scope in face of an exception // { // close_database(g_pDb); // g_pDb = nullptr; // }; // //... do operations (that may or may not possibly throw) on the database here // releaseGlobalDbOnException.dismiss(); // Don't release global DB on normal scope exit // return; // exiting scope normally // } #define SCOPE_EXIT \ auto ANONYMOUS_VARIABLE(SCOPE_EXIT_STATE) \ = ::skybase::utils::detail::ScopeGuardOnExit() + [&]() \ /**/ #define SCOPE_EXIT_NAMED(NAME) \ auto NAME \ = ::skybase::utils::detail::ScopeGuardOnExit() + [&]() \ /**/ namespace skybase { namespace utils { template class ScopeGuard { _Fun fnc_; bool active_; public: ScopeGuard(_Fun f) : fnc_(std::move(f)) , active_(true) { } ~ScopeGuard() { if (active_) fnc_(); } void dismiss() { active_ = false; } ScopeGuard() = delete; ScopeGuard(const ScopeGuard&) = delete; ScopeGuard& operator=(const ScopeGuard&) = delete; ScopeGuard(ScopeGuard&& rhs) : fnc_(std::move(rhs.fnc_)) , active_(rhs.active_) { rhs.dismiss(); } }; namespace detail { enum class ScopeGuardOnExit { }; // Helper function to auto-deduce type of the callable entity template ScopeGuard<_Fun> operator+(ScopeGuardOnExit, _Fun&& fnc) { return ScopeGuard<_Fun>(std::forward<_Fun>(fnc)); } } }} #define CONCATENATE_IMPL(s1, s2) s1##s2 #define CONCATENATE(s1, s2) CONCATENATE_IMPL(s1, s2) #ifdef __COUNTER__ #define ANONYMOUS_VARIABLE(str) \ CONCATENATE(str, __COUNTER__) \ /**/ #else #define ANONYMOUS_VARIABLE(str) \ CONCATENATE(str, __LINE__) \ /**/ #endif #endif /* SDBUS_CPP_INTERNAL_SCOPEGUARD_H_ */