3rdparty/boost/boost/mp11/utility.hpp

   1 #ifndef BOOST_MP11_UTILITY_HPP_INCLUDED
   2 #define BOOST_MP11_UTILITY_HPP_INCLUDED
   3
   4 // Copyright 2015, 2017, 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/detail/config.hpp>
  13
  14 namespace boost
  15 {
  16 namespace mp11
  17 {
  18
  19 // mp_identity
  20 template<class T> struct mp_identity
  21 {
  22     using type = T;
  23 };
  24
  25 // mp_identity_t
  26 template<class T> using mp_identity_t = typename mp_identity<T>::type;
  27
  28 // mp_inherit
  29 template<class... T> struct mp_inherit: T... {};
  30
  31 // mp_if, mp_if_c
  32 namespace detail
  33 {
  34
  35 template<bool C, class T, class... E> struct mp_if_c_impl
  36 {
  37 };
  38
  39 template<class T, class... E> struct mp_if_c_impl<true, T, E...>
  40 {
  41     using type = T;
  42 };
  43
  44 template<class T, class E> struct mp_if_c_impl<false, T, E>
  45 {
  46     using type = E;
  47 };
  48
  49 } // namespace detail
  50
  51 template<bool C, class T, class... E> using mp_if_c = typename detail::mp_if_c_impl<C, T, E...>::type;
  52 template<class C, class T, class... E> using mp_if = typename detail::mp_if_c_impl<static_cast<bool>(C::value), T, E...>::type;
  53
  54 // mp_valid
  55
  56 #if BOOST_MP11_WORKAROUND( BOOST_MP11_INTEL, != 0 ) // tested at 1800
  57
  58 // contributed by Roland Schulz in https://github.com/boostorg/mp11/issues/17
  59
  60 namespace detail
  61 {
  62
  63 template<class...> using void_t = void;
  64
  65 template<class, template<class...> class F, class... T>
  66 struct mp_valid_impl: mp_false {};
  67
  68 template<template<class...> class F, class... T>
  69 struct mp_valid_impl<void_t<F<T...>>, F, T...>: mp_true {};
  70
  71 } // namespace detail
  72
  73 template<template<class...> class F, class... T> using mp_valid = typename detail::mp_valid_impl<void, F, T...>;
  74
  75 #else
  76
  77 // implementation by Bruno Dutra (by the name is_evaluable)
  78 namespace detail
  79 {
  80
  81 template<template<class...> class F, class... T> struct mp_valid_impl
  82 {
  83     template<template<class...> class G, class = G<T...>> static mp_true check(int);
  84     template<template<class...> class> static mp_false check(...);
  85
  86     using type = decltype(check<F>(0));
  87 };
  88
  89 } // namespace detail
  90
  91 template<template<class...> class F, class... T> using mp_valid = typename detail::mp_valid_impl<F, T...>::type;
  92
  93 #endif
  94
  95 template<class Q, class... T> using mp_valid_q = mp_valid<Q::template fn, T...>;
  96
  97 // mp_defer
  98 namespace detail
  99 {
 100
 101 template<template<class...> class F, class... T> struct mp_defer_impl
 102 {
 103     using type = F<T...>;
 104 };
 105
 106 struct mp_no_type
 107 {
 108 };
 109
 110 #if BOOST_MP11_WORKAROUND( BOOST_MP11_CUDA, >= 9000000 && BOOST_MP11_CUDA < 10000000 )
 111
 112 template<template<class...> class F, class... T> struct mp_defer_cuda_workaround
 113 {
 114     using type = mp_if<mp_valid<F, T...>, detail::mp_defer_impl<F, T...>, detail::mp_no_type>;
 115 };
 116
 117 #endif
 118
 119 } // namespace detail
 120
 121 #if BOOST_MP11_WORKAROUND( BOOST_MP11_CUDA, >= 9000000 && BOOST_MP11_CUDA < 10000000 )
 122
 123 template<template<class...> class F, class... T> using mp_defer = typename detail::mp_defer_cuda_workaround< F, T...>::type;
 124
 125 #else
 126
 127 template<template<class...> class F, class... T> using mp_defer = mp_if<mp_valid<F, T...>, detail::mp_defer_impl<F, T...>, detail::mp_no_type>;
 128
 129 #endif
 130
 131 // mp_eval_if, mp_eval_if_c
 132 namespace detail
 133 {
 134
 135 template<bool C, class T, template<class...> class F, class... U> struct mp_eval_if_c_impl;
 136
 137 template<class T, template<class...> class F, class... U> struct mp_eval_if_c_impl<true, T, F, U...>
 138 {
 139     using type = T;
 140 };
 141
 142 template<class T, template<class...> class F, class... U> struct mp_eval_if_c_impl<false, T, F, U...>: mp_defer<F, U...>
 143 {
 144 };
 145
 146 } // namespace detail
 147
 148 template<bool C, class T, template<class...> class F, class... U> using mp_eval_if_c = typename detail::mp_eval_if_c_impl<C, T, F, U...>::type;
 149 template<class C, class T, template<class...> class F, class... U> using mp_eval_if = typename detail::mp_eval_if_c_impl<static_cast<bool>(C::value), T, F, U...>::type;
 150 template<class C, class T, class Q, class... U> using mp_eval_if_q = typename detail::mp_eval_if_c_impl<static_cast<bool>(C::value), T, Q::template fn, U...>::type;
 151
 152 // mp_eval_if_not
 153 template<class C, class T, template<class...> class F, class... U> using mp_eval_if_not = mp_eval_if<mp_not<C>, T, F, U...>;
 154 template<class C, class T, class Q, class... U> using mp_eval_if_not_q = mp_eval_if<mp_not<C>, T, Q::template fn, U...>;
 155
 156 // mp_eval_or
 157 template<class T, template<class...> class F, class... U> using mp_eval_or = mp_eval_if_not<mp_valid<F, U...>, T, F, U...>;
 158 template<class T, class Q, class... U> using mp_eval_or_q = mp_eval_or<T, Q::template fn, U...>;
 159
 160 // mp_cond
 161
 162 // so elegant; so doesn't work
 163 // template<class C, class T, class... E> using mp_cond = mp_eval_if<C, T, mp_cond, E...>;
 164
 165 namespace detail
 166 {
 167
 168 template<class C, class T, class... E> struct mp_cond_impl;
 169
 170 } // namespace detail
 171
 172 template<class C, class T, class... E> using mp_cond = typename detail::mp_cond_impl<C, T, E...>::type;
 173
 174 namespace detail
 175 {
 176
 177 template<class C, class T, class... E> using mp_cond_ = mp_eval_if<C, T, mp_cond, E...>;
 178
 179 template<class C, class T, class... E> struct mp_cond_impl: mp_defer<mp_cond_, C, T, E...>
 180 {
 181 };
 182
 183 } // namespace detail
 184
 185 // mp_quote
 186 template<template<class...> class F> struct mp_quote
 187 {
 188     // the indirection through mp_defer works around the language inability
 189     // to expand T... into a fixed parameter list of an alias template
 190
 191     template<class... T> using fn = typename mp_defer<F, T...>::type;
 192 };
 193
 194 // mp_quote_trait
 195 template<template<class...> class F> struct mp_quote_trait
 196 {
 197     template<class... T> using fn = typename F<T...>::type;
 198 };
 199
 200 // mp_invoke_q
 201 #if BOOST_MP11_WORKAROUND( BOOST_MP11_MSVC, < 1900 )
 202
 203 namespace detail
 204 {
 205
 206 template<class Q, class... T> struct mp_invoke_q_impl: mp_defer<Q::template fn, T...> {};
 207
 208 } // namespace detail
 209
 210 template<class Q, class... T> using mp_invoke_q = typename detail::mp_invoke_q_impl<Q, T...>::type;
 211
 212 #elif BOOST_MP11_WORKAROUND( BOOST_MP11_GCC, < 50000 )
 213
 214 template<class Q, class... T> using mp_invoke_q = typename mp_defer<Q::template fn, T...>::type;
 215
 216 #else
 217
 218 template<class Q, class... T> using mp_invoke_q = typename Q::template fn<T...>;
 219
 220 #endif
 221
 222 // old name for mp_invoke_q retained for compatibility, but deprecated
 223 template<class Q, class... T> using mp_invoke BOOST_MP11_DEPRECATED("please use mp_invoke_q") = mp_invoke_q<Q, T...>;
 224
 225 // mp_not_fn<P>
 226 template<template<class...> class P> struct mp_not_fn
 227 {
 228     template<class... T> using fn = mp_not< mp_invoke_q<mp_quote<P>, T...> >;
 229 };
 230
 231 template<class Q> using mp_not_fn_q = mp_not_fn<Q::template fn>;
 232
 233 } // namespace mp11
 234 } // namespace boost
 235
 236 #endif // #ifndef BOOST_MP11_UTILITY_HPP_INCLUDED