236 lines
7.3 KiB
C++
236 lines
7.3 KiB
C++
//
|
|
// execution/detail/submit_receiver.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 BOOST_ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_HPP
|
|
#define BOOST_ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_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/detail/type_traits.hpp>
|
|
#include <boost/asio/detail/variadic_templates.hpp>
|
|
#include <boost/asio/execution/connect.hpp>
|
|
#include <boost/asio/execution/receiver.hpp>
|
|
#include <boost/asio/execution/set_done.hpp>
|
|
#include <boost/asio/execution/set_error.hpp>
|
|
#include <boost/asio/execution/set_value.hpp>
|
|
#include <boost/asio/traits/set_done_member.hpp>
|
|
#include <boost/asio/traits/set_error_member.hpp>
|
|
#include <boost/asio/traits/set_value_member.hpp>
|
|
|
|
#include <boost/asio/detail/push_options.hpp>
|
|
|
|
namespace boost {
|
|
namespace asio {
|
|
namespace execution {
|
|
namespace detail {
|
|
|
|
template <typename Sender, typename Receiver>
|
|
struct submit_receiver;
|
|
|
|
template <typename Sender, typename Receiver>
|
|
struct submit_receiver_wrapper
|
|
{
|
|
submit_receiver<Sender, Receiver>* p_;
|
|
|
|
explicit submit_receiver_wrapper(submit_receiver<Sender, Receiver>* p)
|
|
: p_(p)
|
|
{
|
|
}
|
|
|
|
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
template <typename... Args>
|
|
typename enable_if<is_receiver_of<Receiver, Args...>::value>::type
|
|
set_value(BOOST_ASIO_MOVE_ARG(Args)... args) BOOST_ASIO_RVALUE_REF_QUAL
|
|
BOOST_ASIO_NOEXCEPT_IF((is_nothrow_receiver_of<Receiver, Args...>::value))
|
|
{
|
|
execution::set_value(
|
|
BOOST_ASIO_MOVE_OR_LVALUE(
|
|
typename remove_cvref<Receiver>::type)(p_->r_),
|
|
BOOST_ASIO_MOVE_CAST(Args)(args)...);
|
|
delete p_;
|
|
}
|
|
|
|
#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
void set_value() BOOST_ASIO_RVALUE_REF_QUAL
|
|
BOOST_ASIO_NOEXCEPT_IF((is_nothrow_receiver_of<Receiver>::value))
|
|
{
|
|
execution::set_value(
|
|
BOOST_ASIO_MOVE_OR_LVALUE(
|
|
typename remove_cvref<Receiver>::type)(p_->r_));
|
|
delete p_;
|
|
}
|
|
|
|
#define BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF(n) \
|
|
template <BOOST_ASIO_VARIADIC_TPARAMS(n)> \
|
|
typename enable_if<is_receiver_of<Receiver, \
|
|
BOOST_ASIO_VARIADIC_TARGS(n)>::value>::type \
|
|
set_value(BOOST_ASIO_VARIADIC_MOVE_PARAMS(n)) BOOST_ASIO_RVALUE_REF_QUAL \
|
|
BOOST_ASIO_NOEXCEPT_IF((is_nothrow_receiver_of< \
|
|
Receiver, BOOST_ASIO_VARIADIC_TARGS(n)>::value)) \
|
|
{ \
|
|
execution::set_value( \
|
|
BOOST_ASIO_MOVE_OR_LVALUE( \
|
|
typename remove_cvref<Receiver>::type)(p_->r_), \
|
|
BOOST_ASIO_VARIADIC_MOVE_ARGS(n)); \
|
|
delete p_; \
|
|
} \
|
|
/**/
|
|
BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF)
|
|
#undef BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_SET_VALUE_DEF
|
|
|
|
#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
template <typename E>
|
|
void set_error(BOOST_ASIO_MOVE_ARG(E) e)
|
|
BOOST_ASIO_RVALUE_REF_QUAL BOOST_ASIO_NOEXCEPT
|
|
{
|
|
execution::set_error(
|
|
BOOST_ASIO_MOVE_OR_LVALUE(
|
|
typename remove_cvref<Receiver>::type)(p_->r_),
|
|
BOOST_ASIO_MOVE_CAST(E)(e));
|
|
delete p_;
|
|
}
|
|
|
|
void set_done() BOOST_ASIO_RVALUE_REF_QUAL BOOST_ASIO_NOEXCEPT
|
|
{
|
|
execution::set_done(
|
|
BOOST_ASIO_MOVE_OR_LVALUE(
|
|
typename remove_cvref<Receiver>::type)(p_->r_));
|
|
delete p_;
|
|
}
|
|
};
|
|
|
|
template <typename Sender, typename Receiver>
|
|
struct submit_receiver
|
|
{
|
|
typename remove_cvref<Receiver>::type r_;
|
|
#if defined(BOOST_ASIO_HAS_MOVE)
|
|
typename connect_result<Sender,
|
|
submit_receiver_wrapper<Sender, Receiver> >::type state_;
|
|
#else // defined(BOOST_ASIO_HAS_MOVE)
|
|
typename connect_result<Sender,
|
|
const submit_receiver_wrapper<Sender, Receiver>& >::type state_;
|
|
#endif // defined(BOOST_ASIO_HAS_MOVE)
|
|
|
|
#if defined(BOOST_ASIO_HAS_MOVE)
|
|
template <typename S, typename R>
|
|
explicit submit_receiver(BOOST_ASIO_MOVE_ARG(S) s, BOOST_ASIO_MOVE_ARG(R) r)
|
|
: r_(BOOST_ASIO_MOVE_CAST(R)(r)),
|
|
state_(execution::connect(BOOST_ASIO_MOVE_CAST(S)(s),
|
|
submit_receiver_wrapper<Sender, Receiver>(this)))
|
|
{
|
|
}
|
|
#else // defined(BOOST_ASIO_HAS_MOVE)
|
|
explicit submit_receiver(Sender s, Receiver r)
|
|
: r_(r),
|
|
state_(execution::connect(s,
|
|
submit_receiver_wrapper<Sender, Receiver>(this)))
|
|
{
|
|
}
|
|
#endif // defined(BOOST_ASIO_HAS_MOVE)
|
|
};
|
|
|
|
} // namespace detail
|
|
} // namespace execution
|
|
namespace traits {
|
|
|
|
#if !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
|
|
|
|
#if defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
template <typename Sender, typename Receiver, typename... Args>
|
|
struct set_value_member<
|
|
boost::asio::execution::detail::submit_receiver_wrapper<
|
|
Sender, Receiver>,
|
|
void(Args...)>
|
|
{
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
|
|
(boost::asio::execution::is_nothrow_receiver_of<Receiver, Args...>::value));
|
|
typedef void result_type;
|
|
};
|
|
|
|
#else // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
template <typename Sender, typename Receiver>
|
|
struct set_value_member<
|
|
boost::asio::execution::detail::submit_receiver_wrapper<
|
|
Sender, Receiver>,
|
|
void()>
|
|
{
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept =
|
|
boost::asio::execution::is_nothrow_receiver_of<Receiver>::value);
|
|
typedef void result_type;
|
|
};
|
|
|
|
#define BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF(n) \
|
|
template <typename Sender, typename Receiver, \
|
|
BOOST_ASIO_VARIADIC_TPARAMS(n)> \
|
|
struct set_value_member< \
|
|
boost::asio::execution::detail::submit_receiver_wrapper< \
|
|
Sender, Receiver>, \
|
|
void(BOOST_ASIO_VARIADIC_TARGS(n))> \
|
|
{ \
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); \
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = \
|
|
(boost::asio::execution::is_nothrow_receiver_of<Receiver, \
|
|
BOOST_ASIO_VARIADIC_TARGS(n)>::value)); \
|
|
typedef void result_type; \
|
|
}; \
|
|
/**/
|
|
BOOST_ASIO_VARIADIC_GENERATE(BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF)
|
|
#undef BOOST_ASIO_PRIVATE_SUBMIT_RECEIVER_TRAIT_DEF
|
|
|
|
#endif // defined(BOOST_ASIO_HAS_VARIADIC_TEMPLATES)
|
|
|
|
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
|
|
|
|
#if !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
|
|
|
|
template <typename Sender, typename Receiver, typename E>
|
|
struct set_error_member<
|
|
boost::asio::execution::detail::submit_receiver_wrapper<
|
|
Sender, Receiver>, E>
|
|
{
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
|
|
typedef void result_type;
|
|
};
|
|
|
|
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
|
|
|
|
#if !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
|
|
|
|
template <typename Sender, typename Receiver>
|
|
struct set_done_member<
|
|
boost::asio::execution::detail::submit_receiver_wrapper<
|
|
Sender, Receiver> >
|
|
{
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
|
|
typedef void result_type;
|
|
};
|
|
|
|
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
|
|
|
|
} // namespace traits
|
|
} // namespace asio
|
|
} // namespace boost
|
|
|
|
#include <boost/asio/detail/pop_options.hpp>
|
|
|
|
#endif // BOOST_ASIO_EXECUTION_DETAIL_SUBMIT_RECEIVER_HPP
|