]>
Commit | Line | Data |
---|---|---|
20effc67 TL |
1 | // |
2 | // executor.cpp | |
3 | // ~~~~~~~~~~~~ | |
4 | // | |
1e59de90 | 5 | // Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com) |
20effc67 TL |
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 | // Disable autolinking for unit tests. | |
12 | #if !defined(BOOST_ALL_NO_LIB) | |
13 | #define BOOST_ALL_NO_LIB 1 | |
14 | #endif // !defined(BOOST_ALL_NO_LIB) | |
15 | ||
16 | // Test that header file is self-contained. | |
17 | #include <boost/asio/execution/executor.hpp> | |
18 | ||
19 | #include "../unit_test.hpp" | |
20 | ||
21 | struct not_an_executor | |
22 | { | |
23 | }; | |
24 | ||
25 | struct executor | |
26 | { | |
27 | executor() | |
28 | { | |
29 | } | |
30 | ||
31 | executor(const executor&) BOOST_ASIO_NOEXCEPT | |
32 | { | |
33 | } | |
34 | ||
35 | #if defined(BOOST_ASIO_HAS_MOVE) | |
36 | executor(executor&&) BOOST_ASIO_NOEXCEPT | |
37 | { | |
38 | } | |
39 | #endif // defined(BOOST_ASIO_HAS_MOVE) | |
40 | ||
41 | template <typename F> | |
42 | void execute(BOOST_ASIO_MOVE_ARG(F) f) const BOOST_ASIO_NOEXCEPT | |
43 | { | |
44 | (void)f; | |
45 | } | |
46 | ||
47 | bool operator==(const executor&) const BOOST_ASIO_NOEXCEPT | |
48 | { | |
49 | return true; | |
50 | } | |
51 | ||
52 | bool operator!=(const executor&) const BOOST_ASIO_NOEXCEPT | |
53 | { | |
54 | return false; | |
55 | } | |
56 | }; | |
57 | ||
58 | namespace boost { | |
59 | namespace asio { | |
60 | namespace traits { | |
61 | ||
62 | #if !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) | |
63 | ||
64 | template <typename F> | |
65 | struct execute_member<executor, F> | |
66 | { | |
67 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); | |
68 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true); | |
69 | typedef void result_type; | |
70 | }; | |
71 | ||
72 | #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT) | |
73 | #if !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT) | |
74 | ||
75 | template <> | |
76 | struct equality_comparable<executor> | |
77 | { | |
78 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); | |
79 | BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true); | |
80 | }; | |
81 | ||
82 | #endif // !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT) | |
83 | ||
84 | } // namespace traits | |
85 | } // namespace asio | |
86 | } // namespace boost | |
87 | ||
88 | void is_executor_test() | |
89 | { | |
90 | BOOST_ASIO_CHECK(( | |
91 | !boost::asio::execution::is_executor< | |
92 | void | |
93 | >::value)); | |
94 | ||
95 | BOOST_ASIO_CHECK(( | |
96 | !boost::asio::execution::is_executor< | |
97 | not_an_executor | |
98 | >::value)); | |
99 | ||
100 | BOOST_ASIO_CHECK(( | |
101 | boost::asio::execution::is_executor< | |
102 | executor | |
103 | >::value)); | |
104 | } | |
105 | ||
106 | void is_executor_of_test() | |
107 | { | |
108 | BOOST_ASIO_CHECK(( | |
109 | !boost::asio::execution::is_executor_of< | |
110 | void, | |
111 | void(*)() | |
112 | >::value)); | |
113 | ||
114 | BOOST_ASIO_CHECK(( | |
115 | !boost::asio::execution::is_executor_of< | |
116 | not_an_executor, | |
117 | void(*)() | |
118 | >::value)); | |
119 | ||
120 | BOOST_ASIO_CHECK(( | |
121 | boost::asio::execution::is_executor_of< | |
122 | executor, | |
123 | void(*)() | |
124 | >::value)); | |
125 | } | |
126 | ||
127 | struct executor_with_other_shape_type | |
128 | { | |
129 | typedef double shape_type; | |
130 | }; | |
131 | ||
132 | void executor_shape_test() | |
133 | { | |
134 | BOOST_ASIO_CHECK(( | |
135 | boost::asio::is_same< | |
136 | boost::asio::execution::executor_shape<executor>::type, | |
137 | std::size_t | |
138 | >::value)); | |
139 | ||
140 | BOOST_ASIO_CHECK(( | |
141 | boost::asio::is_same< | |
142 | boost::asio::execution::executor_shape< | |
143 | executor_with_other_shape_type | |
144 | >::type, | |
145 | double | |
146 | >::value)); | |
147 | } | |
148 | ||
149 | struct executor_with_other_index_type | |
150 | { | |
151 | typedef unsigned char index_type; | |
152 | }; | |
153 | ||
154 | void executor_index_test() | |
155 | { | |
156 | BOOST_ASIO_CHECK(( | |
157 | boost::asio::is_same< | |
158 | boost::asio::execution::executor_index<executor>::type, | |
159 | std::size_t | |
160 | >::value)); | |
161 | ||
162 | BOOST_ASIO_CHECK(( | |
163 | boost::asio::is_same< | |
164 | boost::asio::execution::executor_index< | |
165 | executor_with_other_shape_type | |
166 | >::type, | |
167 | double | |
168 | >::value)); | |
169 | ||
170 | BOOST_ASIO_CHECK(( | |
171 | boost::asio::is_same< | |
172 | boost::asio::execution::executor_index< | |
173 | executor_with_other_index_type | |
174 | >::type, | |
175 | unsigned char | |
176 | >::value)); | |
177 | } | |
178 | ||
179 | BOOST_ASIO_TEST_SUITE | |
180 | ( | |
181 | "executor", | |
182 | BOOST_ASIO_TEST_CASE(is_executor_test) | |
183 | BOOST_ASIO_TEST_CASE(is_executor_of_test) | |
184 | BOOST_ASIO_TEST_CASE(executor_shape_test) | |
185 | BOOST_ASIO_TEST_CASE(executor_index_test) | |
186 | ) |