123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235 |
- //
- // execution/detail/submit_receiver.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_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
|