ceph/src/boost/boost/asio/traits/require_concept_free.hpp

   1 //
   2 // traits/require_concept_free.hpp
   3 // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   4 //
   5 // Copyright (c) 2003-2020 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
  11 #ifndef BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP
  12 #define BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP
  13
  14 #if defined(_MSC_VER) && (_MSC_VER >= 1200)
  15 # pragma once
  16 #endif // defined(_MSC_VER) && (_MSC_VER >= 1200)
  17
  18 #include <boost/asio/detail/config.hpp>
  19 #include <boost/asio/detail/type_traits.hpp>
  20
  21 #if defined(BOOST_ASIO_HAS_DECLTYPE) \
  22   && defined(BOOST_ASIO_HAS_NOEXCEPT) \
  23   && defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)
  24 # define BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT 1
  25 #endif // defined(BOOST_ASIO_HAS_DECLTYPE)
  26        //   && defined(BOOST_ASIO_HAS_NOEXCEPT)
  27        //   && defined(BOOST_ASIO_HAS_WORKING_EXPRESSION_SFINAE)
  28
  29 #include <boost/asio/detail/push_options.hpp>
  30
  31 namespace boost {
  32 namespace asio {
  33 namespace traits {
  34
  35 template <typename T, typename Property, typename = void>
  36 struct require_concept_free_default;
  37
  38 template <typename T, typename Property, typename = void>
  39 struct require_concept_free;
  40
  41 } // namespace traits
  42 namespace detail {
  43
  44 struct no_require_concept_free
  45 {
  46   BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = false);
  47   BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
  48 };
  49
  50 #if defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT)
  51
  52 template <typename T, typename Property, typename = void>
  53 struct require_concept_free_trait : no_require_concept_free
  54 {
  55 };
  56
  57 template <typename T, typename Property>
  58 struct require_concept_free_trait<T, Property,
  59   typename void_type<
  60     decltype(require_concept(declval<T>(), declval<Property>()))
  61   >::type>
  62 {
  63   BOOST_ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  64
  65   using result_type = decltype(
  66     require_concept(declval<T>(), declval<Property>()));
  67
  68   BOOST_ASIO_STATIC_CONSTEXPR(bool, is_noexcept = noexcept(
  69     require_concept(declval<T>(), declval<Property>())));
  70 };
  71
  72 #else // defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT)
  73
  74 template <typename T, typename Property, typename = void>
  75 struct require_concept_free_trait :
  76   conditional<
  77     is_same<T, typename decay<T>::type>::value
  78       && is_same<Property, typename decay<Property>::type>::value,
  79     no_require_concept_free,
  80     traits::require_concept_free<
  81       typename decay<T>::type,
  82       typename decay<Property>::type>
  83   >::type
  84 {
  85 };
  86
  87 #endif // defined(BOOST_ASIO_HAS_DEDUCED_REQUIRE_CONCEPT_FREE_TRAIT)
  88
  89 } // namespace detail
  90 namespace traits {
  91
  92 template <typename T, typename Property, typename>
  93 struct require_concept_free_default :
  94   detail::require_concept_free_trait<T, Property>
  95 {
  96 };
  97
  98 template <typename T, typename Property, typename>
  99 struct require_concept_free :
 100   require_concept_free_default<T, Property>
 101 {
 102 };
 103
 104 } // namespace traits
 105 } // namespace asio
 106 } // namespace boost
 107
 108 #include <boost/asio/detail/pop_options.hpp>
 109
 110 #endif // BOOST_ASIO_TRAITS_REQUIRE_CONCEPT_FREE_HPP