]>
Commit | Line | Data |
---|---|---|
20effc67 TL |
1 | // |
2 | // traits/require_concept_free.hpp | |
3 | // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | |
4 | // | |
5 | // Copyright (c) 2003-2020 Christopher M. Kohlhoff (chris at kohlhoff dot com) | |
6 | // | |
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) | |
9 | // | |
10 | ||
11 | #ifndef BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP | |
12 | #define BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP | |
13 | ||
14 | #if defined(_MSC_VER) && (_MSC_VER >= 1200) | |
15 | # pragma once | |
16 | #endif // defined(_MSC_VER) && (_MSC_VER >= 1200) | |
17 | ||
18 | #include <boost/asio/detail/config.hpp> | |
19 | #include <boost/asio/detail/type_traits.hpp> | |
20 | ||
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_REQUIRE_CONCEPT_FREE_TRAIT 1 | |
25 | #endif // defined(BOOST_ASIO_HAS_DECLTYPE) | |
26 | // && defined(BOOST_ASIO_HAS_NOEXCEPT) | |
27 | // && defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE) | |
28 | ||
29 | #include <boost/asio/detail/push_options.hpp> | |
30 | ||
31 | namespace boost { | |
32 | namespace asio { | |
33 | namespace traits { | |
34 | ||
35 | template <typename T, typename Property, typename = void> | |
36 | struct require_concept_free_default; | |
37 | ||
38 | template <typename T, typename Property, typename = void> | |
39 | struct require_concept_free; | |
40 | ||
41 | } // namespace traits | |
42 | namespace detail { | |
43 | ||
44 | struct no_require_concept_free | |
45 | { | |
46 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = false); | |
47 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false); | |
48 | }; | |
49 | ||
50 | #if defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT) | |
51 | ||
52 | template <typename T, typename Property, typename = void> | |
53 | struct require_concept_free_trait : no_require_concept_free | |
54 | { | |
55 | }; | |
56 | ||
57 | template <typename T, typename Property> | |
58 | struct require_concept_free_trait<T, Property, | |
59 | typename void_type< | |
60 | decltype(require_concept(declval<T>(), declval<Property>())) | |
61 | >::type> | |
62 | { | |
63 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); | |
64 | ||
65 | using result_type = decltype( | |
66 | require_concept(declval<T>(), declval<Property>())); | |
67 | ||
68 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = noexcept( | |
69 | require_concept(declval<T>(), declval<Property>()))); | |
70 | }; | |
71 | ||
72 | #else // defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT) | |
73 | ||
74 | template <typename T, typename Property, typename = void> | |
75 | struct require_concept_free_trait : | |
76 | conditional< | |
77 | is_same<T, typename decay<T>::type>::value | |
78 | && is_same<Property, typename decay<Property>::type>::value, | |
79 | no_require_concept_free, | |
80 | traits::require_concept_free< | |
81 | typename decay<T>::type, | |
82 | typename decay<Property>::type> | |
83 | >::type | |
84 | { | |
85 | }; | |
86 | ||
87 | #endif // defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT) | |
88 | ||
89 | } // namespace detail | |
90 | namespace traits { | |
91 | ||
92 | template <typename T, typename Property, typename> | |
93 | struct require_concept_free_default : | |
94 | detail::require_concept_free_trait<T, Property> | |
95 | { | |
96 | }; | |
97 | ||
98 | template <typename T, typename Property, typename> | |
99 | struct require_concept_free : | |
100 | require_concept_free_default<T, Property> | |
101 | { | |
102 | }; | |
103 | ||
104 | } // namespace traits | |
105 | } // namespace asio | |
106 | } // namespace boost | |
107 | ||
108 | #include <boost/asio/detail/pop_options.hpp> | |
109 | ||
110 | #endif // BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP |