libstdc++-v3/include/experimental/type_traits

   1 // Variable Templates For Type Traits -*- C++ -*-
   2
   3 // Copyright (C) 2014-2019 Free Software Foundation, Inc.
   4 //
   5 // This file is part of the GNU ISO C++ Library.  This library is free
   6 // software; you can redistribute it and/or modify it under the
   7 // terms of the GNU General Public License as published by the
   8 // Free Software Foundation; either version 3, or (at your option)
   9 // any later version.
  10
  11 // This library is distributed in the hope that it will be useful,
  12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  14 // GNU General Public License for more details.
  15
  16 // Under Section 7 of GPL version 3, you are granted additional
  17 // permissions described in the GCC Runtime Library Exception, version
  18 // 3.1, as published by the Free Software Foundation.
  19
  20 // You should have received a copy of the GNU General Public License and
  21 // a copy of the GCC Runtime Library Exception along with this program;
  22 // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
  23 // <http://www.gnu.org/licenses/>.
  24
  25 /** @file experimental/type_traits
  26  *  This is a TS C++ Library header.
  27  */
  28
  29 //
  30 // N3932 Variable Templates For Type Traits (Revision 1)
  31 //
  32
  33 #ifndef _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS
  34 #define _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS 1
  35
  36 #pragma GCC system_header
  37
  38 #if __cplusplus >= 201402L
  39
  40 #include <type_traits>
  41 #include <experimental/bits/lfts_config.h>
  42
  43 namespace std _GLIBCXX_VISIBILITY(default)
  44 {
  45 _GLIBCXX_BEGIN_NAMESPACE_VERSION
  46
  47 namespace experimental
  48 {
  49 inline namespace fundamentals_v1
  50 {
  51 #define __cpp_lib_experimental_type_trait_variable_templates 201402
  52
  53 // See C++14 §20.10.4.1, primary type categories
  54 template <typename _Tp>
  55   constexpr bool is_void_v = is_void<_Tp>::value;
  56 template <typename _Tp>
  57   constexpr bool is_null_pointer_v = is_null_pointer<_Tp>::value;
  58 template <typename _Tp>
  59   constexpr bool is_integral_v = is_integral<_Tp>::value;
  60 template <typename _Tp>
  61   constexpr bool is_floating_point_v = is_floating_point<_Tp>::value;
  62 template <typename _Tp>
  63   constexpr bool is_array_v = is_array<_Tp>::value;
  64 template <typename _Tp>
  65   constexpr bool is_pointer_v = is_pointer<_Tp>::value;
  66 template <typename _Tp>
  67   constexpr bool is_lvalue_reference_v = is_lvalue_reference<_Tp>::value;
  68 template <typename _Tp>
  69   constexpr bool is_rvalue_reference_v = is_rvalue_reference<_Tp>::value;
  70 template <typename _Tp>
  71   constexpr bool is_member_object_pointer_v =
  72     is_member_object_pointer<_Tp>::value;
  73 template <typename _Tp>
  74   constexpr bool is_member_function_pointer_v =
  75     is_member_function_pointer<_Tp>::value;
  76 template <typename _Tp>
  77   constexpr bool is_enum_v = is_enum<_Tp>::value;
  78 template <typename _Tp>
  79   constexpr bool is_union_v = is_union<_Tp>::value;
  80 template <typename _Tp>
  81   constexpr bool is_class_v = is_class<_Tp>::value;
  82 template <typename _Tp>
  83   constexpr bool is_function_v = is_function<_Tp>::value;
  84
  85 // See C++14 §20.10.4.2, composite type categories
  86 template <typename _Tp>
  87   constexpr bool is_reference_v = is_reference<_Tp>::value;
  88 template <typename _Tp>
  89   constexpr bool is_arithmetic_v = is_arithmetic<_Tp>::value;
  90 template <typename _Tp>
  91   constexpr bool is_fundamental_v = is_fundamental<_Tp>::value;
  92 template <typename _Tp>
  93   constexpr bool is_object_v = is_object<_Tp>::value;
  94 template <typename _Tp>
  95   constexpr bool is_scalar_v = is_scalar<_Tp>::value;
  96 template <typename _Tp>
  97   constexpr bool is_compound_v = is_compound<_Tp>::value;
  98 template <typename _Tp>
  99  constexpr bool is_member_pointer_v = is_member_pointer<_Tp>::value;
 100
 101 // See C++14 §20.10.4.3, type properties
 102 template <typename _Tp>
 103   constexpr bool is_const_v = is_const<_Tp>::value;
 104 template <typename _Tp>
 105   constexpr bool is_volatile_v = is_volatile<_Tp>::value;
 106 template <typename _Tp>
 107   constexpr bool is_trivial_v = is_trivial<_Tp>::value;
 108 template <typename _Tp>
 109   constexpr bool is_trivially_copyable_v = is_trivially_copyable<_Tp>::value;
 110 template <typename _Tp>
 111   constexpr bool is_standard_layout_v = is_standard_layout<_Tp>::value;
 112 template <typename _Tp>
 113   constexpr bool is_pod_v = is_pod<_Tp>::value;
 114 template <typename _Tp>
 115   constexpr bool is_literal_type_v = is_literal_type<_Tp>::value;
 116 template <typename _Tp>
 117   constexpr bool is_empty_v = is_empty<_Tp>::value;
 118 template <typename _Tp>
 119   constexpr bool is_polymorphic_v = is_polymorphic<_Tp>::value;
 120 template <typename _Tp>
 121   constexpr bool is_abstract_v = is_abstract<_Tp>::value;
 122 template <typename _Tp>
 123   constexpr bool is_final_v = is_final<_Tp>::value;
 124 template <typename _Tp>
 125   constexpr bool is_signed_v = is_signed<_Tp>::value;
 126 template <typename _Tp>
 127   constexpr bool is_unsigned_v = is_unsigned<_Tp>::value;
 128 template <typename _Tp, typename... _Args>
 129   constexpr bool is_constructible_v = is_constructible<_Tp, _Args...>::value;
 130 template <typename _Tp>
 131   constexpr bool is_default_constructible_v =
 132     is_default_constructible<_Tp>::value;
 133 template <typename _Tp>
 134   constexpr bool is_copy_constructible_v = is_copy_constructible<_Tp>::value;
 135 template <typename _Tp>
 136   constexpr bool is_move_constructible_v = is_move_constructible<_Tp>::value;
 137 template <typename _Tp, typename _Up>
 138   constexpr bool is_assignable_v = is_assignable<_Tp, _Up>::value;
 139 template <typename _Tp>
 140   constexpr bool is_copy_assignable_v = is_copy_assignable<_Tp>::value;
 141 template <typename _Tp>
 142   constexpr bool is_move_assignable_v = is_move_assignable<_Tp>::value;
 143 template <typename _Tp>
 144   constexpr bool is_destructible_v = is_destructible<_Tp>::value;
 145 template <typename _Tp, typename... _Args>
 146   constexpr bool is_trivially_constructible_v =
 147     is_trivially_constructible<_Tp, _Args...>::value;
 148 template <typename _Tp>
 149   constexpr bool is_trivially_default_constructible_v =
 150     is_trivially_default_constructible<_Tp>::value;
 151 template <typename _Tp>
 152   constexpr bool is_trivially_copy_constructible_v =
 153     is_trivially_copy_constructible<_Tp>::value;
 154 template <typename _Tp>
 155   constexpr bool is_trivially_move_constructible_v =
 156     is_trivially_move_constructible<_Tp>::value;
 157 template <typename _Tp, typename _Up>
 158   constexpr bool is_trivially_assignable_v =
 159     is_trivially_assignable<_Tp, _Up>::value;
 160 template <typename _Tp>
 161   constexpr bool is_trivially_copy_assignable_v =
 162     is_trivially_copy_assignable<_Tp>::value;
 163 template <typename _Tp>
 164   constexpr bool is_trivially_move_assignable_v =
 165     is_trivially_move_assignable<_Tp>::value;
 166 template <typename _Tp>
 167   constexpr bool is_trivially_destructible_v =
 168     is_trivially_destructible<_Tp>::value;
 169 template <typename _Tp, typename... _Args>
 170   constexpr bool is_nothrow_constructible_v =
 171     is_nothrow_constructible<_Tp, _Args...>::value;
 172 template <typename _Tp>
 173   constexpr bool is_nothrow_default_constructible_v =
 174     is_nothrow_default_constructible<_Tp>::value;
 175 template <typename _Tp>
 176   constexpr bool is_nothrow_copy_constructible_v =
 177     is_nothrow_copy_constructible<_Tp>::value;
 178 template <typename _Tp>
 179   constexpr bool is_nothrow_move_constructible_v =
 180     is_nothrow_move_constructible<_Tp>::value;
 181 template <typename _Tp, typename _Up>
 182   constexpr bool is_nothrow_assignable_v =
 183     is_nothrow_assignable<_Tp, _Up>::value;
 184 template <typename _Tp>
 185   constexpr bool is_nothrow_copy_assignable_v =
 186     is_nothrow_copy_assignable<_Tp>::value;
 187 template <typename _Tp>
 188   constexpr bool is_nothrow_move_assignable_v =
 189     is_nothrow_move_assignable<_Tp>::value;
 190 template <typename _Tp>
 191   constexpr bool is_nothrow_destructible_v =
 192     is_nothrow_destructible<_Tp>::value;
 193 template <typename _Tp>
 194   constexpr bool has_virtual_destructor_v =
 195     has_virtual_destructor<_Tp>::value;
 196
 197 // See C++14 §20.10.5, type property queries
 198 template <typename _Tp>
 199   constexpr size_t alignment_of_v = alignment_of<_Tp>::value;
 200 template <typename _Tp>
 201   constexpr size_t rank_v = rank<_Tp>::value;
 202 template <typename _Tp, unsigned _Idx = 0>
 203   constexpr size_t extent_v = extent<_Tp, _Idx>::value;
 204
 205 // See C++14 §20.10.6, type relations
 206 template <typename _Tp, typename _Up>
 207   constexpr bool is_same_v = is_same<_Tp, _Up>::value;
 208 template <typename _Base, typename _Derived>
 209   constexpr bool is_base_of_v = is_base_of<_Base, _Derived>::value;
 210 template <typename _From, typename _To>
 211   constexpr bool is_convertible_v = is_convertible<_From, _To>::value;
 212
 213
 214   // 3.3.2, Other type transformations
 215   // invocation_type (still unimplemented)
 216   // raw_invocation_type (still unimplemented)
 217   // invocation_type_t (still unimplemented)
 218   // raw_invocation_type_t (still unimplemented)
 219 } // namespace fundamentals_v1
 220
 221 inline namespace fundamentals_v2
 222 {
 223 #define __cpp_lib_experimental_detect 201505
 224
 225 // [meta.detect]
 226
 227 template<typename...> using void_t = void;
 228
 229 struct nonesuch
 230 {
 231   nonesuch() = delete;
 232   ~nonesuch() = delete;
 233   nonesuch(nonesuch const&) = delete;
 234   void operator=(nonesuch const&) = delete;
 235 };
 236
 237 template<template<typename...> class _Op, typename... _Args>
 238   using is_detected
 239     = typename std::__detector<nonesuch, void, _Op, _Args...>::value_t;
 240
 241 template<template<typename...> class _Op, typename... _Args>
 242   constexpr bool is_detected_v = is_detected<_Op, _Args...>::value;
 243
 244 template<template<typename...> class _Op, typename... _Args>
 245   using detected_t
 246     = typename std::__detector<nonesuch, void, _Op, _Args...>::type;
 247
 248 template<typename _Default, template<typename...> class _Op, typename... _Args>
 249   using detected_or = std::__detected_or<_Default, _Op, _Args...>;
 250
 251 template<typename _Default, template<typename...> class _Op, typename... _Args>
 252   using detected_or_t = typename detected_or<_Default, _Op, _Args...>::type;
 253
 254 template<typename Expected, template<typename...> class _Op, typename... _Args>
 255   using is_detected_exact = is_same<Expected, detected_t<_Op, _Args...>>;
 256
 257 template<typename Expected, template<typename...> class _Op, typename... _Args>
 258   constexpr bool is_detected_exact_v
 259     = is_detected_exact<Expected, _Op, _Args...>::value;
 260
 261 template<typename _To, template<typename...> class _Op, typename... _Args>
 262   using is_detected_convertible
 263     = is_convertible<detected_t<_Op, _Args...>, _To>;
 264
 265 template<typename _To, template<typename...> class _Op, typename... _Args>
 266   constexpr bool is_detected_convertible_v
 267     = is_detected_convertible<_To, _Op, _Args...>::value;
 268
 269 #define __cpp_lib_experimental_logical_traits 201511
 270
 271 template<typename... _Bn>
 272   struct conjunction
 273   : __and_<_Bn...>
 274   { };
 275
 276 template<typename... _Bn>
 277   struct disjunction
 278   : __or_<_Bn...>
 279   { };
 280
 281 template<typename _Pp>
 282   struct negation
 283   : __not_<_Pp>
 284   { };
 285
 286 template<typename... _Bn>
 287   constexpr bool conjunction_v
 288     = conjunction<_Bn...>::value;
 289
 290 template<typename... _Bn>
 291   constexpr bool disjunction_v
 292     = disjunction<_Bn...>::value;
 293
 294 template<typename _Pp>
 295   constexpr bool negation_v
 296     = negation<_Pp>::value;
 297 } // namespace fundamentals_v2
 298 } // namespace experimental
 299
 300 _GLIBCXX_END_NAMESPACE_VERSION
 301 } // namespace std
 302
 303 #endif // __cplusplus <= 201103L
 304
 305 #endif // _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS