forwarder.hpp 9.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233
  1. #pragma once
  2. //
  3. // Copyright (c) 2019-2022 Ivan Baidakou (basiliscos) (the dot dmol at gmail dot com)
  4. //
  5. // Distributed under the MIT Software License
  6. //
  7. #include "rotor/actor_base.h"
  8. #include "rotor/asio/supervisor_asio.h"
  9. #include <boost/asio.hpp>
  10. #include <tuple>
  11. namespace rotor::asio {
  12. namespace {
  13. namespace to {
  14. struct supervisor {};
  15. } // namespace to
  16. } // namespace
  17. } // namespace rotor::asio
  18. namespace rotor {
  19. /** \brief access to supervisor */
  20. template <> inline auto &actor_base_t::access<asio::to::supervisor>() noexcept { return supervisor; }
  21. namespace asio {
  22. namespace asio = boost::asio;
  23. namespace details {
  24. namespace count {
  25. using _0 = std::integral_constant<size_t, 0>;
  26. using _1 = std::integral_constant<size_t, 1>;
  27. } // namespace count
  28. /** \brief asio callback decomposer into 1 possible argument type and total arguments count (0 or 1) */
  29. template <typename T> struct callback_traits {};
  30. /** \brief callback decomposer specialization for reference argument */
  31. template <typename Class, typename M> struct callback_traits<void (Class::*)(M &) noexcept> {
  32. /** \brief number of arguments for asio callback (1) */
  33. using args_count = count::_1;
  34. /** \brief argument type is a reference */
  35. using arg_type = M &;
  36. };
  37. /** \brief callback decomposer specialization for value argument */
  38. template <typename Class, typename M> struct callback_traits<void (Class::*)(M) noexcept> {
  39. /** \brief number of arguments for asio callback (1) */
  40. using args_count = count::_1;
  41. /** \brief argument type is a value */
  42. using arg_type = M;
  43. };
  44. /** \brief callback decomposer specialization for no-argument callback */
  45. template <typename Class> struct callback_traits<void (Class::*)() noexcept> {
  46. /** \brief number of arguments for asio callback (0) */
  47. using args_count = count::_0;
  48. /** \brief argument type is missing (void) */
  49. using arg_type = void;
  50. };
  51. } // namespace details
  52. /** \brief return `strand` of the boost::asio aware actor */
  53. template <typename Actor> inline boost::asio::io_context::strand &get_strand(Actor &actor);
  54. /** \brief templated forwarder base class */
  55. template <typename Actor, typename Handler, typename ErrHandler> struct forwarder_base_t;
  56. /** \brief partial specialization of forwarder base when there is no error handler */
  57. template <typename Actor, typename Handler> struct forwarder_base_t<Actor, Handler, void> {
  58. /** \brief alias for intrusive pointer for an actor type */
  59. using typed_actor_ptr_t = intrusive_ptr_t<Actor>;
  60. /** \brief alias for boost::asio supervisor */
  61. using typed_sup_t = supervisor_asio_t;
  62. /** \brief constructs forwarder_base for the actor from it handler function */
  63. forwarder_base_t(Actor &actor_, Handler &&handler_) : typed_actor{&actor_}, handler{std::move(handler_)} {}
  64. /** intrusive pointer to the actor */
  65. typed_actor_ptr_t typed_actor;
  66. /** pointer-to-member function of the actor to handle positive case result */
  67. Handler handler;
  68. };
  69. /** \brief forwarder base implementation with result and error handlers */
  70. template <typename Actor, typename Handler, typename ErrHandler>
  71. struct forwarder_base_t : forwarder_base_t<Actor, Handler, void> {
  72. /** \brief alias for base class */
  73. using base_t = forwarder_base_t<Actor, Handler, void>;
  74. /** \brief constructs forwarder_base for the actor from it's member functions: positive
  75. * result handler and error handler functions.
  76. */
  77. forwarder_base_t(Actor &actor_, Handler &&handler_, ErrHandler &&err_handler_)
  78. : base_t{actor_, std::move(handler_)}, err_handler{std::move(err_handler_)} {}
  79. /** pointer-to-member function of the actor to handle negative case result, i.e. `error_code` */
  80. ErrHandler err_handler;
  81. };
  82. template <typename Actor, typename Handler, typename ArgsCount, typename ErrHandler> struct forwarder_t {};
  83. /**
  84. * \brief dispatches single boost::asio callback with `error_code` and non-error results
  85. * into two different functions of the `actor`. After the invocation, actor's supervisor
  86. * `do_process` method is called to process message queue.
  87. *
  88. * The invocation is `strand`-aware.
  89. *
  90. */
  91. template <typename Actor, typename Handler, typename ErrHandler>
  92. struct forwarder_t<Actor, Handler, details::count::_0, ErrHandler> : forwarder_base_t<Actor, Handler, ErrHandler> {
  93. /** \brief alias for base class */
  94. using base_t = forwarder_base_t<Actor, Handler, ErrHandler>;
  95. using base_t::base_t;
  96. /** \brief mimics boost::asio handler, which will be forwarded/decomposed into
  97. * two different methods of the actor
  98. */
  99. template <typename T = void> inline void operator()(const boost::system::error_code &ec) noexcept {
  100. auto &typed_actor = base_t::typed_actor;
  101. auto &sup = static_cast<supervisor_asio_t &>(typed_actor->get_supervisor());
  102. auto &strand = get_strand(sup);
  103. if (ec) {
  104. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::err_handler), ec]() {
  105. ((*actor).*handler)(ec);
  106. actor->get_supervisor().do_process();
  107. });
  108. } else {
  109. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::handler)]() {
  110. ((*actor).*handler)();
  111. actor->get_supervisor().do_process();
  112. });
  113. }
  114. }
  115. };
  116. /** \brief forwarder specialization for 1-argument asio-callback */
  117. template <typename Actor, typename Handler, typename ErrHandler>
  118. struct forwarder_t<Actor, Handler, details::count::_1, ErrHandler> : forwarder_base_t<Actor, Handler, ErrHandler> {
  119. /** \brief alias for base class */
  120. using base_t = forwarder_base_t<Actor, Handler, ErrHandler>;
  121. using base_t::base_t;
  122. /** \brief mimics boost::asio handler, which will be forwarded/decomposed into
  123. * two different methods of the actor
  124. */
  125. template <typename T> inline void operator()(const boost::system::error_code &ec, T arg) noexcept {
  126. auto &typed_actor = base_t::typed_actor;
  127. auto &sup = static_cast<supervisor_asio_t &>(typed_actor->get_supervisor());
  128. auto &strand = get_strand(sup);
  129. if (ec) {
  130. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::err_handler), ec = ec]() {
  131. ((*actor).*handler)(ec);
  132. actor->get_supervisor().do_process();
  133. });
  134. } else {
  135. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::handler),
  136. arg = std::move(arg)]() mutable {
  137. ((*actor).*handler)(std::move(arg));
  138. actor->get_supervisor().do_process();
  139. });
  140. }
  141. }
  142. };
  143. /** \brief forwarder specialization for 1-argument asio-callback without error handler */
  144. template <typename Actor, typename Handler>
  145. struct forwarder_t<Actor, Handler, details::count::_0, void> : forwarder_base_t<Actor, Handler, void> {
  146. /** \brief alias for base class */
  147. using base_t = forwarder_base_t<Actor, Handler, void>;
  148. using base_t::base_t;
  149. /** \brief mimics boost::asio handler, which will be forwarded/decomposed into
  150. * two different methods of the actor
  151. */
  152. template <typename T = void> inline void operator()() noexcept {
  153. auto &typed_actor = base_t::typed_actor;
  154. auto &sup = static_cast<supervisor_asio_t &>(typed_actor->get_supervisor());
  155. auto &strand = get_strand(sup);
  156. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::handler)]() {
  157. ((*actor).*handler)();
  158. actor->get_supervisor().do_process();
  159. });
  160. }
  161. };
  162. /** \brief forwarder specialization, when error case is not possible */
  163. template <typename Actor, typename Handler>
  164. struct forwarder_t<Actor, Handler, details::count::_1, void> : forwarder_base_t<Actor, Handler, void> {
  165. /** \brief alias for base class */
  166. using base_t = forwarder_base_t<Actor, Handler, void>;
  167. using base_t::base_t;
  168. /** \brief mimics boost::asio handler, which will be forwarded to the appropriate
  169. * actor's member method.
  170. */
  171. template <typename T> inline void operator()(T arg) noexcept {
  172. auto &typed_actor = base_t::typed_actor;
  173. auto &sup = static_cast<supervisor_asio_t &>(typed_actor->get_supervisor());
  174. auto &strand = get_strand(sup);
  175. asio::defer(strand, [actor = base_t::typed_actor, handler = std::move(base_t::handler),
  176. arg = std::move(arg)]() mutable {
  177. ((*actor).*handler)(std::move(arg));
  178. actor->get_supervisor().do_process();
  179. });
  180. }
  181. };
  182. /** construtor deduction guide for forwarder (without error handler) */
  183. template <typename Actor, typename Handler>
  184. forwarder_t(Actor &, Handler &&)
  185. -> forwarder_t<Actor, Handler, typename details::callback_traits<Handler>::args_count, void>;
  186. /** construtor deduction guide for forwarder (with error handler) */
  187. template <typename Actor, typename Handler, typename ErrHandler>
  188. forwarder_t(Actor &, Handler &&, ErrHandler &&)
  189. -> forwarder_t<Actor, Handler, typename details::callback_traits<Handler>::args_count, ErrHandler>;
  190. } // namespace asio
  191. } // namespace rotor