bulk_sender.hpp 8.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263
  1. //
  2. // execution/detail/bulk_sender.hpp
  3. // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. //
  5. // Copyright (c) 2003-2021 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. #ifndef BOOST_ASIO_EXECUTION_DETAIL_BULK_SENDER_HPP
  11. #define BOOST_ASIO_EXECUTION_DETAIL_BULK_SENDER_HPP
  12. #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  13. # pragma once
  14. #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
  15. #include <boost/asio/detail/config.hpp>
  16. #include <boost/asio/detail/type_traits.hpp>
  17. #include <boost/asio/execution/connect.hpp>
  18. #include <boost/asio/execution/executor.hpp>
  19. #include <boost/asio/execution/set_done.hpp>
  20. #include <boost/asio/execution/set_error.hpp>
  21. #include <boost/asio/traits/connect_member.hpp>
  22. #include <boost/asio/traits/set_done_member.hpp>
  23. #include <boost/asio/traits/set_error_member.hpp>
  24. #include <boost/asio/traits/set_value_member.hpp>
  25. #include <boost/asio/detail/push_options.hpp>
  26. namespace boost {
  27. namespace asio {
  28. namespace execution {
  29. namespace detail {
  30. template <typename Receiver, typename Function, typename Number, typename Index>
  31. struct bulk_receiver
  32. {
  33. typename remove_cvref<Receiver>::type receiver_;
  34. typename decay<Function>::type f_;
  35. typename decay<Number>::type n_;
  36. template <typename R, typename F, typename N>
  37. explicit bulk_receiver(BOOST_ASIO_MOVE_ARG(R) r,
  38. BOOST_ASIO_MOVE_ARG(F) f, BOOST_ASIO_MOVE_ARG(N) n)
  39. : receiver_(BOOST_ASIO_MOVE_CAST(R)(r)),
  40. f_(BOOST_ASIO_MOVE_CAST(F)(f)),
  41. n_(BOOST_ASIO_MOVE_CAST(N)(n))
  42. {
  43. }
  44. void set_value()
  45. {
  46. for (Index i = 0; i < n_; ++i)
  47. f_(i);
  48. execution::set_value(
  49. BOOST_ASIO_MOVE_OR_LVALUE(
  50. typename remove_cvref<Receiver>::type)(receiver_));
  51. }
  52. template <typename Error>
  53. void set_error(BOOST_ASIO_MOVE_ARG(Error) e) BOOST_ASIO_NOEXCEPT
  54. {
  55. execution::set_error(
  56. BOOST_ASIO_MOVE_OR_LVALUE(
  57. typename remove_cvref<Receiver>::type)(receiver_),
  58. BOOST_ASIO_MOVE_CAST(Error)(e));
  59. }
  60. void set_done() BOOST_ASIO_NOEXCEPT
  61. {
  62. execution::set_done(
  63. BOOST_ASIO_MOVE_OR_LVALUE(
  64. typename remove_cvref<Receiver>::type)(receiver_));
  65. }
  66. };
  67. template <typename Sender, typename Receiver,
  68. typename Function, typename Number>
  69. struct bulk_receiver_traits
  70. {
  71. typedef bulk_receiver<
  72. Receiver, Function, Number,
  73. typename execution::executor_index<
  74. typename remove_cvref<Sender>::type
  75. >::type
  76. > type;
  77. #if defined(BOOST_ASIO_HAS_MOVE)
  78. typedef type arg_type;
  79. #else // defined(BOOST_ASIO_HAS_MOVE)
  80. typedef const type& arg_type;
  81. #endif // defined(BOOST_ASIO_HAS_MOVE)
  82. };
  83. template <typename Sender, typename Function, typename Number>
  84. struct bulk_sender : sender_base
  85. {
  86. typename remove_cvref<Sender>::type sender_;
  87. typename decay<Function>::type f_;
  88. typename decay<Number>::type n_;
  89. template <typename S, typename F, typename N>
  90. explicit bulk_sender(BOOST_ASIO_MOVE_ARG(S) s,
  91. BOOST_ASIO_MOVE_ARG(F) f, BOOST_ASIO_MOVE_ARG(N) n)
  92. : sender_(BOOST_ASIO_MOVE_CAST(S)(s)),
  93. f_(BOOST_ASIO_MOVE_CAST(F)(f)),
  94. n_(BOOST_ASIO_MOVE_CAST(N)(n))
  95. {
  96. }
  97. template <typename Receiver>
  98. typename connect_result<
  99. BOOST_ASIO_MOVE_OR_LVALUE_TYPE(typename remove_cvref<Sender>::type),
  100. typename bulk_receiver_traits<
  101. Sender, Receiver, Function, Number
  102. >::arg_type
  103. >::type connect(BOOST_ASIO_MOVE_ARG(Receiver) r,
  104. typename enable_if<
  105. can_connect<
  106. typename remove_cvref<Sender>::type,
  107. typename bulk_receiver_traits<
  108. Sender, Receiver, Function, Number
  109. >::arg_type
  110. >::value
  111. >::type* = 0) BOOST_ASIO_RVALUE_REF_QUAL BOOST_ASIO_NOEXCEPT
  112. {
  113. return execution::connect(
  114. BOOST_ASIO_MOVE_OR_LVALUE(typename remove_cvref<Sender>::type)(sender_),
  115. typename bulk_receiver_traits<Sender, Receiver, Function, Number>::type(
  116. BOOST_ASIO_MOVE_CAST(Receiver)(r),
  117. BOOST_ASIO_MOVE_CAST(typename decay<Function>::type)(f_),
  118. BOOST_ASIO_MOVE_CAST(typename decay<Number>::type)(n_)));
  119. }
  120. template <typename Receiver>
  121. typename connect_result<
  122. const typename remove_cvref<Sender>::type&,
  123. typename bulk_receiver_traits<
  124. Sender, Receiver, Function, Number
  125. >::arg_type
  126. >::type connect(BOOST_ASIO_MOVE_ARG(Receiver) r,
  127. typename enable_if<
  128. can_connect<
  129. const typename remove_cvref<Sender>::type&,
  130. typename bulk_receiver_traits<
  131. Sender, Receiver, Function, Number
  132. >::arg_type
  133. >::value
  134. >::type* = 0) const BOOST_ASIO_LVALUE_REF_QUAL BOOST_ASIO_NOEXCEPT
  135. {
  136. return execution::connect(sender_,
  137. typename bulk_receiver_traits<Sender, Receiver, Function, Number>::type(
  138. BOOST_ASIO_MOVE_CAST(Receiver)(r), f_, n_));
  139. }
  140. };
  141. } // namespace detail
  142. } // namespace execution
  143. namespace traits {
  144. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  145. template <typename Receiver, typename Function, typename Number, typename Index>
  146. struct set_value_member<
  147. execution::detail::bulk_receiver<Receiver, Function, Number, Index>,
  148. void()>
  149. {
  150. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  151. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
  152. typedef void result_type;
  153. };
  154. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  155. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  156. template <typename Receiver, typename Function,
  157. typename Number, typename Index, typename Error>
  158. struct set_error_member<
  159. execution::detail::bulk_receiver<Receiver, Function, Number, Index>,
  160. Error>
  161. {
  162. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  163. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  164. typedef void result_type;
  165. };
  166. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  167. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  168. template <typename Receiver, typename Function, typename Number, typename Index>
  169. struct set_done_member<
  170. execution::detail::bulk_receiver<Receiver, Function, Number, Index> >
  171. {
  172. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  173. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  174. typedef void result_type;
  175. };
  176. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  177. #if !defined(BOOST_ASIO_HAS_DEDUCED_CONNECT_MEMBER_TRAIT)
  178. template <typename Sender, typename Function,
  179. typename Number, typename Receiver>
  180. struct connect_member<
  181. execution::detail::bulk_sender<Sender, Function, Number>,
  182. Receiver,
  183. typename enable_if<
  184. execution::can_connect<
  185. BOOST_ASIO_MOVE_OR_LVALUE_TYPE(typename remove_cvref<Sender>::type),
  186. typename execution::detail::bulk_receiver_traits<
  187. Sender, Receiver, Function, Number
  188. >::arg_type
  189. >::value
  190. >::type>
  191. {
  192. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  193. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
  194. typedef typename execution::connect_result<
  195. BOOST_ASIO_MOVE_OR_LVALUE_TYPE(typename remove_cvref<Sender>::type),
  196. typename execution::detail::bulk_receiver_traits<
  197. Sender, Receiver, Function, Number
  198. >::arg_type
  199. >::type result_type;
  200. };
  201. template <typename Sender, typename Function,
  202. typename Number, typename Receiver>
  203. struct connect_member<
  204. const execution::detail::bulk_sender<Sender, Function, Number>,
  205. Receiver,
  206. typename enable_if<
  207. execution::can_connect<
  208. const typename remove_cvref<Sender>::type&,
  209. typename execution::detail::bulk_receiver_traits<
  210. Sender, Receiver, Function, Number
  211. >::arg_type
  212. >::value
  213. >::type>
  214. {
  215. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  216. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
  217. typedef typename execution::connect_result<
  218. const typename remove_cvref<Sender>::type&,
  219. typename execution::detail::bulk_receiver_traits<
  220. Sender, Receiver, Function, Number
  221. >::arg_type
  222. >::type result_type;
  223. };
  224. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_CONNECT_MEMBER_TRAIT)
  225. } // namespace traits
  226. } // namespace asio
  227. } // namespace boost
  228. #include <boost/asio/detail/pop_options.hpp>
  229. #endif // BOOST_ASIO_EXECUTION_DETAIL_BULK_SENDER_HPP