1/* 2 * 3 * Copyright (c) 1994 4 * Hewlett-Packard Company 5 * 6 * Copyright (c) 1996,1997 7 * Silicon Graphics Computer Systems, Inc. 8 * 9 * Copyright (c) 1997 10 * Moscow Center for SPARC Technology 11 * 12 * Copyright (c) 1999 13 * Boris Fomitchev 14 * 15 * This material is provided "as is", with absolutely no warranty expressed 16 * or implied. Any use is at your own risk. 17 * 18 * Permission to use or copy this software for any purpose is hereby granted 19 * without fee, provided the above notices are retained on all copies. 20 * Permission to modify the code and to distribute modified code is granted, 21 * provided the above notices are retained, and a notice that the code was 22 * modified is included with the above copyright notice. 23 * 24 */ 25 26/* NOTE: This is an internal header file, included by other STL headers. 27 * You should not attempt to use it directly. 28 */ 29 30#ifndef _STLP_INTERNAL_DBG_LIST_H 31#define _STLP_INTERNAL_DBG_LIST_H 32 33#ifndef _STLP_INTERNAL_ALGO_H 34# include <stl/_algo.h> 35#endif 36 37#ifndef _STLP_DBG_ITERATOR_H 38# include <stl/debug/_iterator.h> 39#endif 40 41#define _STLP_NON_DBG_LIST _STLP_PRIV _STLP_NON_DBG_NAME(list) <_Tp, _Alloc> 42 43_STLP_BEGIN_NAMESPACE 44 45#if defined (_STLP_DEBUG_USE_DISTINCT_VALUE_TYPE_HELPERS) 46template <class _Tp, class _Alloc> 47inline _Tp* 48value_type(const _STLP_PRIV _DBG_iter_base< _STLP_NON_DBG_LIST >&) 49{ return (_Tp*)0; } 50template <class _Tp, class _Alloc> 51inline bidirectional_iterator_tag 52iterator_category(const _STLP_PRIV _DBG_iter_base< _STLP_NON_DBG_LIST >&) 53{ return bidirectional_iterator_tag(); } 54#endif 55 56template <class _Tp, _STLP_DFL_TMPL_PARAM(_Alloc, allocator<_Tp>) > 57class list : 58#if !defined (__DMC__) 59 private 60#endif 61 _STLP_PRIV __construct_checker<_STLP_NON_DBG_LIST > 62#if defined (_STLP_USE_PARTIAL_SPEC_WORKAROUND) 63 , public __stlport_class<list<_Tp, _Alloc> > 64#endif 65{ 66 typedef _STLP_NON_DBG_LIST _Base; 67 typedef list<_Tp, _Alloc> _Self; 68 typedef _STLP_PRIV __construct_checker<_STLP_NON_DBG_LIST > _ConstructCheck; 69 70public: 71 __IMPORT_CONTAINER_TYPEDEFS(_Base) 72 73public: 74 typedef _STLP_PRIV _DBG_iter<_Base, _STLP_PRIV _DbgTraits<_Nonconst_traits<value_type> > > iterator; 75 typedef _STLP_PRIV _DBG_iter<_Base, _STLP_PRIV _DbgTraits<_Const_traits<value_type> > > const_iterator; 76 77 _STLP_DECLARE_BIDIRECTIONAL_REVERSE_ITERATORS; 78 79private: 80 _Base _M_non_dbg_impl; 81 _STLP_PRIV __owned_list _M_iter_list; 82 83 void _Invalidate_iterator(const iterator& __it) 84 { _STLP_PRIV __invalidate_iterator(&_M_iter_list, __it); } 85 void _Invalidate_iterators(const iterator& __first, const iterator& __last) 86 { _STLP_PRIV __invalidate_range(&_M_iter_list, __first, __last); } 87 88 typedef typename _Base::iterator _Base_iterator; 89 90public: 91 explicit list(const allocator_type& __a = allocator_type()) : 92 _M_non_dbg_impl(__a), _M_iter_list(&_M_non_dbg_impl) {} 93 94#if !defined(_STLP_DONT_SUP_DFLT_PARAM) 95 explicit list(size_type __n, const _Tp& __x = _Tp(), 96#else 97 list(size_type __n, const _Tp& __x, 98#endif /*!_STLP_DONT_SUP_DFLT_PARAM*/ 99 const allocator_type& __a = allocator_type()) 100 : _M_non_dbg_impl(__n, __x, __a), _M_iter_list(&_M_non_dbg_impl) {} 101 102#if defined(_STLP_DONT_SUP_DFLT_PARAM) 103 explicit list(size_type __n) 104 : _M_non_dbg_impl(__n), _M_iter_list(&_M_non_dbg_impl) {} 105#endif /*_STLP_DONT_SUP_DFLT_PARAM*/ 106 107#if !defined (_STLP_NO_MOVE_SEMANTIC) 108 list(__move_source<_Self> src) 109 : _M_non_dbg_impl(__move_source<_Base>(src.get()._M_non_dbg_impl)), 110 _M_iter_list(&_M_non_dbg_impl) { 111# if defined (_STLP_NO_EXTENSIONS) || (_STLP_DEBUG_LEVEL == _STLP_STANDARD_DBG_LEVEL) 112 src.get()._M_iter_list._Invalidate_all(); 113# else 114 src.get()._M_iter_list._Set_owner(_M_iter_list); 115# endif 116 } 117#endif 118 119#if defined (_STLP_MEMBER_TEMPLATES) 120 template <class _InputIterator> 121 list(_InputIterator __first, _InputIterator __last, 122 const allocator_type& __a _STLP_ALLOCATOR_TYPE_DFL) 123 : _ConstructCheck(__first, __last), 124 _M_non_dbg_impl(_STLP_PRIV _Non_Dbg_iter(__first), _STLP_PRIV _Non_Dbg_iter(__last), __a), 125 _M_iter_list(&_M_non_dbg_impl) {} 126# if defined (_STLP_NEEDS_EXTRA_TEMPLATE_CONSTRUCTORS) 127 template <class _InputIterator> 128 list(_InputIterator __first, _InputIterator __last) 129 : _ConstructCheck(__first, __last), 130 _M_non_dbg_impl(_STLP_PRIV _Non_Dbg_iter(__first), _STLP_PRIV _Non_Dbg_iter(__last)), 131 _M_iter_list(&_M_non_dbg_impl) {} 132# endif 133#else 134 135 list(const value_type* __first, const value_type* __last, 136 const allocator_type& __a = allocator_type()) 137 : _ConstructCheck(__first, __last), 138 _M_non_dbg_impl(__first, __last, __a), 139 _M_iter_list(&_M_non_dbg_impl) {} 140 list(const_iterator __first, const_iterator __last, 141 const allocator_type& __a = allocator_type()) 142 : _ConstructCheck(__first, __last), 143 _M_non_dbg_impl(__first._M_iterator, __last._M_iterator, __a), 144 _M_iter_list(&_M_non_dbg_impl) {} 145 146#endif 147 148 list(const _Self& __x) : 149 _ConstructCheck(__x), 150 _M_non_dbg_impl(__x._M_non_dbg_impl) , _M_iter_list(&_M_non_dbg_impl) {} 151 152 _Self& operator=(const _Self& __x) { 153 if (this != &__x) { 154 //Should not invalidate end iterator 155 _Invalidate_iterators(begin(), end()); 156 _M_non_dbg_impl = __x._M_non_dbg_impl; 157 } 158 return *this; 159 } 160 161 allocator_type get_allocator() const { return _M_non_dbg_impl.get_allocator(); } 162 163 iterator begin() { return iterator(&_M_iter_list, _M_non_dbg_impl.begin()); } 164 const_iterator begin() const { return const_iterator(&_M_iter_list, _M_non_dbg_impl.begin()); } 165 166 iterator end() { return iterator(&_M_iter_list, _M_non_dbg_impl.end()); } 167 const_iterator end() const { return const_iterator(&_M_iter_list, _M_non_dbg_impl.end()); } 168 169 reverse_iterator rbegin() { return reverse_iterator(end()); } 170 reverse_iterator rend() { return reverse_iterator(begin()); } 171 172 const_reverse_iterator rbegin() const { return const_reverse_iterator(end()); } 173 const_reverse_iterator rend() const { return const_reverse_iterator(begin()); } 174 175 size_type size() const { return _M_non_dbg_impl.size(); } 176 size_type max_size() const { return _M_non_dbg_impl.max_size(); } 177 bool empty() const { return _M_non_dbg_impl.empty(); } 178 179 // those are here to enforce checking 180 reference front() { 181 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 182 return *begin(); 183 } 184 const_reference front() const { 185 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 186 return *begin(); 187 } 188 reference back() { 189 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 190 return *(--end()); 191 } 192 const_reference back() const { 193 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 194 return *(--end()); 195 } 196 197 void swap(_Self& __x) { 198 _M_iter_list._Swap_owners(__x._M_iter_list); 199 _M_non_dbg_impl.swap(__x._M_non_dbg_impl); 200 } 201#if defined (_STLP_USE_PARTIAL_SPEC_WORKAROUND) && !defined (_STLP_FUNCTION_TMPL_PARTIAL_ORDER) 202 void _M_swap_workaround(_Self& __x) { swap(__x); } 203#endif 204 205#if !defined(_STLP_DONT_SUP_DFLT_PARAM) && !defined(_STLP_NO_ANACHRONISMS) 206 iterator insert(iterator __pos, const _Tp& __x = _Tp()) { 207#else 208 iterator insert(iterator __pos, const _Tp& __x) { 209#endif /*!_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 210 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 211 return iterator(&_M_iter_list,_M_non_dbg_impl.insert(__pos._M_iterator, __x) ); 212 } 213 214#if defined(_STLP_DONT_SUP_DFLT_PARAM) && !defined(_STLP_NO_ANACHRONISMS) 215 iterator insert(iterator __pos) { return insert(__pos, _STLP_DEFAULT_CONSTRUCTED(_Tp)); } 216#endif /*_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 217 218#if defined (_STLP_MEMBER_TEMPLATES) 219 template <class _InputIterator> 220 void insert(iterator __pos, _InputIterator __first, _InputIterator __last) { 221 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list, __pos)) 222 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 223 _M_non_dbg_impl.insert(__pos._M_iterator, 224 _STLP_PRIV _Non_Dbg_iter(__first), _STLP_PRIV _Non_Dbg_iter(__last)); 225 } 226#endif 227 228#if !defined (_STLP_MEMBER_TEMPLATES) 229 void insert(iterator __pos, const _Tp* __first, const _Tp* __last) { 230 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 231 _STLP_DEBUG_CHECK(_STLP_PRIV __check_ptr_range(__first, __last)) 232 _M_non_dbg_impl.insert(__pos._M_iterator, __first, __last); 233 } 234#endif 235 236#if !defined (_STLP_MEMBER_TEMPLATES) || !defined (_STLP_NO_METHOD_SPECIALIZATION) 237 void insert(iterator __pos, 238 const_iterator __first, const_iterator __last) { 239 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list, __pos)) 240 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 241# if (_STLP_DEBUG_LEVEL == _STLP_STANDARD_DBG_LEVEL) 242 _STLP_STD_DEBUG_CHECK(__check_if_not_owner(&_M_iter_list, __first)) 243# endif 244 _M_non_dbg_impl.insert(__pos._M_iterator, __first._M_iterator, __last._M_iterator); 245 } 246 void insert(iterator __pos, 247 iterator __first, iterator __last) { 248 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list, __pos)) 249 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 250# if (_STLP_DEBUG_LEVEL == _STLP_STANDARD_DBG_LEVEL) 251 _STLP_STD_DEBUG_CHECK(__check_if_not_owner(&_M_iter_list, __first)) 252# endif 253 _M_non_dbg_impl.insert(__pos._M_iterator, __first._M_iterator, __last._M_iterator); 254 } 255#endif 256 257 void insert(iterator __pos, size_type __n, const _Tp& __x) { 258 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 259 _M_non_dbg_impl.insert(__pos._M_iterator, __n, __x); 260 } 261 262 void push_back(const_reference __x) { _M_non_dbg_impl.push_back(__x); } 263 void pop_back() { 264 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 265 _Invalidate_iterator(end()); 266 _M_non_dbg_impl.pop_back(); 267 } 268 269 void push_front(const_reference __x) { _M_non_dbg_impl.push_front(__x); } 270 void pop_front() { 271 _STLP_VERBOSE_ASSERT(!empty(), _StlMsg_EMPTY_CONTAINER) 272 _Invalidate_iterator(begin()); 273 _M_non_dbg_impl.pop_front(); 274 } 275 276 iterator erase(iterator __pos) { 277 _STLP_DEBUG_CHECK(_STLP_PRIV _Dereferenceable(__pos)) 278 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 279 _Invalidate_iterator(__pos); 280 return iterator(&_M_iter_list,_M_non_dbg_impl.erase(__pos._M_iterator)); 281 } 282 iterator erase(iterator __first, iterator __last) { 283 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last, begin(), end())) 284 _Invalidate_iterators(__first, __last); 285 return iterator (&_M_iter_list, _M_non_dbg_impl.erase(__first._M_iterator, __last._M_iterator)); 286 } 287 288#if !defined(_STLP_DONT_SUP_DFLT_PARAM) 289 void resize(size_type __new_size, const _Tp& __x = _Tp()) { 290#else 291 void resize(size_type __new_size, const _Tp& __x) { 292#endif /*_STLP_DONT_SUP_DFLT_PARAM*/ 293 _Base_iterator __i = _M_non_dbg_impl.begin(); 294 size_type __len = 0; 295 for ( ; __i != _M_non_dbg_impl.end() && __len < __new_size; ++__i, ++__len); 296 297 if (__len == __new_size) 298 erase(iterator(&_M_iter_list, __i), end()); 299 else // __i == end() 300 _M_non_dbg_impl.insert(_M_non_dbg_impl.end(), __new_size - __len, __x); 301 } 302 303#if defined(_STLP_DONT_SUP_DFLT_PARAM) 304 void resize(size_type __new_size) { resize(__new_size, _STLP_DEFAULT_CONSTRUCTED(_Tp)); } 305#endif 306 307#if defined (_STLP_MEMBER_TEMPLATES) 308 template <class _InputIterator> 309 void assign(_InputIterator __first, _InputIterator __last) { 310 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 311 _M_non_dbg_impl.assign(_STLP_PRIV _Non_Dbg_iter(__first), _STLP_PRIV _Non_Dbg_iter(__last)); 312 _Invalidate_iterators(begin(), end()); 313 } 314#else 315 void assign(const _Tp* __first, const _Tp* __last) { 316 _STLP_DEBUG_CHECK(_STLP_PRIV __check_ptr_range(__first, __last)) 317 _M_non_dbg_impl.assign(__first, __last); 318 _Invalidate_iterators(begin(), end()); 319 } 320 321 void assign(iterator __first, iterator __last) { 322 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 323 _M_non_dbg_impl.assign(__first._M_iterator, __last._M_iterator); 324 _Invalidate_iterators(begin(), end()); 325 } 326 327 void assign(const_iterator __first, const_iterator __last) { 328 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last)) 329 _M_non_dbg_impl.assign(__first._M_iterator, __last._M_iterator); 330 _Invalidate_iterators(begin(), end()); 331 } 332#endif 333 334 void assign(size_type __n, const _Tp& __val) { 335 _Invalidate_iterators(begin(), end()); 336 _M_non_dbg_impl.assign(__n, __val); 337 } 338 339 void remove(const _Tp& __x) { 340 _Base_iterator __first = _M_non_dbg_impl.begin(), __last = _M_non_dbg_impl.end(); 341 while (__first != __last) { 342 _Base_iterator __next = __first; 343 ++__next; 344 if (__x == *__first) { 345 _Invalidate_iterator(iterator(&_M_iter_list, __first)); 346 _M_non_dbg_impl.erase(__first); 347 } 348 __first = __next; 349 } 350 } 351 352 void clear() { 353 _Invalidate_iterators(begin(), end()); 354 _M_non_dbg_impl.clear(); 355 } 356 357public: 358 void splice(iterator __pos, _Self& __x) { 359 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 360 _M_non_dbg_impl.splice(__pos._M_iterator, __x._M_non_dbg_impl); 361#if (_STLP_DEBUG_LEVEL != _STLP_STANDARD_DBG_LEVEL) 362 if (get_allocator() == __x.get_allocator()) 363 __x._M_iter_list._Set_owner(_M_iter_list); 364 else 365#endif 366 // Std: 23.2.2.4:4 367 // end iterator is not invalidated: 368 __x._Invalidate_iterators(__x.begin(), __x.end()); 369 } 370 371 void splice(iterator __pos, _Self& __x, iterator __i) { 372 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list,__pos)) 373 _STLP_DEBUG_CHECK(_STLP_PRIV _Dereferenceable(__i)) 374 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&(__x._M_iter_list),__i)) 375 _M_non_dbg_impl.splice(__pos._M_iterator, __x._M_non_dbg_impl, __i._M_iterator); 376#if (_STLP_DEBUG_LEVEL != _STLP_STANDARD_DBG_LEVEL) 377 if (get_allocator() == __x.get_allocator()) 378 _STLP_PRIV __change_ite_owner(__i, &_M_iter_list); 379 else 380#endif 381 // Std: 23.2.2.4:7 382 __x._Invalidate_iterator(__i); 383 } 384 385 void splice(iterator __pos, _Self& __x, iterator __first, iterator __last) { 386 _STLP_DEBUG_CHECK(_STLP_PRIV __check_if_owner(&_M_iter_list, __pos)) 387 _STLP_DEBUG_CHECK(_STLP_PRIV __check_range(__first, __last, __x.begin(), __x.end())) 388 _STLP_DEBUG_CHECK(this == &__x ? !_STLP_PRIV __check_range(__pos, __first, __last) : true) 389#if (_STLP_DEBUG_LEVEL != _STLP_STANDARD_DBG_LEVEL) 390 if (this->get_allocator() == __x.get_allocator()) 391 _STLP_PRIV __change_range_owner(__first, __last, &_M_iter_list); 392 else 393#endif 394 // Std: 23.2.2.4:12 395 __x._Invalidate_iterators(__first, __last); 396 _M_non_dbg_impl.splice(__pos._M_iterator, __x._M_non_dbg_impl, __first._M_iterator, __last._M_iterator); 397 } 398 399 void merge(_Self& __x) { 400#if !defined (_STLP_NO_EXTENSIONS) 401 _STLP_DEBUG_CHECK(_STLP_STD::is_sorted(begin()._M_iterator, end()._M_iterator)) 402 _STLP_DEBUG_CHECK(_STLP_STD::is_sorted(__x.begin()._M_iterator, __x.end()._M_iterator)) 403#endif 404 _M_non_dbg_impl.merge(__x._M_non_dbg_impl); 405 if (this->get_allocator() == __x.get_allocator()) { 406 __x._M_iter_list._Set_owner(_M_iter_list); 407 } 408 else { 409 __x._Invalidate_iterators(__x.begin(), __x.end()); 410 } 411 } 412 void reverse() { 413 _M_non_dbg_impl.reverse(); 414 } 415 void unique() { 416 _Base_iterator __first = _M_non_dbg_impl.begin(), __last = _M_non_dbg_impl.end(); 417 if (__first == __last) return; 418 _Base_iterator __next = __first; 419 while (++__next != __last) { 420 if (*__first == *__next) { 421 _Invalidate_iterator(iterator(&_M_iter_list, __next)); 422 _M_non_dbg_impl.erase(__next); 423 } 424 else 425 __first = __next; 426 __next = __first; 427 } 428 } 429 void sort() { 430 _M_non_dbg_impl.sort(); 431 } 432 433#if defined (_STLP_MEMBER_TEMPLATES) 434 template <class _Predicate> 435 void remove_if(_Predicate __pred) { 436 _Base_iterator __first = _M_non_dbg_impl.begin(), __last = _M_non_dbg_impl.end(); 437 while (__first != __last) { 438 _Base_iterator __next = __first; 439 ++__next; 440 if (__pred(*__first)) { 441 _Invalidate_iterator(iterator(&_M_iter_list, __first)); 442 _M_non_dbg_impl.erase(__first); 443 } 444 __first = __next; 445 } 446 } 447 448 template <class _BinaryPredicate> 449 void unique(_BinaryPredicate __binary_pred) { 450 _Base_iterator __first = _M_non_dbg_impl.begin(), __last = _M_non_dbg_impl.end(); 451 if (__first == __last) return; 452 _Base_iterator __next = __first; 453 while (++__next != __last) { 454 if (__binary_pred(*__first, *__next)) { 455 _Invalidate_iterator(iterator(&_M_iter_list, __next)); 456 _M_non_dbg_impl.erase(__next); 457 } 458 else 459 __first = __next; 460 __next = __first; 461 } 462 } 463 464 template <class _StrictWeakOrdering> 465 void merge(_Self& __x, _StrictWeakOrdering __comp) { 466#if !defined (_STLP_NO_EXTENSIONS) 467 _STLP_DEBUG_CHECK(_STLP_STD::is_sorted(_M_non_dbg_impl.begin(), _M_non_dbg_impl.end(), __comp)) 468 _STLP_DEBUG_CHECK(_STLP_STD::is_sorted(__x.begin()._M_iterator, __x.end()._M_iterator, __comp)) 469#endif 470 _M_non_dbg_impl.merge(__x._M_non_dbg_impl, __comp); 471 if (this->get_allocator() == __x.get_allocator()) { 472 __x._M_iter_list._Set_owner(_M_iter_list); 473 } 474 else { 475 __x._Invalidate_iterators(__x.begin(), __x.end()); 476 } 477 } 478 479 template <class _StrictWeakOrdering> 480 void sort(_StrictWeakOrdering __comp) { 481 _M_non_dbg_impl.sort(__comp); 482 } 483#endif 484}; 485 486 487_STLP_END_NAMESPACE 488 489#undef _STLP_NON_DBG_LIST 490 491#endif /* _STLP_INTERNAL_LIST_H */ 492 493// Local Variables: 494// mode:C++ 495// End: 496