diff options
Diffstat (limited to '3rdparty/asio/include/asio/traits/execute_member.hpp')
-rw-r--r-- | 3rdparty/asio/include/asio/traits/execute_member.hpp | 108 |
1 files changed, 108 insertions, 0 deletions
diff --git a/3rdparty/asio/include/asio/traits/execute_member.hpp b/3rdparty/asio/include/asio/traits/execute_member.hpp new file mode 100644 index 00000000000..01f280d56b4 --- /dev/null +++ b/3rdparty/asio/include/asio/traits/execute_member.hpp @@ -0,0 +1,108 @@ +// +// traits/execute_member.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 ASIO_TRAITS_EXECUTE_MEMBER_HPP +#define ASIO_TRAITS_EXECUTE_MEMBER_HPP + +#if defined(_MSC_VER) && (_MSC_VER >= 1200) +# pragma once +#endif // defined(_MSC_VER) && (_MSC_VER >= 1200) + +#include "asio/detail/config.hpp" +#include "asio/detail/type_traits.hpp" + +#if defined(ASIO_HAS_DECLTYPE) \ + && defined(ASIO_HAS_NOEXCEPT) \ + && defined(ASIO_HAS_WORKING_EXPRESSION_SFINAE) +# define ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT 1 +#endif // defined(ASIO_HAS_DECLTYPE) + // && defined(ASIO_HAS_NOEXCEPT) + // && defined(ASIO_HAS_WORKING_EXPRESSION_SFINAE) + +#include "asio/detail/push_options.hpp" + +namespace asio { +namespace traits { + +template <typename T, typename F, typename = void> +struct execute_member_default; + +template <typename T, typename F, typename = void> +struct execute_member; + +} // namespace traits +namespace detail { + +struct no_execute_member +{ + ASIO_STATIC_CONSTEXPR(bool, is_valid = false); + ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false); +}; + +#if defined(ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) + +template <typename T, typename F, typename = void> +struct execute_member_trait : no_execute_member +{ +}; + +template <typename T, typename F> +struct execute_member_trait<T, F, + typename void_type< + decltype(declval<T>().execute(declval<F>())) + >::type> +{ + ASIO_STATIC_CONSTEXPR(bool, is_valid = true); + + using result_type = decltype( + declval<T>().execute(declval<F>())); + + ASIO_STATIC_CONSTEXPR(bool, is_noexcept = noexcept( + declval<T>().execute(declval<F>()))); +}; + +#else // defined(ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) + +template <typename T, typename F, typename = void> +struct execute_member_trait : + conditional< + is_same<T, typename decay<T>::type>::value + && is_same<F, typename decay<F>::type>::value, + no_execute_member, + traits::execute_member< + typename decay<T>::type, + typename decay<F>::type> + >::type +{ +}; + +#endif // defined(ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT) + +} // namespace detail +namespace traits { + +template <typename T, typename F, typename> +struct execute_member_default : + detail::execute_member_trait<T, F> +{ +}; + +template <typename T, typename F, typename> +struct execute_member : + execute_member_default<T, F> +{ +}; + +} // namespace traits +} // namespace asio + +#include "asio/detail/pop_options.hpp" + +#endif // ASIO_TRAITS_EXECUTE_MEMBER_HPP |