| // |
| // execution/detail/as_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_AS_RECEIVER_HPP |
| #define BOOST_ASIO_EXECUTION_DETAIL_AS_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/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 Function, typename> |
| struct as_receiver |
| { |
| Function f_; |
| |
| template <typename F> |
| explicit as_receiver(BOOST_ASIO_MOVE_ARG(F) f, int) |
| : f_(BOOST_ASIO_MOVE_CAST(F)(f)) |
| { |
| } |
| |
| #if defined(BOOST_ASIO_MSVC) && defined(BOOST_ASIO_HAS_MOVE) |
| as_receiver(as_receiver&& other) |
| : f_(BOOST_ASIO_MOVE_CAST(Function)(other.f_)) |
| { |
| } |
| #endif // defined(BOOST_ASIO_MSVC) && defined(BOOST_ASIO_HAS_MOVE) |
| |
| void set_value() |
| BOOST_ASIO_NOEXCEPT_IF(noexcept(declval<Function&>()())) |
| { |
| f_(); |
| } |
| |
| template <typename E> |
| void set_error(E) BOOST_ASIO_NOEXCEPT |
| { |
| std::terminate(); |
| } |
| |
| void set_done() BOOST_ASIO_NOEXCEPT |
| { |
| } |
| }; |
| |
| template <typename T> |
| struct is_as_receiver : false_type |
| { |
| }; |
| |
| template <typename Function, typename T> |
| struct is_as_receiver<as_receiver<Function, T> > : true_type |
| { |
| }; |
| |
| } // namespace detail |
| } // namespace execution |
| namespace traits { |
| |
| #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT) |
| |
| template <typename Function, typename T> |
| struct set_value_member< |
| boost::asio::execution::detail::as_receiver<Function, T>, void()> |
| { |
| BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true); |
| #if defined(BOOST_ASIO_HAS_NOEXCEPT) |
| BOOST_ASIO_STATIC_CONSTEXPR(bool, |
| is_noexcept = noexcept(declval<Function&>()())); |
| #else // defined(BOOST_ASIO_HAS_NOEXCEPT) |
| BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true); |
| #endif // defined(BOOST_ASIO_HAS_NOEXCEPT) |
| typedef void result_type; |
| }; |
| |
| #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT) |
| |
| #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT) |
| |
| template <typename Function, typename T, typename E> |
| struct set_error_member< |
| boost::asio::execution::detail::as_receiver<Function, T>, 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 Function, typename T> |
| struct set_done_member< |
| boost::asio::execution::detail::as_receiver<Function, T> > |
| { |
| 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_AS_RECEIVER_HPP |