as_single.hpp 4.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178
  1. //
  2. // experimental/impl/as_single.hpp
  3. // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. //
  5. // Copyright (c) 2003-2023 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_IMPL_EXPERIMENTAL_AS_SINGLE_HPP
  11. #define BOOST_ASIO_IMPL_EXPERIMENTAL_AS_SINGLE_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 <tuple>
  17. #include <boost/asio/associator.hpp>
  18. #include <boost/asio/async_result.hpp>
  19. #include <boost/asio/detail/handler_cont_helpers.hpp>
  20. #include <boost/asio/detail/type_traits.hpp>
  21. #include <boost/asio/detail/push_options.hpp>
  22. namespace boost {
  23. namespace asio {
  24. namespace experimental {
  25. namespace detail {
  26. // Class to adapt a as_single_t as a completion handler.
  27. template <typename Handler>
  28. class as_single_handler
  29. {
  30. public:
  31. typedef void result_type;
  32. template <typename CompletionToken>
  33. as_single_handler(as_single_t<CompletionToken> e)
  34. : handler_(static_cast<CompletionToken&&>(e.token_))
  35. {
  36. }
  37. template <typename RedirectedHandler>
  38. as_single_handler(RedirectedHandler&& h)
  39. : handler_(static_cast<RedirectedHandler&&>(h))
  40. {
  41. }
  42. void operator()()
  43. {
  44. static_cast<Handler&&>(handler_)();
  45. }
  46. template <typename Arg>
  47. void operator()(Arg&& arg)
  48. {
  49. static_cast<Handler&&>(handler_)(static_cast<Arg&&>(arg));
  50. }
  51. template <typename... Args>
  52. void operator()(Args&&... args)
  53. {
  54. static_cast<Handler&&>(handler_)(
  55. std::make_tuple(static_cast<Args&&>(args)...));
  56. }
  57. //private:
  58. Handler handler_;
  59. };
  60. template <typename Handler>
  61. inline bool asio_handler_is_continuation(
  62. as_single_handler<Handler>* this_handler)
  63. {
  64. return boost_asio_handler_cont_helpers::is_continuation(
  65. this_handler->handler_);
  66. }
  67. template <typename Signature>
  68. struct as_single_signature
  69. {
  70. typedef Signature type;
  71. };
  72. template <typename R>
  73. struct as_single_signature<R()>
  74. {
  75. typedef R type();
  76. };
  77. template <typename R, typename Arg>
  78. struct as_single_signature<R(Arg)>
  79. {
  80. typedef R type(Arg);
  81. };
  82. template <typename R, typename... Args>
  83. struct as_single_signature<R(Args...)>
  84. {
  85. typedef R type(std::tuple<decay_t<Args>...>);
  86. };
  87. } // namespace detail
  88. } // namespace experimental
  89. #if !defined(GENERATING_DOCUMENTATION)
  90. template <typename CompletionToken, typename Signature>
  91. struct async_result<experimental::as_single_t<CompletionToken>, Signature>
  92. {
  93. template <typename Initiation>
  94. struct init_wrapper
  95. {
  96. init_wrapper(Initiation init)
  97. : initiation_(static_cast<Initiation&&>(init))
  98. {
  99. }
  100. template <typename Handler, typename... Args>
  101. void operator()(Handler&& handler, Args&&... args)
  102. {
  103. static_cast<Initiation&&>(initiation_)(
  104. experimental::detail::as_single_handler<decay_t<Handler>>(
  105. static_cast<Handler&&>(handler)),
  106. static_cast<Args&&>(args)...);
  107. }
  108. Initiation initiation_;
  109. };
  110. template <typename Initiation, typename RawCompletionToken, typename... Args>
  111. static auto initiate(Initiation&& initiation,
  112. RawCompletionToken&& token, Args&&... args)
  113. -> decltype(
  114. async_initiate<CompletionToken,
  115. typename experimental::detail::as_single_signature<Signature>::type>(
  116. init_wrapper<decay_t<Initiation>>(
  117. static_cast<Initiation&&>(initiation)),
  118. token.token_, static_cast<Args&&>(args)...))
  119. {
  120. return async_initiate<CompletionToken,
  121. typename experimental::detail::as_single_signature<Signature>::type>(
  122. init_wrapper<decay_t<Initiation>>(
  123. static_cast<Initiation&&>(initiation)),
  124. token.token_, static_cast<Args&&>(args)...);
  125. }
  126. };
  127. template <template <typename, typename> class Associator,
  128. typename Handler, typename DefaultCandidate>
  129. struct associator<Associator,
  130. experimental::detail::as_single_handler<Handler>, DefaultCandidate>
  131. : Associator<Handler, DefaultCandidate>
  132. {
  133. static typename Associator<Handler, DefaultCandidate>::type get(
  134. const experimental::detail::as_single_handler<Handler>& h) noexcept
  135. {
  136. return Associator<Handler, DefaultCandidate>::get(h.handler_);
  137. }
  138. static auto get(const experimental::detail::as_single_handler<Handler>& h,
  139. const DefaultCandidate& c) noexcept
  140. -> decltype(Associator<Handler, DefaultCandidate>::get(h.handler_, c))
  141. {
  142. return Associator<Handler, DefaultCandidate>::get(h.handler_, c);
  143. }
  144. };
  145. #endif // !defined(GENERATING_DOCUMENTATION)
  146. } // namespace asio
  147. } // namespace boost
  148. #include <boost/asio/detail/pop_options.hpp>
  149. #endif // BOOST_ASIO_IMPL_EXPERIMENTAL_AS_SINGLE_HPP