2 // traits/set_error_free.hpp
3 // ~~~~~~~~~~~~~~~~~~~~~~~~~
5 // Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com)
7 // Distributed under the Boost Software License, Version 1.0. (See accompanying
8 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
11 #ifndef BOOST_ASIO_TRAITS_SET_ERROR_FREE_HPP
12 #define BOOST_ASIO_TRAITS_SET_ERROR_FREE_HPP
14 #if defined(_MSC_VER) && (_MSC_VER >= 1200)
16 #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
18 #include <boost/asio/detail/config.hpp>
19 #include <boost/asio/detail/type_traits.hpp>
21 #if defined(BOOST_ASIO_HAS_DECLTYPE) \
22 && defined(BOOST_ASIO_HAS_NOEXCEPT) \
23 && defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)
24 # define BOOST_ASIO_HAS_DEDUCED_SET_ERROR_FREE_TRAIT 1
25 #endif // defined(BOOST_ASIO_HAS_DECLTYPE)
26 // && defined(BOOST_ASIO_HAS_NOEXCEPT)
27 // && defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)
29 #include <boost/asio/detail/push_options.hpp>
35 template <typename T, typename E, typename = void>
36 struct set_error_free_default;
38 template <typename T, typename E, typename = void>
39 struct set_error_free;
44 struct no_set_error_free
46 BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = false);
47 BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
50 #if defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_FREE_TRAIT)
52 template <typename T, typename E, typename = void>
53 struct set_error_free_trait : no_set_error_free
57 template <typename T, typename E>
58 struct set_error_free_trait<T, E,
60 decltype(set_error(declval<T>(), declval<E>()))
63 BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
65 using result_type = decltype(
66 set_error(declval<T>(), declval<E>()));
68 BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = noexcept(
69 set_error(declval<T>(), declval<E>())));
72 #else // defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_FREE_TRAIT)
74 template <typename T, typename E, typename = void>
75 struct set_error_free_trait :
77 is_same<T, typename remove_reference<T>::type>::value
78 && is_same<E, typename decay<E>::type>::value,
80 is_same<T, typename add_const<T>::type>::value,
82 traits::set_error_free<typename add_const<T>::type, E>
84 traits::set_error_free<
85 typename remove_reference<T>::type,
86 typename decay<E>::type>
91 #endif // defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_FREE_TRAIT)
96 template <typename T, typename E, typename>
97 struct set_error_free_default :
98 detail::set_error_free_trait<T, E>
102 template <typename T, typename E, typename>
103 struct set_error_free :
104 set_error_free_default<T, E>
108 } // namespace traits
112 #include <boost/asio/detail/pop_options.hpp>
114 #endif // BOOST_ASIO_TRAITS_SET_ERROR_FREE_HPP