mirror of
https://github.com/boostorg/asio.git
synced 2026-01-31 07:42:10 +00:00
139 lines
2.8 KiB
C++
139 lines
2.8 KiB
C++
//
|
|
// sender.cpp
|
|
// ~~~~~~~~~~
|
|
//
|
|
// Copyright (c) 2003-2020 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)
|
|
//
|
|
|
|
// Disable autolinking for unit tests.
|
|
#if !defined(BOOST_ALL_NO_LIB)
|
|
#define BOOST_ALL_NO_LIB 1
|
|
#endif // !defined(BOOST_ALL_NO_LIB)
|
|
|
|
// Test that header file is self-contained.
|
|
#include <boost/asio/execution/sender.hpp>
|
|
|
|
#include "../unit_test.hpp"
|
|
|
|
namespace exec = boost::asio::execution;
|
|
|
|
struct not_a_sender
|
|
{
|
|
};
|
|
|
|
struct sender_using_base :
|
|
boost::asio::execution::sender_base
|
|
{
|
|
sender_using_base()
|
|
{
|
|
}
|
|
};
|
|
|
|
struct executor
|
|
{
|
|
executor()
|
|
{
|
|
}
|
|
|
|
executor(const executor&) BOOST_ASIO_NOEXCEPT
|
|
{
|
|
}
|
|
|
|
#if defined(BOOST_ASIO_HAS_MOVE)
|
|
executor(executor&&) BOOST_ASIO_NOEXCEPT
|
|
{
|
|
}
|
|
#endif // defined(BOOST_ASIO_HAS_MOVE)
|
|
|
|
template <typename F>
|
|
void execute(BOOST_ASIO_MOVE_ARG(F) f) const BOOST_ASIO_NOEXCEPT
|
|
{
|
|
(void)f;
|
|
}
|
|
|
|
bool operator==(const executor&) const BOOST_ASIO_NOEXCEPT
|
|
{
|
|
return true;
|
|
}
|
|
|
|
bool operator!=(const executor&) const BOOST_ASIO_NOEXCEPT
|
|
{
|
|
return false;
|
|
}
|
|
};
|
|
|
|
namespace boost {
|
|
namespace asio {
|
|
namespace traits {
|
|
|
|
#if !defined(BOOST_ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT)
|
|
|
|
template <typename F>
|
|
struct execute_member<executor, F>
|
|
{
|
|
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_EQUALITY_COMPARABLE_TRAIT)
|
|
|
|
template <>
|
|
struct equality_comparable<executor>
|
|
{
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
|
|
BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
|
|
};
|
|
|
|
#endif // !defined(BOOST_ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT)
|
|
|
|
} // namespace traits
|
|
} // namespace asio
|
|
} // namespace boost
|
|
|
|
template <typename T>
|
|
bool is_unspecialised(T*, ...)
|
|
{
|
|
return false;
|
|
}
|
|
|
|
template <typename T>
|
|
bool is_unspecialised(T*,
|
|
typename boost::asio::void_type<
|
|
typename exec::sender_traits<
|
|
T>::asio_execution_sender_traits_base_is_unspecialised
|
|
>::type*)
|
|
{
|
|
return true;
|
|
}
|
|
|
|
void test_sender_traits()
|
|
{
|
|
not_a_sender s1;
|
|
BOOST_ASIO_CHECK(is_unspecialised(&s1, static_cast<void*>(0)));
|
|
|
|
sender_using_base s2;
|
|
BOOST_ASIO_CHECK(!is_unspecialised(&s2, static_cast<void*>(0)));
|
|
|
|
executor s3;
|
|
BOOST_ASIO_CHECK(!is_unspecialised(&s3, static_cast<void*>(0)));
|
|
}
|
|
|
|
void test_is_sender()
|
|
{
|
|
BOOST_ASIO_CHECK(!exec::is_sender<not_a_sender>::value);
|
|
BOOST_ASIO_CHECK(exec::is_sender<sender_using_base>::value);
|
|
BOOST_ASIO_CHECK(exec::is_sender<executor>::value);
|
|
}
|
|
|
|
BOOST_ASIO_TEST_SUITE
|
|
(
|
|
"sender",
|
|
BOOST_ASIO_TEST_CASE(test_sender_traits)
|
|
BOOST_ASIO_TEST_CASE(test_is_sender)
|
|
)
|