3 // Copyright (C) 2009-2018 Free Software Foundation, Inc.
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 terms
7 // of the GNU General Public License as published by the Free Software
8 // Foundation; either version 3, or (at your option) any later
11 // This library is distributed in the hope that it will be useful, but
12 // WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 // General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 #ifndef _GLIBCXX_TESTSUITE_CONTAINER_TRAITS_H
21 #define _GLIBCXX_TESTSUITE_CONTAINER_TRAITS_H
23 #include <bits/stdc++.h>
24 #include <ext/vstring.h>
29 // Base class with default false values for all traits.
32 // Type, nested type, and typedef related traits.
33 typedef std::false_type is_container
;
34 typedef std::false_type is_adaptor
;
35 typedef std::false_type is_reversible
;
36 typedef std::false_type is_allocator_aware
;
37 typedef std::false_type is_associative
;
38 typedef std::false_type is_unordered
;
39 typedef std::false_type is_mapped
;
41 typedef std::false_type has_erase
;
42 typedef std::false_type has_erase_after
;
43 typedef std::false_type has_throwing_erase
;
44 typedef std::false_type has_insert
;
45 typedef std::false_type has_insert_after
;
46 typedef std::false_type has_emplace
;
47 typedef std::false_type has_push_pop
;
48 typedef std::false_type has_size_type_constructor
;
51 // Primary template does nothing. Specialize on each type under
52 // test, derive off of traits_base and just add the true traits.
53 template<typename _Tp
>
56 // Specialize for each container.
57 template<typename _Tp
, size_t _Np
>
58 struct traits
<std::array
<_Tp
, _Np
>> : public traits_base
60 typedef std::true_type is_container
;
61 typedef std::true_type is_reversible
;
64 template<typename _Tp1
, typename _Tp2
>
65 struct traits
<std::deque
<_Tp1
, _Tp2
>> : public traits_base
67 typedef std::true_type is_container
;
68 typedef std::true_type is_reversible
;
69 typedef std::true_type is_allocator_aware
;
71 typedef std::true_type has_erase
;
72 typedef std::true_type has_throwing_erase
;
73 typedef std::true_type has_insert
;
74 typedef std::true_type has_push_pop
;
75 typedef std::true_type has_size_type_constructor
;
76 typedef std::true_type has_emplace
;
79 template<typename _Tp1
, typename _Tp2
>
80 struct traits
<std::forward_list
<_Tp1
, _Tp2
>> : public traits_base
82 typedef std::true_type is_container
;
83 typedef std::true_type is_allocator_aware
;
85 typedef std::true_type has_erase_after
;
86 typedef std::true_type has_insert_after
;
87 typedef std::true_type has_push_pop
;
88 typedef std::true_type has_size_type_constructor
;
89 typedef std::true_type has_emplace
;
92 template<typename _Tp1
, typename _Tp2
>
93 struct traits
<std::list
<_Tp1
, _Tp2
>> : public traits_base
95 typedef std::true_type is_container
;
96 typedef std::true_type is_reversible
;
97 typedef std::true_type is_allocator_aware
;
99 typedef std::true_type has_erase
;
100 typedef std::true_type has_insert
;
101 typedef std::true_type has_push_pop
;
102 typedef std::true_type has_size_type_constructor
;
103 typedef std::true_type has_emplace
;
106 template<typename _Tp1
, typename _Tp2
>
107 struct traits
<std::vector
<_Tp1
, _Tp2
>> : public traits_base
109 typedef std::true_type is_container
;
110 typedef std::true_type is_reversible
;
111 typedef std::true_type is_allocator_aware
;
113 typedef std::true_type has_erase
;
114 typedef std::true_type has_throwing_erase
;
115 typedef std::true_type has_insert
;
116 typedef std::true_type has_size_type_constructor
;
117 typedef std::true_type has_emplace
;
120 template<typename _Tp1
, typename _Tp2
, typename _Tp3
>
121 struct traits
<std::basic_string
<_Tp1
, _Tp2
, _Tp3
>> : public traits_base
123 typedef std::true_type is_container
;
124 typedef std::true_type is_reversible
;
125 typedef std::true_type is_allocator_aware
;
127 typedef std::true_type has_erase
;
128 typedef std::true_type has_insert
;
131 template<typename _Tp1
, typename _Tp2
, typename _Tp3
,
132 template <typename
, typename
, typename
> class _Tp4
>
133 struct traits
<__gnu_cxx::__versa_string
<_Tp1
, _Tp2
, _Tp3
, _Tp4
>>
136 typedef std::true_type is_container
;
137 typedef std::true_type is_reversible
;
138 typedef std::true_type is_allocator_aware
;
140 typedef std::true_type has_erase
;
141 typedef std::true_type has_insert
;
144 template<typename _Tp1
, typename _Tp2
, typename _Tp3
, typename _Tp4
>
145 struct traits
<std::map
<_Tp1
, _Tp2
, _Tp3
, _Tp4
>> : public traits_base
147 typedef std::true_type is_container
;
148 typedef std::true_type is_reversible
;
149 typedef std::true_type is_allocator_aware
;
150 typedef std::true_type is_associative
;
151 typedef std::true_type is_mapped
;
153 typedef std::true_type has_erase
;
154 typedef std::true_type has_insert
;
155 typedef std::true_type has_emplace
;
158 template<typename _Tp1
, typename _Tp2
, typename _Tp3
, typename _Tp4
>
159 struct traits
<std::multimap
<_Tp1
, _Tp2
, _Tp3
, _Tp4
>> : public traits_base
161 typedef std::true_type is_container
;
162 typedef std::true_type is_reversible
;
163 typedef std::true_type is_allocator_aware
;
164 typedef std::true_type is_associative
;
165 typedef std::true_type is_mapped
;
167 typedef std::true_type has_erase
;
168 typedef std::true_type has_insert
;
169 typedef std::true_type has_emplace
;
172 template<typename _Tp1
, typename _Tp2
, typename _Tp3
>
173 struct traits
<std::set
<_Tp1
, _Tp2
, _Tp3
>> : public traits_base
175 typedef std::true_type is_container
;
176 typedef std::true_type is_reversible
;
177 typedef std::true_type is_allocator_aware
;
178 typedef std::true_type is_associative
;
180 typedef std::true_type has_erase
;
181 typedef std::true_type has_insert
;
182 typedef std::true_type has_emplace
;
185 template<typename _Tp1
, typename _Tp2
, typename _Tp3
>
186 struct traits
<std::multiset
<_Tp1
, _Tp2
, _Tp3
>> : public traits_base
188 typedef std::true_type is_container
;
189 typedef std::true_type is_reversible
;
190 typedef std::true_type is_allocator_aware
;
191 typedef std::true_type is_associative
;
193 typedef std::true_type has_erase
;
194 typedef std::true_type has_insert
;
195 typedef std::true_type has_emplace
;
198 template<typename _Tp1
, typename _Tp2
>
199 struct traits
<std::priority_queue
<_Tp1
, _Tp2
>> : public traits_base
201 typedef std::true_type is_adaptor
;
204 template<typename _Tp1
, typename _Tp2
>
205 struct traits
<std::queue
<_Tp1
, _Tp2
>> : public traits_base
207 typedef std::true_type is_adaptor
;
210 template<typename _Tp1
, typename _Tp2
>
211 struct traits
<std::stack
<_Tp1
, _Tp2
> > : public traits_base
213 typedef std::true_type is_adaptor
;
216 template<typename _Tp1
, typename _Tp2
, typename _Tp3
,
217 typename _Tp4
, typename _Tp5
>
218 struct traits
<std::unordered_map
<_Tp1
, _Tp2
, _Tp3
, _Tp4
, _Tp5
>>
221 typedef std::true_type is_container
;
222 typedef std::true_type is_allocator_aware
;
223 typedef std::true_type is_unordered
;
224 typedef std::true_type is_mapped
;
226 typedef std::true_type has_erase
;
227 typedef std::true_type has_insert
;
228 typedef std::true_type has_emplace
;
231 template<typename _Tp1
, typename _Tp2
, typename _Tp3
,
232 typename _Tp4
, typename _Tp5
>
233 struct traits
<std::unordered_multimap
<_Tp1
, _Tp2
, _Tp3
, _Tp4
, _Tp5
>>
236 typedef std::true_type is_container
;
237 typedef std::true_type is_allocator_aware
;
238 typedef std::true_type is_unordered
;
239 typedef std::true_type is_mapped
;
241 typedef std::true_type has_erase
;
242 typedef std::true_type has_insert
;
243 typedef std::true_type has_emplace
;
246 template<typename _Tp1
, typename _Tp2
, typename _Tp3
, typename _Tp4
>
247 struct traits
<std::unordered_multiset
<_Tp1
, _Tp2
, _Tp3
, _Tp4
>>
250 typedef std::true_type is_container
;
251 typedef std::true_type is_allocator_aware
;
252 typedef std::true_type is_unordered
;
254 typedef std::true_type has_erase
;
255 typedef std::true_type has_insert
;
256 typedef std::true_type has_emplace
;
259 template<typename _Tp1
, typename _Tp2
, typename _Tp3
, typename _Tp4
>
260 struct traits
<std::unordered_set
<_Tp1
, _Tp2
, _Tp3
, _Tp4
>>
263 typedef std::true_type is_container
;
264 typedef std::true_type is_allocator_aware
;
265 typedef std::true_type is_unordered
;
267 typedef std::true_type has_erase
;
268 typedef std::true_type has_insert
;
269 typedef std::true_type has_emplace
;
271 } // namespace __gnu_test