append.hpp 5.1 KB

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