123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254 |
- //
- // impl/post.hpp
- // ~~~~~~~~~~~~~
- //
- // Copyright (c) 2003-2021 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 BOOST_ASIO_IMPL_POST_HPP
- #define BOOST_ASIO_IMPL_POST_HPP
- #if defined(_MSC_VER) && (_MSC_VER >= 1200)
- # pragma once
- #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
- #include <boost/asio/detail/config.hpp>
- #include <boost/asio/associated_allocator.hpp>
- #include <boost/asio/associated_executor.hpp>
- #include <boost/asio/detail/work_dispatcher.hpp>
- #include <boost/asio/execution/allocator.hpp>
- #include <boost/asio/execution/blocking.hpp>
- #include <boost/asio/execution/relationship.hpp>
- #include <boost/asio/prefer.hpp>
- #include <boost/asio/require.hpp>
- #include <boost/asio/detail/push_options.hpp>
- namespace boost {
- namespace asio {
- namespace detail {
- class initiate_post
- {
- public:
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- execution::is_executor<
- typename associated_executor<
- typename decay<CompletionHandler>::type
- >::type
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typename associated_executor<handler_t>::type ex(
- (get_associated_executor)(handler));
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- execution::execute(
- boost::asio::prefer(
- boost::asio::require(ex, execution::blocking.never),
- execution::relationship.fork,
- execution::allocator(alloc)),
- BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler));
- }
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- !execution::is_executor<
- typename associated_executor<
- typename decay<CompletionHandler>::type
- >::type
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typename associated_executor<handler_t>::type ex(
- (get_associated_executor)(handler));
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- ex.post(BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler), alloc);
- }
- };
- template <typename Executor>
- class initiate_post_with_executor
- {
- public:
- typedef Executor executor_type;
- explicit initiate_post_with_executor(const Executor& ex)
- : ex_(ex)
- {
- }
- executor_type get_executor() const BOOST_ASIO_NOEXCEPT
- {
- return ex_;
- }
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- execution::is_executor<
- typename conditional<true, executor_type, CompletionHandler>::type
- >::value
- >::type* = 0,
- typename enable_if<
- !detail::is_work_dispatcher_required<
- typename decay<CompletionHandler>::type,
- Executor
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- execution::execute(
- boost::asio::prefer(
- boost::asio::require(ex_, execution::blocking.never),
- execution::relationship.fork,
- execution::allocator(alloc)),
- BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler));
- }
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- execution::is_executor<
- typename conditional<true, executor_type, CompletionHandler>::type
- >::value
- >::type* = 0,
- typename enable_if<
- detail::is_work_dispatcher_required<
- typename decay<CompletionHandler>::type,
- Executor
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typedef typename associated_executor<
- handler_t, Executor>::type handler_ex_t;
- handler_ex_t handler_ex((get_associated_executor)(handler, ex_));
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- execution::execute(
- boost::asio::prefer(
- boost::asio::require(ex_, execution::blocking.never),
- execution::relationship.fork,
- execution::allocator(alloc)),
- detail::work_dispatcher<handler_t, handler_ex_t>(
- BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler), handler_ex));
- }
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- !execution::is_executor<
- typename conditional<true, executor_type, CompletionHandler>::type
- >::value
- >::type* = 0,
- typename enable_if<
- !detail::is_work_dispatcher_required<
- typename decay<CompletionHandler>::type,
- Executor
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- ex_.post(BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler), alloc);
- }
- template <typename CompletionHandler>
- void operator()(BOOST_ASIO_MOVE_ARG(CompletionHandler) handler,
- typename enable_if<
- !execution::is_executor<
- typename conditional<true, executor_type, CompletionHandler>::type
- >::value
- >::type* = 0,
- typename enable_if<
- detail::is_work_dispatcher_required<
- typename decay<CompletionHandler>::type,
- Executor
- >::value
- >::type* = 0) const
- {
- typedef typename decay<CompletionHandler>::type handler_t;
- typedef typename associated_executor<
- handler_t, Executor>::type handler_ex_t;
- handler_ex_t handler_ex((get_associated_executor)(handler, ex_));
- typename associated_allocator<handler_t>::type alloc(
- (get_associated_allocator)(handler));
- ex_.post(detail::work_dispatcher<handler_t, handler_ex_t>(
- BOOST_ASIO_MOVE_CAST(CompletionHandler)(handler),
- handler_ex), alloc);
- }
- private:
- Executor ex_;
- };
- } // namespace detail
- template <BOOST_ASIO_COMPLETION_TOKEN_FOR(void()) CompletionToken>
- BOOST_ASIO_INITFN_AUTO_RESULT_TYPE(CompletionToken, void()) post(
- BOOST_ASIO_MOVE_ARG(CompletionToken) token)
- {
- return async_initiate<CompletionToken, void()>(
- detail::initiate_post(), token);
- }
- template <typename Executor,
- BOOST_ASIO_COMPLETION_TOKEN_FOR(void()) CompletionToken>
- BOOST_ASIO_INITFN_AUTO_RESULT_TYPE(CompletionToken, void()) post(
- const Executor& ex, BOOST_ASIO_MOVE_ARG(CompletionToken) token,
- typename constraint<
- execution::is_executor<Executor>::value || is_executor<Executor>::value
- >::type)
- {
- return async_initiate<CompletionToken, void()>(
- detail::initiate_post_with_executor<Executor>(ex), token);
- }
- template <typename ExecutionContext,
- BOOST_ASIO_COMPLETION_TOKEN_FOR(void()) CompletionToken>
- inline BOOST_ASIO_INITFN_AUTO_RESULT_TYPE(CompletionToken, void()) post(
- ExecutionContext& ctx, BOOST_ASIO_MOVE_ARG(CompletionToken) token,
- typename constraint<is_convertible<
- ExecutionContext&, execution_context&>::value>::type)
- {
- return async_initiate<CompletionToken, void()>(
- detail::initiate_post_with_executor<
- typename ExecutionContext::executor_type>(
- ctx.get_executor()), token);
- }
- } // namespace asio
- } // namespace boost
- #include <boost/asio/detail/pop_options.hpp>
- #endif // BOOST_ASIO_IMPL_POST_HPP
|