1 /* Copyright (C) 2017 Free Software Foundation, Inc.
3 This file is part of GDB.
5 This program is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published by
7 the Free Software Foundation; either version 3 of the License, or
8 (at your option) any later version.
10 This program is distributed in the hope that it will be useful,
11 but WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 GNU General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18 #ifndef COMMON_TRAITS_H
19 #define COMMON_TRAITS_H
21 #include <type_traits>
25 /* Pre C++14-safe (CWG 1558) version of C++17's std::void_t. See
26 <http://en.cppreference.com/w/cpp/types/void_t>. */
28 template<typename
... Ts
>
29 struct make_void
{ typedef void type
; };
31 template<typename
... Ts
>
32 using void_t
= typename make_void
<Ts
...>::type
;
34 /* A few trait helpers, mainly stolen from libstdc++. Uppercase
35 because "and/or", etc. are reserved keywords. */
37 template<typename Predicate
>
38 struct Not
: public std::integral_constant
<bool, !Predicate::value
>
45 struct Or
<> : public std::false_type
49 struct Or
<B1
> : public B1
52 template<typename B1
, typename B2
>
54 : public std::conditional
<B1::value
, B1
, B2
>::type
57 template<typename B1
,typename B2
,typename B3
, typename
... Bn
>
58 struct Or
<B1
, B2
, B3
, Bn
...>
59 : public std::conditional
<B1::value
, B1
, Or
<B2
, B3
, Bn
...>>::type
66 struct And
<> : public std::true_type
70 struct And
<B1
> : public B1
73 template<typename B1
, typename B2
>
75 : public std::conditional
<B1::value
, B2
, B1
>::type
78 template<typename B1
, typename B2
, typename B3
, typename
... Bn
>
79 struct And
<B1
, B2
, B3
, Bn
...>
80 : public std::conditional
<B1::value
, And
<B2
, B3
, Bn
...>, B1
>::type
83 /* Concepts-light-like helper to make SFINAE logic easier to read. */
84 template<typename Condition
>
85 using Requires
= typename
std::enable_if
<Condition::value
, void>::type
;
88 #endif /* COMMON_TRAITS_H */
This page took 0.032391 seconds and 5 git commands to generate.