contrib/gcc-4.7/libstdc++-v3/include/profile/set.h

   1 // Profiling set implementation -*- C++ -*-
   2
   3 // Copyright (C) 2009, 2010, 2011 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
  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       template<typename _InputIterator>
  72         set(_InputIterator __first, _InputIterator __last,
  73             const _Compare& __comp = _Compare(),
  74             const _Allocator& __a = _Allocator())
  75         : _Base(__first, __last, __comp, __a) { }
  76
  77       set(const set& __x)
  78       : _Base(__x) { }
  79
  80       set(const _Base& __x)
  81       : _Base(__x) { }
  82
  83 #ifdef __GXX_EXPERIMENTAL_CXX0X__
  84       set(set&& __x)
  85       noexcept(is_nothrow_copy_constructible<_Compare>::value)
  86       : _Base(std::move(__x))
  87       { }
  88
  89       set(initializer_list<value_type> __l,
  90           const _Compare& __comp = _Compare(),
  91           const allocator_type& __a = allocator_type())
  92       : _Base(__l, __comp, __a) { }
  93 #endif
  94
  95       ~set() _GLIBCXX_NOEXCEPT { }
  96
  97       set&
  98       operator=(const set& __x)
  99       {
 100         *static_cast<_Base*>(this) = __x;
 101         return *this;
 102       }
 103
 104 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 105       set&
 106       operator=(set&& __x)
 107       {
 108         // NB: DR 1204.
 109         // NB: DR 675.
 110         this->clear();
 111         this->swap(__x);
 112         return *this;
 113       }
 114
 115       set&
 116       operator=(initializer_list<value_type> __l)
 117       {
 118         this->clear();
 119         this->insert(__l);
 120         return *this;
 121       }
 122 #endif
 123
 124       using _Base::get_allocator;
 125
 126       // iterators:
 127       iterator
 128       begin() _GLIBCXX_NOEXCEPT
 129       { return iterator(_Base::begin()); }
 130
 131       const_iterator
 132       begin() const _GLIBCXX_NOEXCEPT
 133       { return const_iterator(_Base::begin()); }
 134
 135       iterator
 136       end() _GLIBCXX_NOEXCEPT
 137       { return iterator(_Base::end()); }
 138
 139       const_iterator
 140       end() const _GLIBCXX_NOEXCEPT
 141       { return const_iterator(_Base::end()); }
 142
 143       reverse_iterator
 144       rbegin() _GLIBCXX_NOEXCEPT
 145       { return reverse_iterator(end()); }
 146
 147       const_reverse_iterator
 148       rbegin() const _GLIBCXX_NOEXCEPT
 149       { return const_reverse_iterator(end()); }
 150
 151       reverse_iterator
 152       rend() _GLIBCXX_NOEXCEPT
 153       { return reverse_iterator(begin()); }
 154
 155       const_reverse_iterator
 156       rend() const _GLIBCXX_NOEXCEPT
 157       { return const_reverse_iterator(begin()); }
 158
 159 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 160       const_iterator
 161       cbegin() const noexcept
 162       { return const_iterator(_Base::begin()); }
 163
 164       const_iterator
 165       cend() const noexcept
 166       { return const_iterator(_Base::end()); }
 167
 168       const_reverse_iterator
 169       crbegin() const noexcept
 170       { return const_reverse_iterator(end()); }
 171
 172       const_reverse_iterator
 173       crend() const noexcept
 174       { return const_reverse_iterator(begin()); }
 175 #endif
 176
 177       // capacity:
 178       using _Base::empty;
 179       using _Base::size;
 180       using _Base::max_size;
 181
 182       // modifiers:
 183       std::pair<iterator, bool>
 184       insert(const value_type& __x)
 185       {
 186         typedef typename _Base::iterator _Base_iterator;
 187         std::pair<_Base_iterator, bool> __res = _Base::insert(__x);
 188         return std::pair<iterator, bool>(iterator(__res.first),
 189                                          __res.second);
 190       }
 191
 192 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 193       std::pair<iterator, bool>
 194       insert(value_type&& __x)
 195       {
 196         typedef typename _Base::iterator _Base_iterator;
 197         std::pair<_Base_iterator, bool> __res
 198           = _Base::insert(std::move(__x));
 199         return std::pair<iterator, bool>(iterator(__res.first),
 200                                          __res.second);
 201       }
 202 #endif
 203
 204       iterator
 205       insert(const_iterator __position, const value_type& __x)
 206       { return iterator(_Base::insert(__position, __x)); }
 207
 208 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 209       iterator
 210       insert(const_iterator __position, value_type&& __x)
 211       { return iterator(_Base::insert(__position, std::move(__x))); }
 212 #endif
 213
 214       template <typename _InputIterator>
 215         void
 216         insert(_InputIterator __first, _InputIterator __last)
 217         { _Base::insert(__first, __last); }
 218
 219 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 220       void
 221       insert(initializer_list<value_type> __l)
 222       { _Base::insert(__l); }
 223 #endif
 224
 225 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 226       iterator
 227       erase(const_iterator __position)
 228       { return iterator(_Base::erase(__position)); }
 229 #else
 230       void
 231       erase(iterator __position)
 232       { _Base::erase(__position); }
 233 #endif
 234
 235       size_type
 236       erase(const key_type& __x)
 237       {
 238         iterator __victim = find(__x);
 239         if (__victim == end())
 240           return 0;
 241         else
 242         {
 243           _Base::erase(__victim);
 244           return 1;
 245         }
 246       }
 247
 248 #ifdef __GXX_EXPERIMENTAL_CXX0X__
 249       iterator
 250       erase(const_iterator __first, const_iterator __last)
 251       { return iterator(_Base::erase(__first, __last)); }
 252 #else
 253       void
 254       erase(iterator __first, iterator __last)
 255       { _Base::erase(__first, __last); }
 256 #endif
 257
 258       void
 259       swap(set& __x)
 260       { _Base::swap(__x); }
 261
 262       void
 263       clear() _GLIBCXX_NOEXCEPT
 264       { this->erase(begin(), end()); }
 265
 266       // observers:
 267       using _Base::key_comp;
 268       using _Base::value_comp;
 269
 270       // set operations:
 271       iterator
 272       find(const key_type& __x)
 273       { return iterator(_Base::find(__x)); }
 274
 275       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 276       // 214. set::find() missing const overload
 277       const_iterator
 278       find(const key_type& __x) const
 279       { return const_iterator(_Base::find(__x)); }
 280
 281       using _Base::count;
 282
 283       iterator
 284       lower_bound(const key_type& __x)
 285       { return iterator(_Base::lower_bound(__x)); }
 286
 287       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 288       // 214. set::find() missing const overload
 289       const_iterator
 290       lower_bound(const key_type& __x) const
 291       { return const_iterator(_Base::lower_bound(__x)); }
 292
 293       iterator
 294       upper_bound(const key_type& __x)
 295       { return iterator(_Base::upper_bound(__x)); }
 296
 297       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 298       // 214. set::find() missing const overload
 299       const_iterator
 300       upper_bound(const key_type& __x) const
 301       { return const_iterator(_Base::upper_bound(__x)); }
 302
 303       std::pair<iterator,iterator>
 304       equal_range(const key_type& __x)
 305       {
 306         typedef typename _Base::iterator _Base_iterator;
 307         std::pair<_Base_iterator, _Base_iterator> __res =
 308         _Base::equal_range(__x);
 309         return std::make_pair(iterator(__res.first),
 310                               iterator(__res.second));
 311       }
 312
 313       // _GLIBCXX_RESOLVE_LIB_DEFECTS
 314       // 214. set::find() missing const overload
 315       std::pair<const_iterator,const_iterator>
 316       equal_range(const key_type& __x) const
 317       {
 318         typedef typename _Base::const_iterator _Base_iterator;
 319         std::pair<_Base_iterator, _Base_iterator> __res =
 320         _Base::equal_range(__x);
 321         return std::make_pair(const_iterator(__res.first),
 322                               const_iterator(__res.second));
 323       }
 324
 325       _Base&
 326       _M_base() _GLIBCXX_NOEXCEPT       { return *this; }
 327
 328       const _Base&
 329       _M_base() const _GLIBCXX_NOEXCEPT { return *this; }
 330
 331     };
 332
 333   template<typename _Key, typename _Compare, typename _Allocator>
 334     inline bool
 335     operator==(const set<_Key, _Compare, _Allocator>& __lhs,
 336                const set<_Key, _Compare, _Allocator>& __rhs)
 337     { return __lhs._M_base() == __rhs._M_base(); }
 338
 339   template<typename _Key, typename _Compare, typename _Allocator>
 340     inline bool
 341     operator!=(const set<_Key, _Compare, _Allocator>& __lhs,
 342                const set<_Key, _Compare, _Allocator>& __rhs)
 343     { return __lhs._M_base() != __rhs._M_base(); }
 344
 345   template<typename _Key, typename _Compare, typename _Allocator>
 346     inline bool
 347     operator<(const set<_Key, _Compare, _Allocator>& __lhs,
 348               const set<_Key, _Compare, _Allocator>& __rhs)
 349     { return __lhs._M_base() < __rhs._M_base(); }
 350
 351   template<typename _Key, typename _Compare, typename _Allocator>
 352     inline bool
 353     operator<=(const set<_Key, _Compare, _Allocator>& __lhs,
 354                const set<_Key, _Compare, _Allocator>& __rhs)
 355     { return __lhs._M_base() <= __rhs._M_base(); }
 356
 357   template<typename _Key, typename _Compare, typename _Allocator>
 358     inline bool
 359     operator>=(const set<_Key, _Compare, _Allocator>& __lhs,
 360                const set<_Key, _Compare, _Allocator>& __rhs)
 361     { return __lhs._M_base() >= __rhs._M_base(); }
 362
 363   template<typename _Key, typename _Compare, typename _Allocator>
 364     inline bool
 365     operator>(const set<_Key, _Compare, _Allocator>& __lhs,
 366               const set<_Key, _Compare, _Allocator>& __rhs)
 367     { return __lhs._M_base() > __rhs._M_base(); }
 368
 369   template<typename _Key, typename _Compare, typename _Allocator>
 370     void
 371     swap(set<_Key, _Compare, _Allocator>& __x,
 372          set<_Key, _Compare, _Allocator>& __y)
 373     { return __x.swap(__y); }
 374
 375 } // namespace __profile
 376 } // namespace std
 377
 378 #endif