submit_receiver.hpp 6.7 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234
  1. //
  2. // execution/detail/submit_receiver.hpp
  3. // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. //
  5. // Copyright (c) 2003-2022 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 ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_HPP
  11. #define ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_HPP
  12. #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  13. # pragma once
  14. #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
  15. #include "asio/detail/config.hpp"
  16. #include "asio/detail/type_traits.hpp"
  17. #include "asio/detail/variadic_templates.hpp"
  18. #include "asio/execution/connect.hpp"
  19. #include "asio/execution/receiver.hpp"
  20. #include "asio/execution/set_done.hpp"
  21. #include "asio/execution/set_error.hpp"
  22. #include "asio/execution/set_value.hpp"
  23. #include "asio/traits/set_done_member.hpp"
  24. #include "asio/traits/set_error_member.hpp"
  25. #include "asio/traits/set_value_member.hpp"
  26. #include "asio/detail/push_options.hpp"
  27. namespace asio {
  28. namespace execution {
  29. namespace detail {
  30. template <typename Sender, typename Receiver>
  31. struct submit_receiver;
  32. template <typename Sender, typename Receiver>
  33. struct submit_receiver_wrapper
  34. {
  35. submit_receiver<Sender, Receiver>* p_;
  36. explicit submit_receiver_wrapper(submit_receiver<Sender, Receiver>* p)
  37. : p_(p)
  38. {
  39. }
  40. #if defined(ASIO_HAS_VARIADIC_TEMPLATES)
  41. template <typename... Args>
  42. typename enable_if<is_receiver_of<Receiver, Args...>::value>::type
  43. set_value(ASIO_MOVE_ARG(Args)... args) ASIO_RVALUE_REF_QUAL
  44. ASIO_NOEXCEPT_IF((is_nothrow_receiver_of<Receiver, Args...>::value))
  45. {
  46. execution::set_value(
  47. ASIO_MOVE_OR_LVALUE(
  48. typename remove_cvref<Receiver>::type)(p_->r_),
  49. ASIO_MOVE_CAST(Args)(args)...);
  50. delete p_;
  51. }
  52. #else // defined(ASIO_HAS_VARIADIC_TEMPLATES)
  53. void set_value() ASIO_RVALUE_REF_QUAL
  54. ASIO_NOEXCEPT_IF((is_nothrow_receiver_of<Receiver>::value))
  55. {
  56. execution::set_value(
  57. ASIO_MOVE_OR_LVALUE(
  58. typename remove_cvref<Receiver>::type)(p_->r_));
  59. delete p_;
  60. }
  61. #define ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF(n) \
  62. template <ASIO_VARIADIC_TPARAMS(n)> \
  63. typename enable_if<is_receiver_of<Receiver, \
  64. ASIO_VARIADIC_TARGS(n)>::value>::type \
  65. set_value(ASIO_VARIADIC_MOVE_PARAMS(n)) ASIO_RVALUE_REF_QUAL \
  66. ASIO_NOEXCEPT_IF((is_nothrow_receiver_of< \
  67. Receiver, ASIO_VARIADIC_TARGS(n)>::value)) \
  68. { \
  69. execution::set_value( \
  70. ASIO_MOVE_OR_LVALUE( \
  71. typename remove_cvref<Receiver>::type)(p_->r_), \
  72. ASIO_VARIADIC_MOVE_ARGS(n)); \
  73. delete p_; \
  74. } \
  75. /**/
  76. ASIO_VARIADIC_GENERATE(ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF)
  77. #undef ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF
  78. #endif // defined(ASIO_HAS_VARIADIC_TEMPLATES)
  79. template <typename E>
  80. void set_error(ASIO_MOVE_ARG(E) e)
  81. ASIO_RVALUE_REF_QUAL ASIO_NOEXCEPT
  82. {
  83. execution::set_error(
  84. ASIO_MOVE_OR_LVALUE(
  85. typename remove_cvref<Receiver>::type)(p_->r_),
  86. ASIO_MOVE_CAST(E)(e));
  87. delete p_;
  88. }
  89. void set_done() ASIO_RVALUE_REF_QUAL ASIO_NOEXCEPT
  90. {
  91. execution::set_done(
  92. ASIO_MOVE_OR_LVALUE(
  93. typename remove_cvref<Receiver>::type)(p_->r_));
  94. delete p_;
  95. }
  96. };
  97. template <typename Sender, typename Receiver>
  98. struct submit_receiver
  99. {
  100. typename remove_cvref<Receiver>::type r_;
  101. #if defined(ASIO_HAS_MOVE)
  102. typename connect_result<Sender,
  103. submit_receiver_wrapper<Sender, Receiver> >::type state_;
  104. #else // defined(ASIO_HAS_MOVE)
  105. typename connect_result<Sender,
  106. const submit_receiver_wrapper<Sender, Receiver>& >::type state_;
  107. #endif // defined(ASIO_HAS_MOVE)
  108. #if defined(ASIO_HAS_MOVE)
  109. template <typename S, typename R>
  110. explicit submit_receiver(ASIO_MOVE_ARG(S) s, ASIO_MOVE_ARG(R) r)
  111. : r_(ASIO_MOVE_CAST(R)(r)),
  112. state_(execution::connect(ASIO_MOVE_CAST(S)(s),
  113. submit_receiver_wrapper<Sender, Receiver>(this)))
  114. {
  115. }
  116. #else // defined(ASIO_HAS_MOVE)
  117. explicit submit_receiver(Sender s, Receiver r)
  118. : r_(r),
  119. state_(execution::connect(s,
  120. submit_receiver_wrapper<Sender, Receiver>(this)))
  121. {
  122. }
  123. #endif // defined(ASIO_HAS_MOVE)
  124. };
  125. } // namespace detail
  126. } // namespace execution
  127. namespace traits {
  128. #if !defined(ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  129. #if defined(ASIO_HAS_VARIADIC_TEMPLATES)
  130. template <typename Sender, typename Receiver, typename... Args>
  131. struct set_value_member<
  132. asio::execution::detail::submit_receiver_wrapper<
  133. Sender, Receiver>,
  134. void(Args...)>
  135. {
  136. ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  137. ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
  138. (asio::execution::is_nothrow_receiver_of<Receiver, Args...>::value));
  139. typedef void result_type;
  140. };
  141. #else // defined(ASIO_HAS_VARIADIC_TEMPLATES)
  142. template <typename Sender, typename Receiver>
  143. struct set_value_member<
  144. asio::execution::detail::submit_receiver_wrapper<
  145. Sender, Receiver>,
  146. void()>
  147. {
  148. ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  149. ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
  150. asio::execution::is_nothrow_receiver_of<Receiver>::value);
  151. typedef void result_type;
  152. };
  153. #define ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF(n) \
  154. template <typename Sender, typename Receiver, \
  155. ASIO_VARIADIC_TPARAMS(n)> \
  156. struct set_value_member< \
  157. asio::execution::detail::submit_receiver_wrapper< \
  158. Sender, Receiver>, \
  159. void(ASIO_VARIADIC_TARGS(n))> \
  160. { \
  161. ASIO_STATIC_CONSTEXPR(bool, is_valid = true); \
  162. ASIO_STATIC_CONSTEXPR(bool, is_noexcept = \
  163. (asio::execution::is_nothrow_receiver_of<Receiver, \
  164. ASIO_VARIADIC_TARGS(n)>::value)); \
  165. typedef void result_type; \
  166. }; \
  167. /**/
  168. ASIO_VARIADIC_GENERATE(ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF)
  169. #undef ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF
  170. #endif // defined(ASIO_HAS_VARIADIC_TEMPLATES)
  171. #endif // !defined(ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  172. #if !defined(ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  173. template <typename Sender, typename Receiver, typename E>
  174. struct set_error_member<
  175. asio::execution::detail::submit_receiver_wrapper<
  176. Sender, Receiver>, E>
  177. {
  178. ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  179. ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  180. typedef void result_type;
  181. };
  182. #endif // !defined(ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  183. #if !defined(ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  184. template <typename Sender, typename Receiver>
  185. struct set_done_member<
  186. asio::execution::detail::submit_receiver_wrapper<
  187. Sender, Receiver> >
  188. {
  189. ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  190. ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  191. typedef void result_type;
  192. };
  193. #endif // !defined(ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  194. } // namespace traits
  195. } // namespace asio
  196. #include "asio/detail/pop_options.hpp"
  197. #endif // ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_HPP