3rdparty/boost/boost/mp11/function.hpp

   1 #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED
   2 #define BOOST_MP11_FUNCTION_HPP_INCLUDED
   3
   4 // Copyright 2015-2019 Peter Dimov.
   5 //
   6 // Distributed under the Boost Software License, Version 1.0.
   7 //
   8 // See accompanying file LICENSE_1_0.txt or copy at
   9 // http://www.boost.org/LICENSE_1_0.txt
  10
  11 #include <boost/mp11/integral.hpp>
  12 #include <boost/mp11/utility.hpp>
  13 #include <boost/mp11/detail/mp_list.hpp>
  14 #include <boost/mp11/detail/mp_count.hpp>
  15 #include <boost/mp11/detail/mp_plus.hpp>
  16 #include <boost/mp11/detail/mp_min_element.hpp>
  17 #include <boost/mp11/detail/mp_void.hpp>
  18 #include <boost/mp11/detail/config.hpp>
  19 #include <type_traits>
  20
  21 namespace boost
  22 {
  23 namespace mp11
  24 {
  25
  26 // mp_void<T...>
  27 //   in detail/mp_void.hpp
  28
  29 // mp_and<T...>
  30 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1910 )
  31
  32 namespace detail
  33 {
  34
  35 template<class... T> struct mp_and_impl;
  36
  37 } // namespace detail
  38
  39 template<class... T> using mp_and = mp_to_bool< typename detail::mp_and_impl<T...>::type >;
  40
  41 namespace detail
  42 {
  43
  44 template<> struct mp_and_impl<>
  45 {
  46     using type = mp_true;
  47 };
  48
  49 template<class T> struct mp_and_impl<T>
  50 {
  51     using type = T;
  52 };
  53
  54 template<class T1, class... T> struct mp_and_impl<T1, T...>
  55 {
  56     using type = mp_eval_if< mp_not<T1>, T1, mp_and, T... >;
  57 };
  58
  59 } // namespace detail
  60
  61 #else
  62
  63 namespace detail
  64 {
  65
  66 template<class L, class E = void> struct mp_and_impl
  67 {
  68     using type = mp_false;
  69 };
  70
  71 template<class... T> struct mp_and_impl< mp_list<T...>, mp_void<mp_if<T, void>...> >
  72 {
  73     using type = mp_true;
  74 };
  75
  76 } // namespace detail
  77
  78 template<class... T> using mp_and = typename detail::mp_and_impl<mp_list<T...>>::type;
  79
  80 #endif
  81
  82 // mp_all<T...>
  83 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86355
  84 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1920 ) || BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, != 0 )
  85
  86 template<class... T> using mp_all = mp_bool< mp_count_if< mp_list<T...>, mp_not >::value == 0 >;
  87
  88 #elif defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
  89
  90 template<class... T> using mp_all = mp_bool<(static_cast<bool>(T::value) && ...)>;
  91
  92 #else
  93
  94 template<class... T> using mp_all = mp_and<mp_to_bool<T>...>;
  95
  96 #endif
  97
  98 // mp_or<T...>
  99 namespace detail
 100 {
 101
 102 template<class... T> struct mp_or_impl;
 103
 104 } // namespace detail
 105
 106 template<class... T> using mp_or = mp_to_bool< typename detail::mp_or_impl<T...>::type >;
 107
 108 namespace detail
 109 {
 110
 111 template<> struct mp_or_impl<>
 112 {
 113     using type = mp_false;
 114 };
 115
 116 template<class T> struct mp_or_impl<T>
 117 {
 118     using type = T;
 119 };
 120
 121 template<class T1, class... T> struct mp_or_impl<T1, T...>
 122 {
 123     using type = mp_eval_if< T1, T1, mp_or, T... >;
 124 };
 125
 126 } // namespace detail
 127
 128 // mp_any<T...>
 129 // https://gcc.gnu.org/bugzilla/show_bug.cgi?id=86356
 130 #if defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS ) && !BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, != 0 ) && !BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1920 )
 131
 132 template<class... T> using mp_any = mp_bool<(static_cast<bool>(T::value) || ...)>;
 133
 134 #else
 135
 136 template<class... T> using mp_any = mp_bool< mp_count_if< mp_list<T...>, mp_to_bool >::value != 0 >;
 137
 138 #endif
 139
 140 // mp_same<T...>
 141 namespace detail
 142 {
 143
 144 template<class... T> struct mp_same_impl;
 145
 146 template<> struct mp_same_impl<>
 147 {
 148     using type = mp_true;
 149 };
 150
 151 template<class T1, class... T> struct mp_same_impl<T1, T...>
 152 {
 153     using type = mp_all<std::is_same<T1, T>...>;
 154 };
 155
 156 } // namespace detail
 157
 158 template<class... T> using mp_same = typename detail::mp_same_impl<T...>::type;
 159
 160 // mp_similar<T...>
 161 namespace detail
 162 {
 163
 164 template<class... T> struct mp_similar_impl;
 165
 166 template<> struct mp_similar_impl<>
 167 {
 168     using type = mp_true;
 169 };
 170
 171 template<class T> struct mp_similar_impl<T>
 172 {
 173     using type = mp_true;
 174 };
 175
 176 template<class T> struct mp_similar_impl<T, T>
 177 {
 178     using type = mp_true;
 179 };
 180
 181 template<class T1, class T2> struct mp_similar_impl<T1, T2>
 182 {
 183     using type = mp_false;
 184 };
 185
 186 template<template<class...> class L, class... T1, class... T2> struct mp_similar_impl<L<T1...>, L<T2...>>
 187 {
 188     using type = mp_true;
 189 };
 190
 191 template<class T1, class T2, class T3, class... T> struct mp_similar_impl<T1, T2, T3, T...>
 192 {
 193     using type = mp_all< typename mp_similar_impl<T1, T2>::type, typename mp_similar_impl<T1, T3>::type, typename mp_similar_impl<T1, T>::type... >;
 194 };
 195
 196 } // namespace detail
 197
 198 template<class... T> using mp_similar = typename detail::mp_similar_impl<T...>::type;
 199
 200 #if BOOST_MP11_GCC
 201 # pragma GCC diagnostic push
 202 # pragma GCC diagnostic ignored "-Wsign-compare"
 203 #endif
 204
 205 // mp_less<T1, T2>
 206 template<class T1, class T2> using mp_less = mp_bool<(T1::value < 0 && T2::value >= 0) || ((T1::value < T2::value) && !(T1::value >= 0 && T2::value < 0))>;
 207
 208 #if BOOST_MP11_GCC
 209 # pragma GCC diagnostic pop
 210 #endif
 211
 212 // mp_min<T...>
 213 template<class T1, class... T> using mp_min = mp_min_element<mp_list<T1, T...>, mp_less>;
 214
 215 // mp_max<T...>
 216 template<class T1, class... T> using mp_max = mp_max_element<mp_list<T1, T...>, mp_less>;
 217
 218 } // namespace mp11
 219 } // namespace boost
 220
 221 #endif // #ifndef BOOST_MP11_FUNCTION_HPP_INCLUDED