187 lines
3.8 KiB
C++
187 lines
3.8 KiB
C++
//
|
|
// executor.cpp
|
|
// ~~~~~~~~~~~~
|
|
//
|
|
// Copyright (c) 2003-2023 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/executor.hpp>
|
|
|
|
#include "../unit_test.hpp"
|
|
|
|
struct not_an_executor
|
|
{
|
|
};
|
|
|
|
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
|
|
|
|
void is_executor_test()
|
|
{
|
|
BOOST_ASIO_CHECK((
|
|
!boost::asio::execution::is_executor<
|
|
void
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
!boost::asio::execution::is_executor<
|
|
not_an_executor
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::execution::is_executor<
|
|
executor
|
|
>::value));
|
|
}
|
|
|
|
void is_executor_of_test()
|
|
{
|
|
BOOST_ASIO_CHECK((
|
|
!boost::asio::execution::is_executor_of<
|
|
void,
|
|
void(*)()
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
!boost::asio::execution::is_executor_of<
|
|
not_an_executor,
|
|
void(*)()
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::execution::is_executor_of<
|
|
executor,
|
|
void(*)()
|
|
>::value));
|
|
}
|
|
|
|
struct executor_with_other_shape_type
|
|
{
|
|
typedef double shape_type;
|
|
};
|
|
|
|
void executor_shape_test()
|
|
{
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::is_same<
|
|
boost::asio::execution::executor_shape<executor>::type,
|
|
std::size_t
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::is_same<
|
|
boost::asio::execution::executor_shape<
|
|
executor_with_other_shape_type
|
|
>::type,
|
|
double
|
|
>::value));
|
|
}
|
|
|
|
struct executor_with_other_index_type
|
|
{
|
|
typedef unsigned char index_type;
|
|
};
|
|
|
|
void executor_index_test()
|
|
{
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::is_same<
|
|
boost::asio::execution::executor_index<executor>::type,
|
|
std::size_t
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::is_same<
|
|
boost::asio::execution::executor_index<
|
|
executor_with_other_shape_type
|
|
>::type,
|
|
double
|
|
>::value));
|
|
|
|
BOOST_ASIO_CHECK((
|
|
boost::asio::is_same<
|
|
boost::asio::execution::executor_index<
|
|
executor_with_other_index_type
|
|
>::type,
|
|
unsigned char
|
|
>::value));
|
|
}
|
|
|
|
BOOST_ASIO_TEST_SUITE
|
|
(
|
|
"executor",
|
|
BOOST_ASIO_TEST_CASE(is_executor_test)
|
|
BOOST_ASIO_TEST_CASE(is_executor_of_test)
|
|
BOOST_ASIO_TEST_CASE(executor_shape_test)
|
|
BOOST_ASIO_TEST_CASE(executor_index_test)
|
|
)
|