1 /* 2 @file add_noexcept 3 4 @Copyright Barrett Adair 2015-2017 5 Distributed under the Boost Software License, Version 1.0. 6 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt) 7 8 */ 9 10 #ifndef BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP 11 #define BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP 12 13 #include <boost/callable_traits/detail/core.hpp> 14 15 namespace boost { namespace callable_traits { 16 17 BOOST_CLBL_TRTS_DEFINE_SFINAE_ERROR_ORIGIN(add_noexcept) 18 BOOST_CLBL_TRTS_SFINAE_MSG(add_noexcept, cannot_add_noexcept_to_this_type) 19 20 #ifndef BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES 21 template<typename T> 22 struct add_noexcept_t { 23 static_assert(std::is_same<T, detail::dummy>::value, 24 "noexcept types not supported by this configuration."); 25 }; 26 27 template<typename T> 28 struct add_noexcept { 29 static_assert(std::is_same<T, detail::dummy>::value, 30 "noexcept types not supported by this configuration."); 31 }; 32 33 #else 34 35 //[ add_noexcept_hpp 36 /*` 37 [section:ref_add_noexcept add_noexcept] 38 [heading Header] 39 ``#include <boost/callable_traits/add_noexcept.hpp>`` 40 [heading Definition] 41 */ 42 43 template<typename T> 44 using add_noexcept_t = //see below 45 //<- 46 detail::try_but_fail_if_invalid< 47 typename detail::traits<T>::add_noexcept, 48 cannot_add_noexcept_to_this_type>; 49 50 namespace detail { 51 52 template<typename T, typename = std::false_type> 53 struct add_noexcept_impl {}; 54 55 template<typename T> 56 struct add_noexcept_impl <T, typename std::is_same< 57 add_noexcept_t<T>, detail::dummy>::type> 58 { 59 using type = add_noexcept_t<T>; 60 }; 61 } 62 //-> 63 64 template<typename T> 65 struct add_noexcept : detail::add_noexcept_impl<T> {}; 66 67 //<- 68 #endif // #ifdef BOOST_CLBL_TRTS_ENABLE_NOEXCEPT_TYPES 69 }} // namespace boost::callable_traits 70 //-> 71 72 /*` 73 [heading Constraints] 74 * `T` must be one of the following: 75 * function type 76 * function pointer type 77 * function reference type 78 * member function pointer type 79 * If `T` is a pointer, it may not be cv/ref qualified 80 81 [heading Behavior] 82 * A substitution failure occurs if the constraints are violated. 83 * Adds a `noexcept` specifier to `T`, if not already present. 84 85 [heading Input/Output Examples] 86 [table 87 [[`T`] [`add_noexcept_t<T>`]] 88 [[`int()`] [`int() noexcept`]] 89 [[`int (&)()`] [`int(&)() noexcept`]] 90 [[`int (*)()`] [`int(*)() noexcept`]] 91 [[`int(foo::*)()`] [`int(foo::*)() noexcept`]] 92 [[`int(foo::*)() &`] [`int(foo::*)() & noexcept`]] 93 [[`int(foo::*)() &&`] [`int(foo::*)() && noexcept`]] 94 [[`int(foo::*)() const transaction_safe`] [`int(foo::*)() const transaction_safe noexcept`]] 95 [[`int(foo::*)() noexcept`] [`int(foo::*)() noexcept`]] 96 [[`int`] [(substitution failure)]] 97 [[`int foo::*`] [(substitution failure)]] 98 [[`int (*&)()`] [(substitution failure)]] 99 ] 100 101 [heading Example Program] 102 [import ../example/add_noexcept.cpp] 103 [add_noexcept] 104 [endsect] 105 */ 106 //] 107 108 #endif // #ifndef BOOST_CLBL_TRTS_ADD_NOEXCEPT_HPP 109