1 // Profiling set implementation -*- C++ -*-
2
3 // Copyright (C) 2009-2013 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 profile/set.h
26 * This file is a GNU profile extension to the Standard C++ Library.
27 */
28
29 #ifndef _GLIBCXX_PROFILE_SET_H
30 #define _GLIBCXX_PROFILE_SET_H 1
31
32 #include <utility>
33
_GLIBCXX_VISIBILITY(default)34 namespace std _GLIBCXX_VISIBILITY(default)
35 {
36 namespace __profile
37 {
38 /// Class std::set wrapper with performance instrumentation.
39 template<typename _Key, typename _Compare = std::less<_Key>,
40 typename _Allocator = std::allocator<_Key> >
41 class set
42 : public _GLIBCXX_STD_C::set<_Key,_Compare,_Allocator>
43 {
44 typedef _GLIBCXX_STD_C::set<_Key, _Compare, _Allocator> _Base;
45
46 public:
47 // types:
48 typedef _Key key_type;
49 typedef _Key value_type;
50 typedef _Compare key_compare;
51 typedef _Compare value_compare;
52 typedef _Allocator allocator_type;
53 typedef typename _Base::reference reference;
54 typedef typename _Base::const_reference const_reference;
55
56 typedef typename _Base::iterator iterator;
57 typedef typename _Base::const_iterator const_iterator;
58 typedef typename _Base::reverse_iterator reverse_iterator;
59 typedef typename _Base::const_reverse_iterator const_reverse_iterator;
60
61 typedef typename _Base::size_type size_type;
62 typedef typename _Base::difference_type difference_type;
63 typedef typename _Base::pointer pointer;
64 typedef typename _Base::const_pointer const_pointer;
65
66 // 23.3.3.1 construct/copy/destroy:
67 explicit set(const _Compare& __comp = _Compare(),
68 const _Allocator& __a = _Allocator())
69 : _Base(__comp, __a) { }
70
71 #if __cplusplus >= 201103L
72 template<typename _InputIterator,
73 typename = std::_RequireInputIter<_InputIterator>>
74 #else
75 template<typename _InputIterator>
76 #endif
77 set(_InputIterator __first, _InputIterator __last,
78 const _Compare& __comp = _Compare(),
79 const _Allocator& __a = _Allocator())
80 : _Base(__first, __last, __comp, __a) { }
81
82 set(const set& __x)
83 : _Base(__x) { }
84
85 set(const _Base& __x)
86 : _Base(__x) { }
87
88 #if __cplusplus >= 201103L
89 set(set&& __x)
90 noexcept(is_nothrow_copy_constructible<_Compare>::value)
91 : _Base(std::move(__x))
92 { }
93
94 set(initializer_list<value_type> __l,
95 const _Compare& __comp = _Compare(),
96 const allocator_type& __a = allocator_type())
97 : _Base(__l, __comp, __a) { }
98 #endif
99
100 ~set() _GLIBCXX_NOEXCEPT { }
101
102 set&
103 operator=(const set& __x)
104 {
105 *static_cast<_Base*>(this) = __x;
106 return *this;
107 }
108
109 #if __cplusplus >= 201103L
110 set&
111 operator=(set&& __x)
112 {
113 // NB: DR 1204.
114 // NB: DR 675.
115 this->clear();
116 this->swap(__x);
117 return *this;
118 }
119
120 set&
121 operator=(initializer_list<value_type> __l)
122 {
123 this->clear();
124 this->insert(__l);
125 return *this;
126 }
127 #endif
128
129 using _Base::get_allocator;
130
131 // iterators:
132 iterator
133 begin() _GLIBCXX_NOEXCEPT
134 { return iterator(_Base::begin()); }
135
136 const_iterator
137 begin() const _GLIBCXX_NOEXCEPT
138 { return const_iterator(_Base::begin()); }
139
140 iterator
141 end() _GLIBCXX_NOEXCEPT
142 { return iterator(_Base::end()); }
143
144 const_iterator
145 end() const _GLIBCXX_NOEXCEPT
146 { return const_iterator(_Base::end()); }
147
148 reverse_iterator
149 rbegin() _GLIBCXX_NOEXCEPT
150 { return reverse_iterator(end()); }
151
152 const_reverse_iterator
153 rbegin() const _GLIBCXX_NOEXCEPT
154 { return const_reverse_iterator(end()); }
155
156 reverse_iterator
157 rend() _GLIBCXX_NOEXCEPT
158 { return reverse_iterator(begin()); }
159
160 const_reverse_iterator
161 rend() const _GLIBCXX_NOEXCEPT
162 { return const_reverse_iterator(begin()); }
163
164 #if __cplusplus >= 201103L
165 const_iterator
166 cbegin() const noexcept
167 { return const_iterator(_Base::begin()); }
168
169 const_iterator
170 cend() const noexcept
171 { return const_iterator(_Base::end()); }
172
173 const_reverse_iterator
174 crbegin() const noexcept
175 { return const_reverse_iterator(end()); }
176
177 const_reverse_iterator
178 crend() const noexcept
179 { return const_reverse_iterator(begin()); }
180 #endif
181
182 // capacity:
183 using _Base::empty;
184 using _Base::size;
185 using _Base::max_size;
186
187 // modifiers:
188 #if __cplusplus >= 201103L
189 template<typename... _Args>
190 std::pair<iterator, bool>
191 emplace(_Args&&... __args)
192 {
193 auto __res = _Base::emplace(std::forward<_Args>(__args)...);
194 return std::pair<iterator, bool>(iterator(__res.first),
195 __res.second);
196 }
197
198 template<typename... _Args>
199 iterator
200 emplace_hint(const_iterator __pos, _Args&&... __args)
201 {
202 return iterator(_Base::emplace_hint(__pos,
203 std::forward<_Args>(__args)...));
204 }
205 #endif
206
207 std::pair<iterator, bool>
208 insert(const value_type& __x)
209 {
210 typedef typename _Base::iterator _Base_iterator;
211 std::pair<_Base_iterator, bool> __res = _Base::insert(__x);
212 return std::pair<iterator, bool>(iterator(__res.first),
213 __res.second);
214 }
215
216 #if __cplusplus >= 201103L
217 std::pair<iterator, bool>
218 insert(value_type&& __x)
219 {
220 typedef typename _Base::iterator _Base_iterator;
221 std::pair<_Base_iterator, bool> __res
222 = _Base::insert(std::move(__x));
223 return std::pair<iterator, bool>(iterator(__res.first),
224 __res.second);
225 }
226 #endif
227
228 iterator
229 insert(const_iterator __position, const value_type& __x)
230 { return iterator(_Base::insert(__position, __x)); }
231
232 #if __cplusplus >= 201103L
233 iterator
234 insert(const_iterator __position, value_type&& __x)
235 { return iterator(_Base::insert(__position, std::move(__x))); }
236 #endif
237
238 #if __cplusplus >= 201103L
239 template<typename _InputIterator,
240 typename = std::_RequireInputIter<_InputIterator>>
241 #else
242 template<typename _InputIterator>
243 #endif
244 void
245 insert(_InputIterator __first, _InputIterator __last)
246 { _Base::insert(__first, __last); }
247
248 #if __cplusplus >= 201103L
249 void
250 insert(initializer_list<value_type> __l)
251 { _Base::insert(__l); }
252 #endif
253
254 #if __cplusplus >= 201103L
255 iterator
256 erase(const_iterator __position)
257 { return iterator(_Base::erase(__position)); }
258 #else
259 void
260 erase(iterator __position)
261 { _Base::erase(__position); }
262 #endif
263
264 size_type
265 erase(const key_type& __x)
266 {
267 iterator __victim = find(__x);
268 if (__victim == end())
269 return 0;
270 else
271 {
272 _Base::erase(__victim);
273 return 1;
274 }
275 }
276
277 #if __cplusplus >= 201103L
278 iterator
279 erase(const_iterator __first, const_iterator __last)
280 { return iterator(_Base::erase(__first, __last)); }
281 #else
282 void
283 erase(iterator __first, iterator __last)
284 { _Base::erase(__first, __last); }
285 #endif
286
287 void
288 swap(set& __x)
289 { _Base::swap(__x); }
290
291 void
292 clear() _GLIBCXX_NOEXCEPT
293 { this->erase(begin(), end()); }
294
295 // observers:
296 using _Base::key_comp;
297 using _Base::value_comp;
298
299 // set operations:
300 iterator
301 find(const key_type& __x)
302 { return iterator(_Base::find(__x)); }
303
304 // _GLIBCXX_RESOLVE_LIB_DEFECTS
305 // 214. set::find() missing const overload
306 const_iterator
307 find(const key_type& __x) const
308 { return const_iterator(_Base::find(__x)); }
309
310 using _Base::count;
311
312 iterator
313 lower_bound(const key_type& __x)
314 { return iterator(_Base::lower_bound(__x)); }
315
316 // _GLIBCXX_RESOLVE_LIB_DEFECTS
317 // 214. set::find() missing const overload
318 const_iterator
319 lower_bound(const key_type& __x) const
320 { return const_iterator(_Base::lower_bound(__x)); }
321
322 iterator
323 upper_bound(const key_type& __x)
324 { return iterator(_Base::upper_bound(__x)); }
325
326 // _GLIBCXX_RESOLVE_LIB_DEFECTS
327 // 214. set::find() missing const overload
328 const_iterator
329 upper_bound(const key_type& __x) const
330 { return const_iterator(_Base::upper_bound(__x)); }
331
332 std::pair<iterator,iterator>
333 equal_range(const key_type& __x)
334 {
335 typedef typename _Base::iterator _Base_iterator;
336 std::pair<_Base_iterator, _Base_iterator> __res =
337 _Base::equal_range(__x);
338 return std::make_pair(iterator(__res.first),
339 iterator(__res.second));
340 }
341
342 // _GLIBCXX_RESOLVE_LIB_DEFECTS
343 // 214. set::find() missing const overload
344 std::pair<const_iterator,const_iterator>
345 equal_range(const key_type& __x) const
346 {
347 typedef typename _Base::const_iterator _Base_iterator;
348 std::pair<_Base_iterator, _Base_iterator> __res =
349 _Base::equal_range(__x);
350 return std::make_pair(const_iterator(__res.first),
351 const_iterator(__res.second));
352 }
353
354 _Base&
355 _M_base() _GLIBCXX_NOEXCEPT { return *this; }
356
357 const _Base&
358 _M_base() const _GLIBCXX_NOEXCEPT { return *this; }
359
360 };
361
362 template<typename _Key, typename _Compare, typename _Allocator>
363 inline bool
364 operator==(const set<_Key, _Compare, _Allocator>& __lhs,
365 const set<_Key, _Compare, _Allocator>& __rhs)
366 { return __lhs._M_base() == __rhs._M_base(); }
367
368 template<typename _Key, typename _Compare, typename _Allocator>
369 inline bool
370 operator!=(const set<_Key, _Compare, _Allocator>& __lhs,
371 const set<_Key, _Compare, _Allocator>& __rhs)
372 { return __lhs._M_base() != __rhs._M_base(); }
373
374 template<typename _Key, typename _Compare, typename _Allocator>
375 inline bool
376 operator<(const set<_Key, _Compare, _Allocator>& __lhs,
377 const set<_Key, _Compare, _Allocator>& __rhs)
378 { return __lhs._M_base() < __rhs._M_base(); }
379
380 template<typename _Key, typename _Compare, typename _Allocator>
381 inline bool
382 operator<=(const set<_Key, _Compare, _Allocator>& __lhs,
383 const set<_Key, _Compare, _Allocator>& __rhs)
384 { return __lhs._M_base() <= __rhs._M_base(); }
385
386 template<typename _Key, typename _Compare, typename _Allocator>
387 inline bool
388 operator>=(const set<_Key, _Compare, _Allocator>& __lhs,
389 const set<_Key, _Compare, _Allocator>& __rhs)
390 { return __lhs._M_base() >= __rhs._M_base(); }
391
392 template<typename _Key, typename _Compare, typename _Allocator>
393 inline bool
394 operator>(const set<_Key, _Compare, _Allocator>& __lhs,
395 const set<_Key, _Compare, _Allocator>& __rhs)
396 { return __lhs._M_base() > __rhs._M_base(); }
397
398 template<typename _Key, typename _Compare, typename _Allocator>
399 void
400 swap(set<_Key, _Compare, _Allocator>& __x,
401 set<_Key, _Compare, _Allocator>& __y)
402 { return __x.swap(__y); }
403
404 } // namespace __profile
405 } // namespace std
406
407 #endif
408