diff options
Diffstat (limited to '3rdparty/asio/include/asio/traits/require_concept_member.hpp')
-rw-r--r-- | 3rdparty/asio/include/asio/traits/require_concept_member.hpp | 104 |
1 files changed, 104 insertions, 0 deletions
diff --git a/3rdparty/asio/include/asio/traits/require_concept_member.hpp b/3rdparty/asio/include/asio/traits/require_concept_member.hpp new file mode 100644 index 00000000000..f6b6535e9bd --- /dev/null +++ b/3rdparty/asio/include/asio/traits/require_concept_member.hpp @@ -0,0 +1,104 @@ +// +// traits/require_concept_member.hpp +// ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +// +// Copyright (c) 2003-2024 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_REQUIRE_CONCEPT_MEMBER_HPP +#define ASIO_TRAITS_REQUIRE_CONCEPT_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_WORKING_EXPRESSION_SFINAE) +# define ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_MEMBER_TRAIT 1 +#endif // defined(ASIO_HAS_WORKING_EXPRESSION_SFINAE) + +#include "asio/detail/push_options.hpp" + +namespace asio { +namespace traits { + +template <typename T, typename Property, typename = void> +struct require_concept_member_default; + +template <typename T, typename Property, typename = void> +struct require_concept_member; + +} // namespace traits +namespace detail { + +struct no_require_concept_member +{ + static constexpr bool is_valid = false; + static constexpr bool is_noexcept = false; +}; + +#if defined(ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_MEMBER_TRAIT) + +template <typename T, typename Property, typename = void> +struct require_concept_member_trait : no_require_concept_member +{ +}; + +template <typename T, typename Property> +struct require_concept_member_trait<T, Property, + void_t< + decltype(declval<T>().require_concept(declval<Property>())) + >> +{ + static constexpr bool is_valid = true; + + using result_type = decltype( + declval<T>().require_concept(declval<Property>())); + + static constexpr bool is_noexcept = + noexcept(declval<T>().require_concept(declval<Property>())); +}; + +#else // defined(ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_MEMBER_TRAIT) + +template <typename T, typename Property, typename = void> +struct require_concept_member_trait : + conditional_t< + is_same<T, decay_t<T>>::value + && is_same<Property, decay_t<Property>>::value, + no_require_concept_member, + traits::require_concept_member< + decay_t<T>, + decay_t<Property>> + > +{ +}; + +#endif // defined(ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_MEMBER_TRAIT) + +} // namespace detail +namespace traits { + +template <typename T, typename Property, typename> +struct require_concept_member_default : + detail::require_concept_member_trait<T, Property> +{ +}; + +template <typename T, typename Property, typename> +struct require_concept_member : + require_concept_member_default<T, Property> +{ +}; + +} // namespace traits +} // namespace asio + +#include "asio/detail/pop_options.hpp" + +#endif // ASIO_TRAITS_REQUIRE_CONCEPT_MEMBER_HPP |