libstdc++
experimental/type_traits
Go to the documentation of this file.
1// Variable Templates For Type Traits -*- C++ -*-
2
3// Copyright (C) 2014-2017 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 <= 201103L
39# include <bits/c++14_warning.h>
40#else
41
42#include <type_traits>
43#include <experimental/bits/lfts_config.h>
44
45namespace std _GLIBCXX_VISIBILITY(default)
46{
47namespace experimental
48{
49inline namespace fundamentals_v1
50{
51_GLIBCXX_BEGIN_NAMESPACE_VERSION
52
53#define __cpp_lib_experimental_type_trait_variable_templates 201402
54
55// See C++14 §20.10.4.1, primary type categories
56template <typename _Tp>
57 constexpr bool is_void_v = is_void<_Tp>::value;
58template <typename _Tp>
59 constexpr bool is_null_pointer_v = is_null_pointer<_Tp>::value;
60template <typename _Tp>
61 constexpr bool is_integral_v = is_integral<_Tp>::value;
62template <typename _Tp>
63 constexpr bool is_floating_point_v = is_floating_point<_Tp>::value;
64template <typename _Tp>
65 constexpr bool is_array_v = is_array<_Tp>::value;
66template <typename _Tp>
67 constexpr bool is_pointer_v = is_pointer<_Tp>::value;
68template <typename _Tp>
69 constexpr bool is_lvalue_reference_v = is_lvalue_reference<_Tp>::value;
70template <typename _Tp>
71 constexpr bool is_rvalue_reference_v = is_rvalue_reference<_Tp>::value;
72template <typename _Tp>
73 constexpr bool is_member_object_pointer_v =
74 is_member_object_pointer<_Tp>::value;
75template <typename _Tp>
76 constexpr bool is_member_function_pointer_v =
77 is_member_function_pointer<_Tp>::value;
78template <typename _Tp>
79 constexpr bool is_enum_v = is_enum<_Tp>::value;
80template <typename _Tp>
81 constexpr bool is_union_v = is_union<_Tp>::value;
82template <typename _Tp>
83 constexpr bool is_class_v = is_class<_Tp>::value;
84template <typename _Tp>
85 constexpr bool is_function_v = is_function<_Tp>::value;
86
87// See C++14 §20.10.4.2, composite type categories
88template <typename _Tp>
89 constexpr bool is_reference_v = is_reference<_Tp>::value;
90template <typename _Tp>
91 constexpr bool is_arithmetic_v = is_arithmetic<_Tp>::value;
92template <typename _Tp>
93 constexpr bool is_fundamental_v = is_fundamental<_Tp>::value;
94template <typename _Tp>
95 constexpr bool is_object_v = is_object<_Tp>::value;
96template <typename _Tp>
97 constexpr bool is_scalar_v = is_scalar<_Tp>::value;
98template <typename _Tp>
99 constexpr bool is_compound_v = is_compound<_Tp>::value;
100template <typename _Tp>
101 constexpr bool is_member_pointer_v = is_member_pointer<_Tp>::value;
102
103// See C++14 §20.10.4.3, type properties
104template <typename _Tp>
105 constexpr bool is_const_v = is_const<_Tp>::value;
106template <typename _Tp>
107 constexpr bool is_volatile_v = is_volatile<_Tp>::value;
108template <typename _Tp>
109 constexpr bool is_trivial_v = is_trivial<_Tp>::value;
110template <typename _Tp>
111 constexpr bool is_trivially_copyable_v = is_trivially_copyable<_Tp>::value;
112template <typename _Tp>
113 constexpr bool is_standard_layout_v = is_standard_layout<_Tp>::value;
114template <typename _Tp>
115 constexpr bool is_pod_v = is_pod<_Tp>::value;
116template <typename _Tp>
117 constexpr bool is_literal_type_v = is_literal_type<_Tp>::value;
118template <typename _Tp>
119 constexpr bool is_empty_v = is_empty<_Tp>::value;
120template <typename _Tp>
121 constexpr bool is_polymorphic_v = is_polymorphic<_Tp>::value;
122template <typename _Tp>
123 constexpr bool is_abstract_v = is_abstract<_Tp>::value;
124template <typename _Tp>
125 constexpr bool is_final_v = is_final<_Tp>::value;
126template <typename _Tp>
127 constexpr bool is_signed_v = is_signed<_Tp>::value;
128template <typename _Tp>
129 constexpr bool is_unsigned_v = is_unsigned<_Tp>::value;
130template <typename _Tp, typename... _Args>
131 constexpr bool is_constructible_v = is_constructible<_Tp, _Args...>::value;
132template <typename _Tp>
133 constexpr bool is_default_constructible_v =
134 is_default_constructible<_Tp>::value;
135template <typename _Tp>
136 constexpr bool is_copy_constructible_v = is_copy_constructible<_Tp>::value;
137template <typename _Tp>
138 constexpr bool is_move_constructible_v = is_move_constructible<_Tp>::value;
139template <typename _Tp, typename _Up>
140 constexpr bool is_assignable_v = is_assignable<_Tp, _Up>::value;
141template <typename _Tp>
142 constexpr bool is_copy_assignable_v = is_copy_assignable<_Tp>::value;
143template <typename _Tp>
144 constexpr bool is_move_assignable_v = is_move_assignable<_Tp>::value;
145template <typename _Tp>
146 constexpr bool is_destructible_v = is_destructible<_Tp>::value;
147template <typename _Tp, typename... _Args>
148 constexpr bool is_trivially_constructible_v =
149 is_trivially_constructible<_Tp, _Args...>::value;
150template <typename _Tp>
151 constexpr bool is_trivially_default_constructible_v =
152 is_trivially_default_constructible<_Tp>::value;
153template <typename _Tp>
154 constexpr bool is_trivially_copy_constructible_v =
155 is_trivially_copy_constructible<_Tp>::value;
156template <typename _Tp>
157 constexpr bool is_trivially_move_constructible_v =
158 is_trivially_move_constructible<_Tp>::value;
159template <typename _Tp, typename _Up>
160 constexpr bool is_trivially_assignable_v =
161 is_trivially_assignable<_Tp, _Up>::value;
162template <typename _Tp>
163 constexpr bool is_trivially_copy_assignable_v =
164 is_trivially_copy_assignable<_Tp>::value;
165template <typename _Tp>
166 constexpr bool is_trivially_move_assignable_v =
167 is_trivially_move_assignable<_Tp>::value;
168template <typename _Tp>
169 constexpr bool is_trivially_destructible_v =
170 is_trivially_destructible<_Tp>::value;
171template <typename _Tp, typename... _Args>
172 constexpr bool is_nothrow_constructible_v =
173 is_nothrow_constructible<_Tp, _Args...>::value;
174template <typename _Tp>
175 constexpr bool is_nothrow_default_constructible_v =
176 is_nothrow_default_constructible<_Tp>::value;
177template <typename _Tp>
178 constexpr bool is_nothrow_copy_constructible_v =
179 is_nothrow_copy_constructible<_Tp>::value;
180template <typename _Tp>
181 constexpr bool is_nothrow_move_constructible_v =
182 is_nothrow_move_constructible<_Tp>::value;
183template <typename _Tp, typename _Up>
184 constexpr bool is_nothrow_assignable_v =
185 is_nothrow_assignable<_Tp, _Up>::value;
186template <typename _Tp>
187 constexpr bool is_nothrow_copy_assignable_v =
188 is_nothrow_copy_assignable<_Tp>::value;
189template <typename _Tp>
190 constexpr bool is_nothrow_move_assignable_v =
191 is_nothrow_move_assignable<_Tp>::value;
192template <typename _Tp>
193 constexpr bool is_nothrow_destructible_v =
194 is_nothrow_destructible<_Tp>::value;
195template <typename _Tp>
196 constexpr bool has_virtual_destructor_v =
197 has_virtual_destructor<_Tp>::value;
198
199// See C++14 §20.10.5, type property queries
200template <typename _Tp>
201 constexpr size_t alignment_of_v = alignment_of<_Tp>::value;
202template <typename _Tp>
203 constexpr size_t rank_v = rank<_Tp>::value;
204template <typename _Tp, unsigned _Idx = 0>
205 constexpr size_t extent_v = extent<_Tp, _Idx>::value;
206
207// See C++14 §20.10.6, type relations
208template <typename _Tp, typename _Up>
209 constexpr bool is_same_v = is_same<_Tp, _Up>::value;
210template <typename _Base, typename _Derived>
211 constexpr bool is_base_of_v = is_base_of<_Base, _Derived>::value;
212template <typename _From, typename _To>
213 constexpr bool is_convertible_v = is_convertible<_From, _To>::value;
214
215
216 // 3.3.2, Other type transformations
217 // invocation_type (still unimplemented)
218 // raw_invocation_type (still unimplemented)
219 // invocation_type_t (still unimplemented)
220 // raw_invocation_type_t (still unimplemented)
221_GLIBCXX_END_NAMESPACE_VERSION
222} // namespace fundamentals_v1
223
224inline namespace fundamentals_v2
225{
226_GLIBCXX_BEGIN_NAMESPACE_VERSION
227
228#define __cpp_lib_experimental_detect 201505
229
230// [meta.detect]
231
232template<typename...> using void_t = void;
233
234struct nonesuch
235{
236 nonesuch() = delete;
237 ~nonesuch() = delete;
238 nonesuch(nonesuch const&) = delete;
239 void operator=(nonesuch const&) = delete;
240};
241
242template<template<typename...> class _Op, typename... _Args>
243 using is_detected
244 = typename std::__detector<nonesuch, void, _Op, _Args...>::value_t;
245
246template<template<typename...> class _Op, typename... _Args>
247 constexpr bool is_detected_v = is_detected<_Op, _Args...>::value;
248
249template<template<typename...> class _Op, typename... _Args>
250 using detected_t
251 = typename std::__detector<nonesuch, void, _Op, _Args...>::type;
252
253template<typename _Default, template<typename...> class _Op, typename... _Args>
254 using detected_or = std::__detected_or<_Default, _Op, _Args...>;
255
256template<typename _Default, template<typename...> class _Op, typename... _Args>
257 using detected_or_t = typename detected_or<_Default, _Op, _Args...>::type;
258
259template<typename Expected, template<typename...> class _Op, typename... _Args>
260 using is_detected_exact = is_same<Expected, detected_t<_Op, _Args...>>;
261
262template<typename Expected, template<typename...> class _Op, typename... _Args>
263 constexpr bool is_detected_exact_v
264 = is_detected_exact<Expected, _Op, _Args...>::value;
265
266template<typename _To, template<typename...> class _Op, typename... _Args>
267 using is_detected_convertible
268 = is_convertible<detected_t<_Op, _Args...>, _To>;
269
270template<typename _To, template<typename...> class _Op, typename... _Args>
271 constexpr bool is_detected_convertible_v
272 = is_detected_convertible<_To, _Op, _Args...>::value;
273
274#define __cpp_lib_experimental_logical_traits 201511
275
276template<typename... _Bn>
277 struct conjunction
278 : __and_<_Bn...>
279 { };
280
281template<typename... _Bn>
282 struct disjunction
283 : __or_<_Bn...>
284 { };
285
286template<typename _Pp>
287 struct negation
288 : __not_<_Pp>
289 { };
290
291template<typename... _Bn>
292 constexpr bool conjunction_v
293 = conjunction<_Bn...>::value;
294
295template<typename... _Bn>
296 constexpr bool disjunction_v
297 = disjunction<_Bn...>::value;
298
299template<typename _Pp>
300 constexpr bool negation_v
301 = negation<_Pp>::value;
302
303_GLIBCXX_END_NAMESPACE_VERSION
304} // namespace fundamentals_v2
305} // namespace experimental
306} // namespace std
307
308#endif // __cplusplus <= 201103L
309
310#endif // _GLIBCXX_EXPERIMENTAL_TYPE_TRAITS