| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218 |
- //
- // experimental/impl/prepend.hpp
- // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- //
- // Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com)
- //
- // Distributed under the Boost Software License, Version 1.0. (See accompanying
- // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- //
- #ifndef ASIO_IMPL_EXPERIMENTAL_PREPEND_HPP
- #define ASIO_IMPL_EXPERIMENTAL_PREPEND_HPP
- #if defined(_MSC_VER) && (_MSC_VER >= 1200)
- # pragma once
- #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
- #include "asio/detail/config.hpp"
- #include "asio/associator.hpp"
- #include "asio/async_result.hpp"
- #include "asio/detail/handler_alloc_helpers.hpp"
- #include "asio/detail/handler_cont_helpers.hpp"
- #include "asio/detail/handler_invoke_helpers.hpp"
- #include "asio/detail/type_traits.hpp"
- #include "asio/detail/variadic_templates.hpp"
- #include "asio/detail/push_options.hpp"
- namespace asio {
- namespace experimental {
- namespace detail {
- // Class to adapt a prepend_t as a completion handler.
- template <typename Handler, typename... Values>
- class prepend_handler
- {
- public:
- typedef void result_type;
- template <typename H>
- prepend_handler(ASIO_MOVE_ARG(H) handler, std::tuple<Values...> values)
- : handler_(ASIO_MOVE_CAST(H)(handler)),
- values_(ASIO_MOVE_CAST(std::tuple<Values...>)(values))
- {
- }
- template <typename... Args>
- void operator()(ASIO_MOVE_ARG(Args)... args)
- {
- this->invoke(
- std::make_index_sequence<sizeof...(Values)>{},
- ASIO_MOVE_CAST(Args)(args)...);
- }
- template <std::size_t... I, typename... Args>
- void invoke(std::index_sequence<I...>, ASIO_MOVE_ARG(Args)... args)
- {
- ASIO_MOVE_OR_LVALUE(Handler)(handler_)(
- ASIO_MOVE_CAST(Values)(std::get<I>(values_))...,
- ASIO_MOVE_CAST(Args)(args)...);
- }
- //private:
- Handler handler_;
- std::tuple<Values...> values_;
- };
- template <typename Handler>
- inline asio_handler_allocate_is_deprecated
- asio_handler_allocate(std::size_t size,
- prepend_handler<Handler>* this_handler)
- {
- #if defined(ASIO_NO_DEPRECATED)
- asio_handler_alloc_helpers::allocate(size, this_handler->handler_);
- return asio_handler_allocate_is_no_longer_used();
- #else // defined(ASIO_NO_DEPRECATED)
- return asio_handler_alloc_helpers::allocate(
- size, this_handler->handler_);
- #endif // defined(ASIO_NO_DEPRECATED)
- }
- template <typename Handler>
- inline asio_handler_deallocate_is_deprecated
- asio_handler_deallocate(void* pointer, std::size_t size,
- prepend_handler<Handler>* this_handler)
- {
- asio_handler_alloc_helpers::deallocate(
- pointer, size, this_handler->handler_);
- #if defined(ASIO_NO_DEPRECATED)
- return asio_handler_deallocate_is_no_longer_used();
- #endif // defined(ASIO_NO_DEPRECATED)
- }
- template <typename Handler>
- inline bool asio_handler_is_continuation(
- prepend_handler<Handler>* this_handler)
- {
- return asio_handler_cont_helpers::is_continuation(
- this_handler->handler_);
- }
- template <typename Function, typename Handler>
- inline asio_handler_invoke_is_deprecated
- asio_handler_invoke(Function& function,
- prepend_handler<Handler>* this_handler)
- {
- asio_handler_invoke_helpers::invoke(
- function, this_handler->handler_);
- #if defined(ASIO_NO_DEPRECATED)
- return asio_handler_invoke_is_no_longer_used();
- #endif // defined(ASIO_NO_DEPRECATED)
- }
- template <typename Function, typename Handler>
- inline asio_handler_invoke_is_deprecated
- asio_handler_invoke(const Function& function,
- prepend_handler<Handler>* this_handler)
- {
- asio_handler_invoke_helpers::invoke(
- function, this_handler->handler_);
- #if defined(ASIO_NO_DEPRECATED)
- return asio_handler_invoke_is_no_longer_used();
- #endif // defined(ASIO_NO_DEPRECATED)
- }
- template <typename Signature, typename... Values>
- struct prepend_signature;
- template <typename R, typename... Args, typename... Values>
- struct prepend_signature<R(Args...), Values...>
- {
- typedef R type(Values..., typename decay<Args>::type...);
- };
- } // namespace detail
- } // namespace experimental
- #if !defined(GENERATING_DOCUMENTATION)
- template <typename CompletionToken, typename... Values, typename Signature>
- struct async_result<
- experimental::prepend_t<CompletionToken, Values...>, Signature>
- : async_result<CompletionToken,
- typename experimental::detail::prepend_signature<
- Signature, Values...>::type>
- {
- typedef typename experimental::detail::prepend_signature<
- Signature, Values...>::type signature;
- template <typename Initiation>
- struct init_wrapper
- {
- init_wrapper(Initiation init)
- : initiation_(ASIO_MOVE_CAST(Initiation)(init))
- {
- }
- template <typename Handler, typename... Args>
- void operator()(
- ASIO_MOVE_ARG(Handler) handler,
- std::tuple<Values...> values,
- ASIO_MOVE_ARG(Args)... args)
- {
- ASIO_MOVE_CAST(Initiation)(initiation_)(
- experimental::detail::prepend_handler<
- typename decay<Handler>::type, Values...>(
- ASIO_MOVE_CAST(Handler)(handler),
- ASIO_MOVE_CAST(std::tuple<Values...>)(values)),
- ASIO_MOVE_CAST(Args)(args)...);
- }
- Initiation initiation_;
- };
- template <typename Initiation, typename RawCompletionToken, typename... Args>
- static ASIO_INITFN_DEDUCED_RESULT_TYPE(CompletionToken, signature,
- (async_initiate<CompletionToken, signature>(
- declval<init_wrapper<typename decay<Initiation>::type> >(),
- declval<CompletionToken&>(),
- declval<std::tuple<Values...> >(),
- declval<ASIO_MOVE_ARG(Args)>()...)))
- initiate(
- ASIO_MOVE_ARG(Initiation) initiation,
- ASIO_MOVE_ARG(RawCompletionToken) token,
- ASIO_MOVE_ARG(Args)... args)
- {
- return async_initiate<CompletionToken, signature>(
- init_wrapper<typename decay<Initiation>::type>(
- ASIO_MOVE_CAST(Initiation)(initiation)),
- token.token_,
- ASIO_MOVE_CAST(std::tuple<Values...>)(token.values_),
- ASIO_MOVE_CAST(Args)(args)...);
- }
- };
- template <template <typename, typename> class Associator,
- typename Handler, typename... Values, typename DefaultCandidate>
- struct associator<Associator,
- experimental::detail::prepend_handler<Handler, Values...>, DefaultCandidate>
- : Associator<Handler, DefaultCandidate>
- {
- static typename Associator<Handler, DefaultCandidate>::type get(
- const experimental::detail::prepend_handler<Handler, Values...>& h,
- const DefaultCandidate& c = DefaultCandidate()) ASIO_NOEXCEPT
- {
- return Associator<Handler, DefaultCandidate>::get(h.handler_, c);
- }
- };
- #endif // !defined(GENERATING_DOCUMENTATION)
- } // namespace asio
- #include "asio/detail/pop_options.hpp"
- #endif // ASIO_IMPL_EXPERIMENTAL_PREPEND_HPP
|