| 6554 |
serge |
1 |
// TR2 -*- C++ -*- |
|
|
2 |
|
|
|
3 |
// Copyright (C) 2011-2015 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 |
// . |
|
|
24 |
|
|
|
25 |
/** @file tr2/type_traits |
|
|
26 |
* This is a TR2 C++ Library header. |
|
|
27 |
*/ |
|
|
28 |
|
|
|
29 |
#ifndef _GLIBCXX_TR2_TYPE_TRAITS |
|
|
30 |
#define _GLIBCXX_TR2_TYPE_TRAITS 1 |
|
|
31 |
|
|
|
32 |
#pragma GCC system_header |
|
|
33 |
#include |
|
|
34 |
#include |
|
|
35 |
|
|
|
36 |
namespace std _GLIBCXX_VISIBILITY(default) |
|
|
37 |
{ |
|
|
38 |
namespace tr2 |
|
|
39 |
{ |
|
|
40 |
_GLIBCXX_BEGIN_NAMESPACE_VERSION |
|
|
41 |
|
|
|
42 |
/** |
|
|
43 |
* @addtogroup metaprogramming |
|
|
44 |
* @{ |
|
|
45 |
*/ |
|
|
46 |
|
|
|
47 |
/** |
|
|
48 |
* See N2965: Type traits and base classes |
|
|
49 |
* by Michael Spertus |
|
|
50 |
*/ |
|
|
51 |
|
|
|
52 |
/** |
|
|
53 |
* Simple typelist. Compile-time list of types. |
|
|
54 |
*/ |
|
|
55 |
template |
|
|
56 |
struct __reflection_typelist; |
|
|
57 |
|
|
|
58 |
/// Specialization for an empty typelist. |
|
|
59 |
template<> |
|
|
60 |
struct __reflection_typelist<> |
|
|
61 |
{ |
|
|
62 |
typedef std::true_type empty; |
|
|
63 |
}; |
|
|
64 |
|
|
|
65 |
/// Partial specialization. |
|
|
66 |
template |
|
|
67 |
struct __reflection_typelist<_First, _Rest...> |
|
|
68 |
{ |
|
|
69 |
typedef std::false_type empty; |
|
|
70 |
|
|
|
71 |
struct first |
|
|
72 |
{ |
|
|
73 |
typedef _First type; |
|
|
74 |
}; |
|
|
75 |
|
|
|
76 |
struct rest |
|
|
77 |
{ |
|
|
78 |
typedef __reflection_typelist<_Rest...> type; |
|
|
79 |
}; |
|
|
80 |
}; |
|
|
81 |
|
|
|
82 |
/// Sequence abstraction metafunctions for manipulating a typelist. |
|
|
83 |
|
|
|
84 |
|
|
|
85 |
|
|
|
86 |
/// Enumerate all the base classes of a class. Form of a typelist. |
|
|
87 |
template |
|
|
88 |
struct bases |
|
|
89 |
{ |
|
|
90 |
typedef __reflection_typelist<__bases(_Tp)...> type; |
|
|
91 |
}; |
|
|
92 |
|
|
|
93 |
/// Enumerate all the direct base classes of a class. Form of a typelist. |
|
|
94 |
template |
|
|
95 |
struct direct_bases |
|
|
96 |
{ |
|
|
97 |
typedef __reflection_typelist<__direct_bases(_Tp)...> type; |
|
|
98 |
}; |
|
|
99 |
|
|
|
100 |
/// @} group metaprogramming |
|
|
101 |
|
|
|
102 |
_GLIBCXX_END_NAMESPACE_VERSION |
|
|
103 |
} |
|
|
104 |
} |
|
|
105 |
|
|
|
106 |
#endif // _GLIBCXX_TR2_TYPE_TRAITS |