|
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107 |
- /*
- * Scope Guard
- * Copyright (C) 2017 offa
- *
- * This file is part of Scope Guard.
- *
- * Scope Guard is free software: you can redistribute it and/or modify
- * it under the terms of the GNU General Public License as published by
- * the Free Software Foundation, either version 3 of the License, or
- * (at your option) any later version.
- *
- * Scope Guard 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 General Public License for more details.
- *
- * You should have received a copy of the GNU General Public License
- * along with Scope Guard. If not, see <http://www.gnu.org/licenses/>.
- */
-
- #pragma once
-
- #include <utility>
- #include <type_traits>
-
- namespace sr::detail
- {
-
- template<class F, class S>
- struct is_noexcept_dtor
- {
- static constexpr bool value = true;
- };
-
-
- template<class F, class S>
- constexpr bool is_noexcept_dtor_v = is_noexcept_dtor<F, S>::value;
-
-
-
- template<class EF, class Strategy>
- class scope_guard_base : private Strategy
- {
- public:
-
- template<class EFP,
- std::enable_if_t<std::is_constructible_v<EF, EFP>, int> = 0,
- std::enable_if_t<(!std::is_lvalue_reference_v<EFP>)
- && std::is_nothrow_constructible_v<EF, EFP>, int> = 0
- >
- explicit scope_guard_base(EFP&& exitFunction) : m_exitfunction(std::move(exitFunction)),
- m_execute_on_destruction(true)
- {
- }
-
- template<class EFP,
- std::enable_if_t<std::is_constructible_v<EF, EFP>, int> = 0,
- std::enable_if_t<std::is_lvalue_reference_v<EFP>, int> = 0
- >
- explicit scope_guard_base(EFP&& exitFunction) try : m_exitfunction(exitFunction),
- m_execute_on_destruction(true)
- {
- }
- catch( ... )
- {
- exitFunction();
- throw;
- }
-
- scope_guard_base(scope_guard_base&& other) noexcept(std::is_nothrow_move_constructible_v<EF>
- || std::is_nothrow_copy_constructible_v<EF>)
- : Strategy(other),
- m_exitfunction(std::move_if_noexcept(other.m_exitfunction)),
- m_execute_on_destruction(other.m_execute_on_destruction)
- {
- other.release();
- }
-
- scope_guard_base(const scope_guard_base&) = delete;
-
-
- ~scope_guard_base() noexcept(is_noexcept_dtor_v<EF, Strategy>)
- {
- if( (m_execute_on_destruction == true) && (this->should_execute() == true) )
- {
- m_exitfunction();
- }
- }
-
-
- void release() noexcept
- {
- m_execute_on_destruction = false;
- }
-
-
- scope_guard_base& operator=(const scope_guard_base&) = delete;
- scope_guard_base& operator=(scope_guard_base&&) = delete;
-
-
- private:
-
- EF m_exitfunction;
- bool m_execute_on_destruction;
- };
-
- }
|