libstdc++
profile/list
Go to the documentation of this file.
1 // Profiling list implementation -*- C++ -*-
2 
3 // Copyright (C) 2009-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 profile/list
26  * This file is a GNU profile extension to the Standard C++ Library.
27  */
28 
29 #ifndef _GLIBCXX_PROFILE_LIST
30 #define _GLIBCXX_PROFILE_LIST 1
31 
32 #include <list>
33 #include <profile/base.h>
34 #include <profile/iterator_tracker.h>
35 
36 namespace std _GLIBCXX_VISIBILITY(default)
37 {
38 namespace __profile
39 {
40  template<typename _List>
41  class _List_profile
42  {
43  _List&
44  _M_conjure()
45  { return *static_cast<_List*>(this); }
46 
47  public:
48  __gnu_profile::__list2slist_info* _M_list2slist_info;
49  __gnu_profile::__list2vector_info* _M_list2vector_info;
50 
51  _List_profile() _GLIBCXX_NOEXCEPT
52  { _M_profile_construct(); }
53 
54  void
55  _M_profile_construct() _GLIBCXX_NOEXCEPT
56  {
57  _M_list2slist_info = __profcxx_list2slist_construct();
58  _M_list2vector_info = __profcxx_list2vector_construct();
59  }
60 
61  void
62  _M_profile_destruct() _GLIBCXX_NOEXCEPT
63  {
64  __profcxx_list2vector_destruct(_M_list2vector_info);
65  _M_list2vector_info = 0;
66  __profcxx_list2slist_destruct(_M_list2slist_info);
67  _M_list2slist_info = 0;
68  }
69 
70  void
71  _M_swap(_List_profile& __other)
72  {
73  std::swap(_M_list2slist_info, __other._M_list2slist_info);
74  std::swap(_M_list2vector_info, __other._M_list2vector_info);
75  }
76 
77 #if __cplusplus >= 201103L
78  _List_profile(const _List_profile&) noexcept
79  : _List_profile() { }
80  _List_profile(_List_profile&& __other) noexcept
81  : _List_profile()
82  { _M_swap(__other); }
83 
84  _List_profile&
85  operator=(const _List_profile&) noexcept
86  {
87  _M_profile_destruct();
88  _M_profile_construct();
89  }
90 
91  _List_profile&
92  operator=(_List_profile&& __other) noexcept
93  {
94  _M_swap(__other);
95  __other._M_profile_destruct();
96  __other._M_profile_construct();
97  }
98 #endif
99 
100  ~_List_profile()
101  { _M_profile_destruct(); }
102  };
103 
104  /** @brief List wrapper with performance instrumentation. */
105  template<typename _Tp, typename _Allocator = std::allocator<_Tp> >
106  class list
107  : public _GLIBCXX_STD_C::list<_Tp, _Allocator>,
108  public _List_profile<list<_Tp, _Allocator> >
109  {
110  typedef _GLIBCXX_STD_C::list<_Tp, _Allocator> _Base;
111 
112  public:
113  typedef typename _Base::reference reference;
114  typedef typename _Base::const_reference const_reference;
115 
116  typedef __iterator_tracker<typename _Base::iterator, list>
117  iterator;
118  typedef __iterator_tracker<typename _Base::const_iterator, list>
119  const_iterator;
120 
121  typedef typename _Base::size_type size_type;
122  typedef typename _Base::difference_type difference_type;
123 
124  typedef _Tp value_type;
125  typedef _Allocator allocator_type;
126  typedef typename _Base::pointer pointer;
127  typedef typename _Base::const_pointer const_pointer;
128  typedef std::reverse_iterator<iterator> reverse_iterator;
129  typedef std::reverse_iterator<const_iterator> const_reverse_iterator;
130 
131  // 23.2.2.1 construct/copy/destroy:
132 
133 #if __cplusplus < 201103L
134  list() { }
135  list(const list& __x)
136  : _Base(__x) { }
137 
138  ~list() { }
139 #else
140  list() = default;
141  list(const list&) = default;
142  list(list&&) = default;
143  ~list() = default;
144 
145  list(initializer_list<value_type> __l,
146  const allocator_type& __a = allocator_type())
147  : _Base(__l, __a) { }
148 
149  list(const list& __x, const allocator_type& __a)
150  : _Base(__x, __a) { }
151 
152  list(list&& __x, const allocator_type& __a)
153  : _Base(std::move(__x), __a) { }
154 #endif
155 
156  explicit
157  list(const _Allocator& __a) _GLIBCXX_NOEXCEPT
158  : _Base(__a) { }
159 
160 #if __cplusplus >= 201103L
161  explicit
162  list(size_type __n, const allocator_type& __a = allocator_type())
163  : _Base(__n, __a) { }
164 
165  list(size_type __n, const _Tp& __value,
166  const _Allocator& __a = _Allocator())
167  : _Base(__n, __value, __a) { }
168 #else
169  explicit
170  list(size_type __n, const _Tp& __value = _Tp(),
171  const _Allocator& __a = _Allocator())
172  : _Base(__n, __value, __a) { }
173 #endif
174 
175 #if __cplusplus >= 201103L
176  template<typename _InputIterator,
177  typename = std::_RequireInputIter<_InputIterator>>
178 #else
179  template<class _InputIterator>
180 #endif
181  list(_InputIterator __first, _InputIterator __last,
182  const _Allocator& __a = _Allocator())
183  : _Base(__first, __last, __a) { }
184 
185  list(const _Base& __x)
186  : _Base(__x) { }
187 
188 #if __cplusplus < 201103L
189  list&
190  operator=(const list& __x)
191  {
192  this->_M_profile_destruct();
193  _M_base() = __x;
194  this->_M_profile_construct();
195  return *this;
196  }
197 #else
198  list&
199  operator=(const list&) = default;
200 
201  list&
202  operator=(list&&) = default;
203 
204  list&
205  operator=(initializer_list<value_type> __l)
206  {
207  this->_M_profile_destruct();
208  _M_base() = __l;
209  this->_M_profile_construct();
210  return *this;
211  }
212 #endif
213 
214  // iterators:
215  iterator
216  begin() _GLIBCXX_NOEXCEPT
217  { return iterator(_Base::begin(), this); }
218 
219  const_iterator
220  begin() const _GLIBCXX_NOEXCEPT
221  { return const_iterator(_Base::begin(), this); }
222 
223  iterator
224  end() _GLIBCXX_NOEXCEPT
225  {
226  __profcxx_list2slist_rewind(this->_M_list2slist_info);
227  return iterator(_Base::end(), this);
228  }
229 
230  const_iterator
231  end() const _GLIBCXX_NOEXCEPT
232  {
233  __profcxx_list2slist_rewind(this->_M_list2slist_info);
234  return const_iterator(_Base::end(), this);
235  }
236 
237  reverse_iterator
238  rbegin() _GLIBCXX_NOEXCEPT
239  {
240  __profcxx_list2slist_rewind(this->_M_list2slist_info);
241  return reverse_iterator(end());
242  }
243 
244  const_reverse_iterator
245  rbegin() const _GLIBCXX_NOEXCEPT
246  {
247  __profcxx_list2slist_rewind(this->_M_list2slist_info);
248  return const_reverse_iterator(end());
249  }
250 
251  reverse_iterator
252  rend() _GLIBCXX_NOEXCEPT
253  { return reverse_iterator(begin()); }
254 
255  const_reverse_iterator
256  rend() const _GLIBCXX_NOEXCEPT
257  { return const_reverse_iterator(begin()); }
258 
259 #if __cplusplus >= 201103L
260  const_iterator
261  cbegin() const noexcept
262  { return const_iterator(_Base::cbegin(), this); }
263 
264  const_iterator
265  cend() const noexcept
266  { return const_iterator(_Base::cend(), this); }
267 
268  const_reverse_iterator
269  crbegin() const noexcept
270  { return const_reverse_iterator(end()); }
271 
272  const_reverse_iterator
273  crend() const noexcept
274  { return const_reverse_iterator(begin()); }
275 #endif
276 
277  // 23.2.2.2 capacity:
278  reference
279  back() _GLIBCXX_NOEXCEPT
280  {
281  __profcxx_list2slist_rewind(this->_M_list2slist_info);
282  return _Base::back();
283  }
284 
285  const_reference
286  back() const _GLIBCXX_NOEXCEPT
287  {
288  __profcxx_list2slist_rewind(this->_M_list2slist_info);
289  return _Base::back();
290  }
291 
292  // 23.2.2.3 modifiers:
293  void
294  push_front(const value_type& __x)
295  {
296  __profcxx_list2vector_invalid_operator(this->_M_list2vector_info);
297  __profcxx_list2slist_operation(this->_M_list2slist_info);
298  _Base::push_front(__x);
299  }
300 
301  void
302  pop_front() _GLIBCXX_NOEXCEPT
303  {
304  __profcxx_list2slist_operation(this->_M_list2slist_info);
305  _Base::pop_front();
306  }
307 
308  void
309  pop_back() _GLIBCXX_NOEXCEPT
310  {
311  _Base::pop_back();
312  __profcxx_list2slist_rewind(this->_M_list2slist_info);
313  }
314 
315 #if __cplusplus >= 201103L
316  template<typename... _Args>
317  iterator
318  emplace(const_iterator __position, _Args&&... __args)
319  {
320  return iterator(_Base::emplace(__position.base(),
321  std::forward<_Args>(__args)...),
322  this);
323  }
324 #endif
325 
326  iterator
327 #if __cplusplus >= 201103L
328  insert(const_iterator __pos, const _Tp& __x)
329 #else
330  insert(iterator __pos, const _Tp& __x)
331 #endif
332  {
333  _M_profile_insert(__pos, this->size());
334  return iterator(_Base::insert(__pos.base(), __x), this);
335  }
336 
337 #if __cplusplus >= 201103L
338  iterator
339  insert(const_iterator __pos, _Tp&& __x)
340  {
341  _M_profile_insert(__pos, this->size());
342  return iterator(_Base::emplace(__pos.base(), std::move(__x)),
343  this);
344  }
345 
346  iterator
347  insert(const_iterator __pos, initializer_list<value_type> __l)
348  {
349  _M_profile_insert(__pos, this->size());
350  return iterator(_Base::insert(__pos.base(), __l), this);
351  }
352 #endif
353 
354 #if __cplusplus >= 201103L
355  iterator
356  insert(const_iterator __pos, size_type __n, const _Tp& __x)
357  {
358  _M_profile_insert(__pos, this->size());
359  return iterator(_Base::insert(__pos.base(), __n, __x), this);
360  }
361 #else
362  void
363  insert(iterator __pos, size_type __n, const _Tp& __x)
364  {
365  _M_profile_insert(__pos, this->size());
366  _Base::insert(__pos.base(), __n, __x);
367  }
368 #endif
369 
370 #if __cplusplus >= 201103L
371  template<typename _InputIterator,
372  typename = std::_RequireInputIter<_InputIterator>>
373  iterator
374  insert(const_iterator __pos, _InputIterator __first,
375  _InputIterator __last)
376  {
377  _M_profile_insert(__pos, this->size());
378  return iterator(_Base::insert(__pos.base(), __first, __last),
379  this);
380  }
381 #else
382  template<class _InputIterator>
383  void
384  insert(iterator __pos, _InputIterator __first,
385  _InputIterator __last)
386  {
387  _M_profile_insert(__pos, this->size());
388  _Base::insert(__pos.base(), __first, __last);
389  }
390 #endif
391 
392  iterator
393 #if __cplusplus >= 201103L
394  erase(const_iterator __pos) noexcept
395 #else
396  erase(iterator __pos)
397 #endif
398  { return iterator(_Base::erase(__pos.base()), this); }
399 
400  iterator
401 #if __cplusplus >= 201103L
402  erase(const_iterator __pos, const_iterator __last) noexcept
403 #else
404  erase(iterator __pos, iterator __last)
405 #endif
406  {
407  // _GLIBCXX_RESOLVE_LIB_DEFECTS
408  // 151. can't currently clear() empty container
409  return iterator(_Base::erase(__pos.base(), __last.base()), this);
410  }
411 
412  void
413  swap(list& __x)
414  _GLIBCXX_NOEXCEPT_IF( noexcept(declval<_Base&>().swap(__x)) )
415  {
416  _Base::swap(__x);
417  this->_M_swap(__x);
418  }
419 
420  void
421  clear() _GLIBCXX_NOEXCEPT
422  {
423  this->_M_profile_destruct();
424  _Base::clear();
425  this->_M_profile_construct();
426  }
427 
428  // 23.2.2.4 list operations:
429  void
430 #if __cplusplus >= 201103L
431  splice(const_iterator __pos, list&& __x) noexcept
432 #else
433  splice(iterator __pos, list& __x)
434 #endif
435  { this->splice(__pos, _GLIBCXX_MOVE(__x), __x.begin(), __x.end()); }
436 
437 #if __cplusplus >= 201103L
438  void
439  splice(const_iterator __pos, list& __x) noexcept
440  { this->splice(__pos, std::move(__x)); }
441 
442  void
443  splice(const_iterator __pos, list& __x, const_iterator __i)
444  { this->splice(__pos, std::move(__x), __i); }
445 #endif
446 
447  void
448 #if __cplusplus >= 201103L
449  splice(const_iterator __pos, list&& __x, const_iterator __i) noexcept
450 #else
451  splice(iterator __pos, list& __x, iterator __i)
452 #endif
453  {
454  // We used to perform the splice_alloc check: not anymore, redundant
455  // after implementing the relevant bits of N1599.
456 
457  // _GLIBCXX_RESOLVE_LIB_DEFECTS
458  _Base::splice(__pos.base(), _GLIBCXX_MOVE(__x._M_base()),
459  __i.base());
460  }
461 
462  void
463 #if __cplusplus >= 201103L
464  splice(const_iterator __pos, list&& __x, const_iterator __first,
465  const_iterator __last) noexcept
466 #else
467  splice(iterator __pos, list& __x, iterator __first,
468  iterator __last)
469 #endif
470  {
471  _Base::splice(__pos.base(), _GLIBCXX_MOVE(__x._M_base()),
472  __first.base(), __last.base());
473  }
474 
475 #if __cplusplus >= 201103L
476  void
477  splice(const_iterator __pos, list& __x,
478  const_iterator __first, const_iterator __last) noexcept
479  { this->splice(__pos, std::move(__x), __first, __last); }
480 #endif
481 
482  void
483  remove(const _Tp& __value)
484  {
485  for (iterator __x = begin(); __x != end(); )
486  {
487  if (*__x == __value)
488  __x = erase(__x);
489  else
490  ++__x;
491  }
492  }
493 
494  template<class _Predicate>
495  void
496  remove_if(_Predicate __pred)
497  {
498  for (iterator __x = begin(); __x != end(); )
499  {
500  __profcxx_list2slist_operation(this->_M_list2slist_info);
501  if (__pred(*__x))
502  __x = erase(__x);
503  else
504  ++__x;
505  }
506  }
507 
508  void
509  unique()
510  {
511  iterator __first = begin();
512  iterator __last = end();
513  if (__first == __last)
514  return;
515  iterator __next = __first;
516  while (++__next != __last)
517  {
518  __profcxx_list2slist_operation(this->_M_list2slist_info);
519  if (*__first == *__next)
520  erase(__next);
521  else
522  __first = __next;
523  __next = __first;
524  }
525  }
526 
527  template<class _BinaryPredicate>
528  void
529  unique(_BinaryPredicate __binary_pred)
530  {
531  iterator __first = begin();
532  iterator __last = end();
533  if (__first == __last)
534  return;
535  iterator __next = __first;
536  while (++__next != __last)
537  {
538  __profcxx_list2slist_operation(this->_M_list2slist_info);
539  if (__binary_pred(*__first, *__next))
540  erase(__next);
541  else
542  __first = __next;
543  __next = __first;
544  }
545  }
546 
547  void
548 #if __cplusplus >= 201103L
549  merge(list&& __x)
550 #else
551  merge(list& __x)
552 #endif
553  { _Base::merge(_GLIBCXX_MOVE(__x._M_base())); }
554 
555 #if __cplusplus >= 201103L
556  void
557  merge(list& __x)
558  { this->merge(std::move(__x)); }
559 #endif
560 
561  template<class _Compare>
562  void
563 #if __cplusplus >= 201103L
564  merge(list&& __x, _Compare __comp)
565 #else
566  merge(list& __x, _Compare __comp)
567 #endif
568  { _Base::merge(_GLIBCXX_MOVE(__x._M_base()), __comp); }
569 
570 #if __cplusplus >= 201103L
571  template<typename _Compare>
572  void
573  merge(list& __x, _Compare __comp)
574  { this->merge(std::move(__x), __comp); }
575 #endif
576 
577  _Base&
578  _M_base() _GLIBCXX_NOEXCEPT { return *this; }
579 
580  const _Base&
581  _M_base() const _GLIBCXX_NOEXCEPT { return *this; }
582 
583  void _M_profile_iterate(int __rewind = 0) const
584  {
585  __profcxx_list2slist_operation(this->_M_list2slist_info);
586  __profcxx_list2vector_iterate(this->_M_list2vector_info, __rewind);
587  if (__rewind)
588  __profcxx_list2slist_rewind(this->_M_list2slist_info);
589  }
590 
591  private:
592  size_type
593  _M_profile_insert(const_iterator __pos, size_type __size)
594  {
595  size_type __shift = 0;
596  typename _Base::const_iterator __it = __pos.base();
597  for (; __it != _Base::end(); ++__it)
598  __shift++;
599  __profcxx_list2slist_rewind(this->_M_list2slist_info);
600  __profcxx_list2slist_operation(this->_M_list2slist_info);
601  __profcxx_list2vector_insert(this->_M_list2vector_info, __shift, __size);
602  }
603  };
604 
605  template<typename _Tp, typename _Alloc>
606  inline bool
607  operator==(const list<_Tp, _Alloc>& __lhs,
608  const list<_Tp, _Alloc>& __rhs)
609  { return __lhs._M_base() == __rhs._M_base(); }
610 
611  template<typename _Tp, typename _Alloc>
612  inline bool
613  operator!=(const list<_Tp, _Alloc>& __lhs,
614  const list<_Tp, _Alloc>& __rhs)
615  { return __lhs._M_base() != __rhs._M_base(); }
616 
617  template<typename _Tp, typename _Alloc>
618  inline bool
619  operator<(const list<_Tp, _Alloc>& __lhs,
620  const list<_Tp, _Alloc>& __rhs)
621  { return __lhs._M_base() < __rhs._M_base(); }
622 
623  template<typename _Tp, typename _Alloc>
624  inline bool
625  operator<=(const list<_Tp, _Alloc>& __lhs,
626  const list<_Tp, _Alloc>& __rhs)
627  { return __lhs._M_base() <= __rhs._M_base(); }
628 
629  template<typename _Tp, typename _Alloc>
630  inline bool
631  operator>=(const list<_Tp, _Alloc>& __lhs,
632  const list<_Tp, _Alloc>& __rhs)
633  { return __lhs._M_base() >= __rhs._M_base(); }
634 
635  template<typename _Tp, typename _Alloc>
636  inline bool
637  operator>(const list<_Tp, _Alloc>& __lhs,
638  const list<_Tp, _Alloc>& __rhs)
639  { return __lhs._M_base() > __rhs._M_base(); }
640 
641  template<typename _Tp, typename _Alloc>
642  inline void
643  swap(list<_Tp, _Alloc>& __lhs, list<_Tp, _Alloc>& __rhs)
644  _GLIBCXX_NOEXCEPT_IF(noexcept(__lhs.swap(__rhs)))
645  { __lhs.swap(__rhs); }
646 
647 } // namespace __profile
648 } // namespace std
649 
650 #endif