//
// post.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_POST_HPP
#define ASIO_POST_HPP
#if defined(_MSC_VER) && (_MSC_VER >= 1200)
# pragma once
#endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
#include "asio/detail/config.hpp"
#include "asio/async_result.hpp"
#include "asio/detail/type_traits.hpp"
#include "asio/execution_context.hpp"
#include "asio/execution/executor.hpp"
#include "asio/is_executor.hpp"
#include "asio/detail/push_options.hpp"
namespace asio {
/// Submits a completion token or function object for execution.
/**
* This function submits an object for execution using the object's associated
* executor. The function object is queued for execution, and is never called
* from the current thread prior to returning from post().
*
* The use of @c post(), rather than @ref defer(), indicates the caller's
* preference that the function object be eagerly queued for execution.
*
* @param token The @ref completion_token that will be used to produce a
* completion handler. The function signature of the completion handler must be:
* @code void handler(); @endcode
*
* @returns This function returns async_initiate(Init{}, token), where @c Init is a function object type defined
* as:
*
* @code class Init
* {
* public:
* template
* void operator()(CompletionHandler&& completion_handler) const;
* }; @endcode
*
* The function call operator of @c Init:
*
* @li Obtains the handler's associated executor object @c ex of type @c Ex by
* performing @code auto ex = get_associated_executor(handler); @endcode
*
* @li Obtains the handler's associated allocator object @c alloc by performing
* @code auto alloc = get_associated_allocator(handler); @endcode
*
* @li If execution::is_executor::value is true, performs
* @code execution::execute(
* prefer(
* require(ex, execution::blocking.never),
* execution::relationship.fork,
* execution::allocator(alloc)),
* std::forward(completion_handler)); @endcode
*
* @li If execution::is_executor::value is false, performs
* @code ex.post(
* std::forward(completion_handler),
* alloc); @endcode
*
* @par Completion Signature
* @code void() @endcode
*/
template
ASIO_INITFN_AUTO_RESULT_TYPE(NullaryToken, void()) post(
ASIO_MOVE_ARG(NullaryToken) token);
/// Submits a completion token or function object for execution.
/**
* This function submits an object for execution using the specified executor.
* The function object is queued for execution, and is never called from the
* current thread prior to returning from post().
*
* The use of @c post(), rather than @ref defer(), indicates the caller's
* preference that the function object be eagerly queued for execution.
*
* @param ex The target executor.
*
* @param token The @ref completion_token that will be used to produce a
* completion handler. The function signature of the completion handler must be:
* @code void handler(); @endcode
*
* @returns This function returns async_initiate(Init{ex}, token), where @c Init is a function object type
* defined as:
*
* @code class Init
* {
* public:
* using executor_type = Executor;
* explicit Init(const Executor& ex) : ex_(ex) {}
* executor_type get_executor() const noexcept { return ex_; }
* template
* void operator()(CompletionHandler&& completion_handler) const;
* private:
* Executor ex_; // exposition only
* }; @endcode
*
* The function call operator of @c Init:
*
* @li Obtains the handler's associated executor object @c ex1 of type @c Ex1 by
* performing @code auto ex1 = get_associated_executor(handler, ex); @endcode
*
* @li Obtains the handler's associated allocator object @c alloc by performing
* @code auto alloc = get_associated_allocator(handler); @endcode
*
* @li If execution::is_executor::value is true, constructs a
* function object @c f with a member @c executor_ that is initialised with
* prefer(ex1, execution::outstanding_work.tracked), a member @c
* handler_ that is a decay-copy of @c completion_handler, and a function call
* operator that performs:
* @code auto a = get_associated_allocator(handler_);
* execution::execute(
* prefer(executor_,
* execution::blocking.possibly,
* execution::allocator(a)),
* std::move(handler_)); @endcode
*
* @li If execution::is_executor::value is false, constructs a
* function object @c f with a member @c work_ that is initialised with
* make_work_guard(ex1), a member @c handler_ that is a decay-copy of
* @c completion_handler, and a function call operator that performs:
* @code auto a = get_associated_allocator(handler_);
* work_.get_executor().dispatch(std::move(handler_), a);
* work_.reset(); @endcode
*
* @li If execution::is_executor::value is true, performs
* @code execution::execute(
* prefer(
* require(ex, execution::blocking.never),
* execution::relationship.fork,
* execution::allocator(alloc)),
* std::move(f)); @endcode
*
* @li If execution::is_executor::value is false, performs
* @code ex.post(std::move(f), alloc); @endcode
*
* @par Completion Signature
* @code void() @endcode
*/
template
ASIO_INITFN_AUTO_RESULT_TYPE(NullaryToken, void()) post(
const Executor& ex,
ASIO_MOVE_ARG(NullaryToken) token
ASIO_DEFAULT_COMPLETION_TOKEN(Executor),
typename constraint<
execution::is_executor::value || is_executor::value
>::type = 0);
/// Submits a completion token or function object for execution.
/**
* @param ctx An execution context, from which the target executor is obtained.
*
* @param token The @ref completion_token that will be used to produce a
* completion handler. The function signature of the completion handler must be:
* @code void handler(); @endcode
*
* @returns post(ctx.get_executor(), forward(token)).
*
* @par Completion Signature
* @code void() @endcode
*/
template
ASIO_INITFN_AUTO_RESULT_TYPE(NullaryToken, void()) post(
ExecutionContext& ctx,
ASIO_MOVE_ARG(NullaryToken) token
ASIO_DEFAULT_COMPLETION_TOKEN(
typename ExecutionContext::executor_type),
typename constraint::value>::type = 0);
} // namespace asio
#include "asio/detail/pop_options.hpp"
#include "asio/impl/post.hpp"
#endif // ASIO_POST_HPP