| 1 | /* Traits for Outcome |
| 2 | (C) 2018-2024 Niall Douglas <http://www.nedproductions.biz/> (3 commits) |
| 3 | File Created: March 2018 |
| 4 | |
| 5 | |
| 6 | Boost Software License - Version 1.0 - August 17th, 2003 |
| 7 | |
| 8 | Permission is hereby granted, free of charge, to any person or organization |
| 9 | obtaining a copy of the software and accompanying documentation covered by |
| 10 | this license (the "Software") to use, reproduce, display, distribute, |
| 11 | execute, and transmit the Software, and to prepare derivative works of the |
| 12 | Software, and to permit third-parties to whom the Software is furnished to |
| 13 | do so, all subject to the following: |
| 14 | |
| 15 | The copyright notices in the Software and this entire statement, including |
| 16 | the above license grant, this restriction and the following disclaimer, |
| 17 | must be included in all copies of the Software, in whole or in part, and |
| 18 | all derivative works of the Software, unless such copies or derivative |
| 19 | works are solely in the form of machine-executable object code generated by |
| 20 | a source language processor. |
| 21 | |
| 22 | THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR |
| 23 | IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, |
| 24 | FITNESS FOR A PARTICULAR PURPOSE, TITLE AND NON-INFRINGEMENT. IN NO EVENT |
| 25 | SHALL THE COPYRIGHT HOLDERS OR ANYONE DISTRIBUTING THE SOFTWARE BE LIABLE |
| 26 | FOR ANY DAMAGES OR OTHER LIABILITY, WHETHER IN CONTRACT, TORT OR OTHERWISE, |
| 27 | ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER |
| 28 | DEALINGS IN THE SOFTWARE. |
| 29 | */ |
| 30 | |
| 31 | #ifndef BOOST_OUTCOME_TRAIT_STD_EXCEPTION_HPP |
| 32 | #define BOOST_OUTCOME_TRAIT_STD_EXCEPTION_HPP |
| 33 | |
| 34 | #include "../config.hpp" |
| 35 | |
| 36 | #include <exception> |
| 37 | |
| 38 | BOOST_OUTCOME_V2_NAMESPACE_BEGIN |
| 39 | |
| 40 | namespace policy |
| 41 | { |
| 42 | namespace detail |
| 43 | { |
| 44 | /* Pass through `make_exception_ptr` function for `std::exception_ptr`. |
| 45 | */ |
| 46 | inline std::exception_ptr make_exception_ptr(std::exception_ptr v) { return v; } |
| 47 | |
| 48 | // Try ADL, if not use fall backs above |
| 49 | template <class T> constexpr inline decltype(auto) exception_ptr(T &&v) { return make_exception_ptr(std::forward<T>(v)); } |
| 50 | } // namespace detail |
| 51 | |
| 52 | /*! AWAITING HUGO JSON CONVERSION TOOL |
| 53 | SIGNATURE NOT RECOGNISED |
| 54 | */ |
| 55 | template <class T> constexpr inline decltype(auto) exception_ptr(T &&v) { return detail::exception_ptr(std::forward<T>(v)); } |
| 56 | |
| 57 | namespace detail |
| 58 | { |
| 59 | template <bool has_error_payload> struct _rethrow_exception |
| 60 | { |
| 61 | template <class Exception> explicit _rethrow_exception(Exception && /*unused*/) // NOLINT |
| 62 | { |
| 63 | } |
| 64 | }; |
| 65 | template <> struct _rethrow_exception<true> |
| 66 | { |
| 67 | template <class Exception> explicit _rethrow_exception(Exception &&excpt) // NOLINT |
| 68 | { |
| 69 | // ADL |
| 70 | rethrow_exception(policy::exception_ptr(std::forward<Exception>(excpt))); |
| 71 | } |
| 72 | }; |
| 73 | } // namespace detail |
| 74 | } // namespace policy |
| 75 | |
| 76 | namespace trait |
| 77 | { |
| 78 | namespace detail |
| 79 | { |
| 80 | // Shortcut this for lower build impact |
| 81 | template <> struct _is_exception_ptr_available<std::exception_ptr> |
| 82 | { |
| 83 | static constexpr bool value = true; |
| 84 | using type = std::exception_ptr; |
| 85 | }; |
| 86 | } // namespace detail |
| 87 | |
| 88 | // std::exception_ptr is an error type |
| 89 | template <> struct is_error_type<std::exception_ptr> |
| 90 | { |
| 91 | static constexpr bool value = true; |
| 92 | }; |
| 93 | |
| 94 | } // namespace trait |
| 95 | |
| 96 | BOOST_OUTCOME_V2_NAMESPACE_END |
| 97 | |
| 98 | #endif |
| 99 | |