33 #ifndef _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS 34 #define _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS 1 36 #pragma GCC system_header 38 #if __cplusplus >= 201402L 43 namespace std _GLIBCXX_VISIBILITY(default)
45 namespace experimental
47 inline namespace fundamentals_v1
49 _GLIBCXX_BEGIN_NAMESPACE_VERSION
51 #define __cpp_lib_experimental_type_trait_variable_templates 201402 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;
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;
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;
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;
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;
219 _GLIBCXX_END_NAMESPACE_VERSION
222 inline namespace fundamentals_v2
224 _GLIBCXX_BEGIN_NAMESPACE_VERSION
226 #define __cpp_lib_experimental_detect 201505 230 template<
typename...>
using void_t = void;
235 ~nonesuch() =
delete;
236 nonesuch(nonesuch
const&) =
delete;
237 void operator=(nonesuch
const&) =
delete;
240 template<
template<
typename...>
class _Op,
typename... _Args>
242 =
typename std::__detector<nonesuch, void, _Op, _Args...>::value_t;
244 template<
template<
typename...>
class _Op,
typename... _Args>
245 constexpr
bool is_detected_v = is_detected<_Op, _Args...>::value;
247 template<
template<
typename...>
class _Op,
typename... _Args>
249 =
typename std::__detector<nonesuch, void, _Op, _Args...>::type;
251 template<
typename _Default,
template<
typename...>
class _Op,
typename... _Args>
252 using detected_or = std::__detected_or<_Default, _Op, _Args...>;
254 template<
typename _Default,
template<
typename...>
class _Op,
typename... _Args>
255 using detected_or_t =
typename detected_or<_Default, _Op, _Args...>::type;
257 template<
typename Expected,
template<
typename...>
class _Op,
typename... _Args>
258 using is_detected_exact = is_same<Expected, detected_t<_Op, _Args...>>;
260 template<
typename Expected,
template<
typename...>
class _Op,
typename... _Args>
261 constexpr
bool is_detected_exact_v
262 = is_detected_exact<Expected, _Op, _Args...>::value;
264 template<
typename _To,
template<
typename...>
class _Op,
typename... _Args>
265 using is_detected_convertible
266 = is_convertible<detected_t<_Op, _Args...>, _To>;
268 template<
typename _To,
template<
typename...>
class _Op,
typename... _Args>
269 constexpr
bool is_detected_convertible_v
270 = is_detected_convertible<_To, _Op, _Args...>::value;
272 #define __cpp_lib_experimental_logical_traits 201511 274 template<
typename... _Bn>
279 template<
typename... _Bn>
284 template<
typename _Pp>
289 template<
typename... _Bn>
290 constexpr
bool conjunction_v
291 = conjunction<_Bn...>::value;
293 template<
typename... _Bn>
294 constexpr
bool disjunction_v
295 = disjunction<_Bn...>::value;
297 template<
typename _Pp>
298 constexpr
bool negation_v
299 = negation<_Pp>::value;
301 _GLIBCXX_END_NAMESPACE_VERSION
306 #endif // __cplusplus <= 201103L 308 #endif // _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS
ISO C++ entities toplevel namespace is std.