as_receiver.hpp 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130
  1. //
  2. // execution/detail/as_receiver.hpp
  3. // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  4. //
  5. // Copyright (c) 2003-2021 Christopher M. Kohlhoff (chris at kohlhoff dot com)
  6. //
  7. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  8. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  9. //
  10. #ifndef BOOST_ASIO_EXECUTION_DETAIL_AS_RECEIVER_HPP
  11. #define BOOST_ASIO_EXECUTION_DETAIL_AS_RECEIVER_HPP
  12. #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  13. # pragma once
  14. #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
  15. #include <boost/asio/detail/config.hpp>
  16. #include <boost/asio/detail/type_traits.hpp>
  17. #include <boost/asio/traits/set_done_member.hpp>
  18. #include <boost/asio/traits/set_error_member.hpp>
  19. #include <boost/asio/traits/set_value_member.hpp>
  20. #include <boost/asio/detail/push_options.hpp>
  21. namespace boost {
  22. namespace asio {
  23. namespace execution {
  24. namespace detail {
  25. template <typename Function, typename>
  26. struct as_receiver
  27. {
  28. Function f_;
  29. template <typename F>
  30. explicit as_receiver(BOOST_ASIO_MOVE_ARG(F) f, int)
  31. : f_(BOOST_ASIO_MOVE_CAST(F)(f))
  32. {
  33. }
  34. #if defined(BOOST_ASIO_MSVC) && defined(BOOST_ASIO_HAS_MOVE)
  35. as_receiver(as_receiver&& other)
  36. : f_(BOOST_ASIO_MOVE_CAST(Function)(other.f_))
  37. {
  38. }
  39. #endif // defined(BOOST_ASIO_MSVC) && defined(BOOST_ASIO_HAS_MOVE)
  40. void set_value()
  41. BOOST_ASIO_NOEXCEPT_IF(noexcept(declval<Function&>()()))
  42. {
  43. f_();
  44. }
  45. template <typename E>
  46. void set_error(E) BOOST_ASIO_NOEXCEPT
  47. {
  48. std::terminate();
  49. }
  50. void set_done() BOOST_ASIO_NOEXCEPT
  51. {
  52. }
  53. };
  54. template <typename T>
  55. struct is_as_receiver : false_type
  56. {
  57. };
  58. template <typename Function, typename T>
  59. struct is_as_receiver<as_receiver<Function, T> > : true_type
  60. {
  61. };
  62. } // namespace detail
  63. } // namespace execution
  64. namespace traits {
  65. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  66. template <typename Function, typename T>
  67. struct set_value_member<
  68. boost::asio::execution::detail::as_receiver<Function, T>, void()>
  69. {
  70. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  71. #if defined(BOOST_ASIO_HAS_NOEXCEPT)
  72. BOOST_ASIO_STATIC_CONSTEXPR(bool,
  73. is_noexcept = noexcept(declval<Function&>()()));
  74. #else // defined(BOOST_ASIO_HAS_NOEXCEPT)
  75. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  76. #endif // defined(BOOST_ASIO_HAS_NOEXCEPT)
  77. typedef void result_type;
  78. };
  79. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
  80. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  81. template <typename Function, typename T, typename E>
  82. struct set_error_member<
  83. boost::asio::execution::detail::as_receiver<Function, T>, E>
  84. {
  85. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  86. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  87. typedef void result_type;
  88. };
  89. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
  90. #if !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  91. template <typename Function, typename T>
  92. struct set_done_member<
  93. boost::asio::execution::detail::as_receiver<Function, T> >
  94. {
  95. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  96. BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  97. typedef void result_type;
  98. };
  99. #endif // !defined(BOOST_ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
  100. } // namespace traits
  101. } // namespace asio
  102. } // namespace boost
  103. #include <boost/asio/detail/pop_options.hpp>
  104. #endif // BOOST_ASIO_EXECUTION_DETAIL_AS_RECEIVER_HPP