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_DEQUE_H 31 #define _STLP_INTERNAL_DEQUE_H 32 33 #ifndef _STLP_INTERNAL_ALGOBASE_H 34 # include <stl/_algobase.h> 35 #endif 36 37 #ifndef _STLP_INTERNAL_ALLOC_H 38 # include <stl/_alloc.h> 39 #endif 40 41 #ifndef _STLP_INTERNAL_ITERATOR_H 42 # include <stl/_iterator.h> 43 #endif 44 45 #ifndef _STLP_INTERNAL_UNINITIALIZED_H 46 # include <stl/_uninitialized.h> 47 #endif 48 49 #ifndef _STLP_RANGE_ERRORS_H 50 # include <stl/_range_errors.h> 51 #endif 52 53 /* Class invariants: 54 * For any nonsingular iterator i: 55 * i.node is the address of an element in the map array. The 56 * contents of i.node is a pointer to the beginning of a node. 57 * i.first == *(i.node) 58 * i.last == i.first + node_size 59 * i.cur is a pointer in the range [i.first, i.last). NOTE: 60 * the implication of this is that i.cur is always a dereferenceable 61 * pointer, even if i is a past-the-end iterator. 62 * Start and Finish are always nonsingular iterators. NOTE: this means 63 * that an empty deque must have one node, and that a deque 64 * with N elements, where N is the buffer size, must have two nodes. 65 * For every node other than start.node and finish.node, every element 66 * in the node is an initialized object. If start.node == finish.node, 67 * then [start.cur, finish.cur) are initialized objects, and 68 * the elements outside that range are uninitialized storage. Otherwise, 69 * [start.cur, start.last) and [finish.first, finish.cur) are initialized 70 * objects, and [start.first, start.cur) and [finish.cur, finish.last) 71 * are uninitialized storage. 72 * [map, map + map_size) is a valid, non-empty range. 73 * [start.node, finish.node] is a valid range contained within 74 * [map, map + map_size). 75 * A pointer in the range [map, map + map_size) points to an allocated node 76 * if and only if the pointer is in the range [start.node, finish.node]. 77 */ 78 79 _STLP_BEGIN_NAMESPACE 80 81 _STLP_MOVE_TO_PRIV_NAMESPACE 82 83 template <class _Tp> 84 struct _Deque_iterator_base { 85 86 static size_t _S_buffer_size() { 87 const size_t blocksize = _MAX_BYTES; 88 return (sizeof(_Tp) < blocksize ? (blocksize / sizeof(_Tp)) : 1); 89 } 90 91 typedef random_access_iterator_tag iterator_category; 92 93 typedef _Tp value_type; 94 typedef size_t size_type; 95 typedef ptrdiff_t difference_type; 96 97 typedef value_type** _Map_pointer; 98 99 typedef _Deque_iterator_base< _Tp > _Self; 100 101 value_type* _M_cur; 102 value_type* _M_first; 103 value_type* _M_last; 104 _Map_pointer _M_node; 105 106 _Deque_iterator_base(value_type* __x, _Map_pointer __y) 107 : _M_cur(__x), _M_first(*__y), 108 _M_last(*__y + _S_buffer_size()), _M_node(__y) {} 109 110 _Deque_iterator_base() : _M_cur(0), _M_first(0), _M_last(0), _M_node(0) {} 111 112 // see comment in doc/README.evc4 and doc/README.evc8 113 #if defined (_STLP_MSVC) && (_STLP_MSVC <= 1401) && defined (MIPS) && defined (NDEBUG) 114 _Deque_iterator_base(_Deque_iterator_base const& __other) 115 : _M_cur(__other._M_cur), _M_first(__other._M_first), 116 _M_last(__other._M_last), _M_node(__other._M_node) {} 117 #endif 118 119 difference_type _M_subtract(const _Self& __x) const { 120 return difference_type(_S_buffer_size()) * (_M_node - __x._M_node - 1) + 121 (_M_cur - _M_first) + (__x._M_last - __x._M_cur); 122 } 123 124 void _M_increment() { 125 if (++_M_cur == _M_last) { 126 _M_set_node(_M_node + 1); 127 _M_cur = _M_first; 128 } 129 } 130 131 void _M_decrement() { 132 if (_M_cur == _M_first) { 133 _M_set_node(_M_node - 1); 134 _M_cur = _M_last; 135 } 136 --_M_cur; 137 } 138 139 void _M_advance(difference_type __n) { 140 const size_t buffersize = _S_buffer_size(); 141 difference_type __offset = __n + (_M_cur - _M_first); 142 if (__offset >= 0 && __offset < difference_type(buffersize)) 143 _M_cur += __n; 144 else { 145 difference_type __node_offset = 146 __offset > 0 ? __offset / buffersize 147 : -difference_type((-__offset - 1) / buffersize) - 1; 148 _M_set_node(_M_node + __node_offset); 149 _M_cur = _M_first + 150 151 (__offset - __node_offset * difference_type(buffersize)); 152 } 153 } 154 155 void _M_set_node(_Map_pointer __new_node) { 156 _M_last = (_M_first = *(_M_node = __new_node)) + difference_type(_S_buffer_size()); 157 } 158 }; 159 160 161 template <class _Tp, class _Traits> 162 struct _Deque_iterator : public _Deque_iterator_base< _Tp> { 163 typedef random_access_iterator_tag iterator_category; 164 typedef _Tp value_type; 165 typedef typename _Traits::reference reference; 166 typedef typename _Traits::pointer pointer; 167 typedef size_t size_type; 168 typedef ptrdiff_t difference_type; 169 typedef value_type** _Map_pointer; 170 171 typedef _Deque_iterator_base< _Tp > _Base; 172 typedef _Deque_iterator<_Tp, _Traits> _Self; 173 typedef typename _Traits::_NonConstTraits _NonConstTraits; 174 typedef _Deque_iterator<_Tp, _NonConstTraits> iterator; 175 typedef typename _Traits::_ConstTraits _ConstTraits; 176 typedef _Deque_iterator<_Tp, _ConstTraits> const_iterator; 177 178 _Deque_iterator(value_type* __x, _Map_pointer __y) : 179 _Deque_iterator_base<value_type>(__x,__y) {} 180 181 _Deque_iterator() {} 182 //copy constructor for iterator and constructor from iterator for const_iterator 183 _Deque_iterator(const iterator& __x) : 184 _Deque_iterator_base<value_type>(__x) {} 185 186 reference operator*() const { 187 return *this->_M_cur; 188 } 189 190 _STLP_DEFINE_ARROW_OPERATOR 191 192 difference_type operator-(const const_iterator& __x) const { return this->_M_subtract(__x); } 193 194 _Self& operator++() { this->_M_increment(); return *this; } 195 _Self operator++(int) { 196 _Self __tmp = *this; 197 ++*this; 198 return __tmp; 199 } 200 201 _Self& operator--() { this->_M_decrement(); return *this; } 202 _Self operator--(int) { 203 _Self __tmp = *this; 204 --*this; 205 return __tmp; 206 } 207 208 _Self& operator+=(difference_type __n) { this->_M_advance(__n); return *this; } 209 _Self operator+(difference_type __n) const { 210 _Self __tmp = *this; 211 return __tmp += __n; 212 } 213 214 _Self& operator-=(difference_type __n) { return *this += -__n; } 215 _Self operator-(difference_type __n) const { 216 _Self __tmp = *this; 217 return __tmp -= __n; 218 } 219 220 reference operator[](difference_type __n) const { return *(*this + __n); } 221 }; 222 223 224 template <class _Tp, class _Traits> 225 inline _Deque_iterator<_Tp, _Traits> _STLP_CALL 226 operator+(ptrdiff_t __n, const _Deque_iterator<_Tp, _Traits>& __x) 227 { return __x + __n; } 228 229 230 #if defined (_STLP_USE_SEPARATE_RELOPS_NAMESPACE) 231 template <class _Tp> 232 inline bool _STLP_CALL 233 operator==(const _Deque_iterator_base<_Tp >& __x, 234 const _Deque_iterator_base<_Tp >& __y) 235 { return __x._M_cur == __y._M_cur; } 236 237 template <class _Tp> 238 inline bool _STLP_CALL 239 operator < (const _Deque_iterator_base<_Tp >& __x, 240 const _Deque_iterator_base<_Tp >& __y) { 241 return (__x._M_node == __y._M_node) ? 242 (__x._M_cur < __y._M_cur) : (__x._M_node < __y._M_node); 243 } 244 245 template <class _Tp> 246 inline bool _STLP_CALL 247 operator!=(const _Deque_iterator_base<_Tp >& __x, 248 const _Deque_iterator_base<_Tp >& __y) 249 { return __x._M_cur != __y._M_cur; } 250 251 template <class _Tp> 252 inline bool _STLP_CALL 253 operator>(const _Deque_iterator_base<_Tp >& __x, 254 const _Deque_iterator_base<_Tp >& __y) 255 { return __y < __x; } 256 257 template <class _Tp> 258 inline bool _STLP_CALL operator>=(const _Deque_iterator_base<_Tp >& __x, 259 const _Deque_iterator_base<_Tp >& __y) 260 { return !(__x < __y); } 261 262 template <class _Tp> 263 inline bool _STLP_CALL operator<=(const _Deque_iterator_base<_Tp >& __x, 264 const _Deque_iterator_base<_Tp >& __y) 265 { return !(__y < __x); } 266 267 #else /* _STLP_USE_SEPARATE_RELOPS_NAMESPACE */ 268 269 template <class _Tp, class _Traits1, class _Traits2> 270 inline bool _STLP_CALL 271 operator==(const _Deque_iterator<_Tp, _Traits1 >& __x, 272 const _Deque_iterator<_Tp, _Traits2 >& __y) 273 { return __x._M_cur == __y._M_cur; } 274 275 template <class _Tp, class _Traits1, class _Traits2> 276 inline bool _STLP_CALL 277 operator < (const _Deque_iterator<_Tp, _Traits1 >& __x, 278 const _Deque_iterator<_Tp, _Traits2 >& __y) { 279 return (__x._M_node == __y._M_node) ? 280 (__x._M_cur < __y._M_cur) : (__x._M_node < __y._M_node); 281 } 282 283 template <class _Tp> 284 inline bool _STLP_CALL 285 operator!=(const _Deque_iterator<_Tp, _Nonconst_traits<_Tp> >& __x, 286 const _Deque_iterator<_Tp, _Const_traits<_Tp> >& __y) 287 { return __x._M_cur != __y._M_cur; } 288 289 template <class _Tp> 290 inline bool _STLP_CALL 291 operator>(const _Deque_iterator<_Tp, _Nonconst_traits<_Tp> >& __x, 292 const _Deque_iterator<_Tp, _Const_traits<_Tp> >& __y) 293 { return __y < __x; } 294 295 template <class _Tp> 296 inline bool _STLP_CALL 297 operator>=(const _Deque_iterator<_Tp, _Nonconst_traits<_Tp> >& __x, 298 const _Deque_iterator<_Tp, _Const_traits<_Tp> >& __y) 299 { return !(__x < __y); } 300 301 template <class _Tp> 302 inline bool _STLP_CALL 303 operator<=(const _Deque_iterator<_Tp, _Nonconst_traits<_Tp> >& __x, 304 const _Deque_iterator<_Tp, _Const_traits<_Tp> >& __y) 305 { return !(__y < __x); } 306 #endif /* _STLP_USE_SEPARATE_RELOPS_NAMESPACE */ 307 308 #if defined (_STLP_CLASS_PARTIAL_SPECIALIZATION) 309 _STLP_MOVE_TO_STD_NAMESPACE 310 template <class _Tp, class _Traits> 311 struct __type_traits<_STLP_PRIV _Deque_iterator<_Tp, _Traits> > { 312 typedef __false_type has_trivial_default_constructor; 313 typedef __true_type has_trivial_copy_constructor; 314 typedef __true_type has_trivial_assignment_operator; 315 typedef __true_type has_trivial_destructor; 316 typedef __false_type is_POD_type; 317 }; 318 _STLP_MOVE_TO_PRIV_NAMESPACE 319 #endif /* _STLP_CLASS_PARTIAL_SPECIALIZATION */ 320 321 #if defined (_STLP_USE_OLD_HP_ITERATOR_QUERIES) 322 _STLP_MOVE_TO_STD_NAMESPACE 323 template <class _Tp, class _Traits> inline _Tp* _STLP_CALL 324 value_type(const _STLP_PRIV _Deque_iterator<_Tp, _Traits >&) { return (_Tp*)0; } 325 template <class _Tp, class _Traits> inline random_access_iterator_tag _STLP_CALL 326 iterator_category(const _STLP_PRIV _Deque_iterator<_Tp, _Traits >&) { return random_access_iterator_tag(); } 327 template <class _Tp, class _Traits> inline ptrdiff_t* _STLP_CALL 328 distance_type(const _STLP_PRIV _Deque_iterator<_Tp, _Traits >&) { return 0; } 329 _STLP_MOVE_TO_PRIV_NAMESPACE 330 #endif 331 332 /* Deque base class. It has two purposes. First, its constructor 333 * and destructor allocate (but don't initialize) storage. This makes 334 * exception safety easier. Second, the base class encapsulates all of 335 * the differences between SGI-style allocators and standard-conforming 336 * allocators. 337 */ 338 339 template <class _Tp, class _Alloc> 340 class _Deque_base { 341 typedef _Deque_base<_Tp, _Alloc> _Self; 342 public: 343 typedef _Tp value_type; 344 _STLP_FORCE_ALLOCATORS(_Tp, _Alloc) 345 typedef _Alloc allocator_type; 346 typedef _STLP_alloc_proxy<size_t, value_type, allocator_type> _Alloc_proxy; 347 348 typedef typename _Alloc_traits<_Tp*, _Alloc>::allocator_type _Map_alloc_type; 349 typedef _STLP_alloc_proxy<value_type**, value_type*, _Map_alloc_type> _Map_alloc_proxy; 350 351 typedef _Deque_iterator<_Tp, _Nonconst_traits<_Tp> > iterator; 352 typedef _Deque_iterator<_Tp, _Const_traits<_Tp> > const_iterator; 353 354 static size_t _STLP_CALL buffer_size() { return _Deque_iterator_base<_Tp>::_S_buffer_size(); } 355 356 _Deque_base(const allocator_type& __a, size_t __num_elements) 357 : _M_start(), _M_finish(), _M_map(_STLP_CONVERT_ALLOCATOR(__a, _Tp*), 0), 358 _M_map_size(__a, (size_t)0) 359 { _M_initialize_map(__num_elements); } 360 361 _Deque_base(const allocator_type& __a) 362 : _M_start(), _M_finish(), _M_map(_STLP_CONVERT_ALLOCATOR(__a, _Tp*), 0), 363 _M_map_size(__a, (size_t)0) {} 364 365 #if !defined (_STLP_NO_MOVE_SEMANTIC) 366 _Deque_base(__move_source<_Self> src) 367 : _M_start(src.get()._M_start), _M_finish(src.get()._M_finish), 368 _M_map(__move_source<_Map_alloc_proxy>(src.get()._M_map)), 369 _M_map_size(__move_source<_Alloc_proxy>(src.get()._M_map_size)) { 370 src.get()._M_map._M_data = 0; 371 src.get()._M_map_size._M_data = 0; 372 src.get()._M_finish = src.get()._M_start; 373 } 374 #endif 375 376 ~_Deque_base(); 377 378 protected: 379 void _M_initialize_map(size_t); 380 void _M_create_nodes(_Tp** __nstart, _Tp** __nfinish); 381 void _M_destroy_nodes(_Tp** __nstart, _Tp** __nfinish); 382 enum { _S_initial_map_size = 8 }; 383 384 protected: 385 iterator _M_start; 386 iterator _M_finish; 387 _Map_alloc_proxy _M_map; 388 _Alloc_proxy _M_map_size; 389 }; 390 391 #if defined (_STLP_USE_PTR_SPECIALIZATIONS) 392 # define deque _STLP_PTR_IMPL_NAME(deque) 393 #elif defined (_STLP_DEBUG) 394 # define deque _STLP_NON_DBG_NAME(deque) 395 #else 396 _STLP_MOVE_TO_STD_NAMESPACE 397 #endif 398 399 template <class _Tp, _STLP_DFL_TMPL_PARAM(_Alloc, allocator<_Tp>) > 400 class deque : protected _STLP_PRIV _Deque_base<_Tp, _Alloc> 401 #if defined (_STLP_USE_PARTIAL_SPEC_WORKAROUND) && !defined (deque) 402 , public __stlport_class<deque<_Tp, _Alloc> > 403 #endif 404 { 405 typedef _STLP_PRIV _Deque_base<_Tp, _Alloc> _Base; 406 typedef deque<_Tp, _Alloc> _Self; 407 public: // Basic types 408 typedef _Tp value_type; 409 typedef value_type* pointer; 410 typedef const value_type* const_pointer; 411 typedef value_type& reference; 412 typedef const value_type& const_reference; 413 typedef size_t size_type; 414 typedef ptrdiff_t difference_type; 415 typedef random_access_iterator_tag _Iterator_category; 416 _STLP_FORCE_ALLOCATORS(_Tp, _Alloc) 417 typedef typename _Base::allocator_type allocator_type; 418 419 public: // Iterators 420 typedef typename _Base::iterator iterator; 421 typedef typename _Base::const_iterator const_iterator; 422 423 _STLP_DECLARE_RANDOM_ACCESS_REVERSE_ITERATORS; 424 425 protected: // Internal typedefs 426 typedef pointer* _Map_pointer; 427 #if defined (_STLP_NO_MOVE_SEMANTIC) 428 typedef __false_type _Movable; 429 #endif 430 431 public: // Basic accessors 432 iterator begin() { return this->_M_start; } 433 iterator end() { return this->_M_finish; } 434 const_iterator begin() const { return const_iterator(this->_M_start); } 435 const_iterator end() const { return const_iterator(this->_M_finish); } 436 437 reverse_iterator rbegin() { return reverse_iterator(this->_M_finish); } 438 reverse_iterator rend() { return reverse_iterator(this->_M_start); } 439 const_reverse_iterator rbegin() const 440 { return const_reverse_iterator(this->_M_finish); } 441 const_reverse_iterator rend() const 442 { return const_reverse_iterator(this->_M_start); } 443 444 reference operator[](size_type __n) 445 { return this->_M_start[difference_type(__n)]; } 446 const_reference operator[](size_type __n) const 447 { return this->_M_start[difference_type(__n)]; } 448 449 void _M_range_check(size_type __n) const { 450 if (__n >= this->size()) 451 __stl_throw_out_of_range("deque"); 452 } 453 reference at(size_type __n) 454 { _M_range_check(__n); return (*this)[__n]; } 455 const_reference at(size_type __n) const 456 { _M_range_check(__n); return (*this)[__n]; } 457 458 reference front() { return *this->_M_start; } 459 reference back() { 460 iterator __tmp = this->_M_finish; 461 --__tmp; 462 return *__tmp; 463 } 464 const_reference front() const { return *this->_M_start; } 465 const_reference back() const { 466 const_iterator __tmp = this->_M_finish; 467 --__tmp; 468 return *__tmp; 469 } 470 471 size_type size() const { return this->_M_finish - this->_M_start; } 472 size_type max_size() const { return size_type(-1); } 473 bool empty() const { return this->_M_finish == this->_M_start; } 474 allocator_type get_allocator() const { return this->_M_map_size; } 475 476 public: // Constructor, destructor. 477 #if !defined (_STLP_DONT_SUP_DFLT_PARAM) 478 explicit deque(const allocator_type& __a = allocator_type()) 479 #else 480 deque() 481 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(allocator_type(), 0) {} 482 deque(const allocator_type& __a) 483 #endif 484 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__a, 0) {} 485 486 deque(const _Self& __x) 487 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__x.get_allocator(), __x.size()) 488 { _STLP_PRIV __ucopy(__x.begin(), __x.end(), this->_M_start); } 489 490 #if !defined (_STLP_DONT_SUP_DFLT_PARAM) 491 private: 492 void _M_initialize(size_type __n, const value_type& __val = _STLP_DEFAULT_CONSTRUCTED(_Tp)) { 493 typedef typename _TrivialInit<_Tp>::_Ret _TrivialInit; 494 _M_fill_initialize(__val, _TrivialInit()); 495 } 496 public: 497 explicit deque(size_type __n) 498 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(allocator_type(), __n) 499 { _M_initialize(__n); } 500 deque(size_type __n, const value_type& __val, const allocator_type& __a = allocator_type()) 501 #else 502 explicit deque(size_type __n) 503 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(allocator_type(), __n) { 504 typedef typename _TrivialInit<_Tp>::_Ret _TrivialInit; 505 _M_fill_initialize(_STLP_DEFAULT_CONSTRUCTED(_Tp), _TrivialInit()); 506 } 507 deque(size_type __n, const value_type& __val) 508 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(allocator_type(), __n) 509 { _M_fill_initialize(__val, __false_type()); } 510 deque(size_type __n, const value_type& __val, const allocator_type& __a) 511 #endif 512 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__a, __n) 513 { _M_fill_initialize(__val, __false_type()); } 514 515 #if defined (_STLP_MEMBER_TEMPLATES) 516 protected: 517 template <class _Integer> 518 void _M_initialize_dispatch(_Integer __n, _Integer __x, const __true_type&) { 519 this->_M_initialize_map(__n); 520 _M_fill_initialize(__x, __false_type()); 521 } 522 523 template <class _InputIter> 524 void _M_initialize_dispatch(_InputIter __first, _InputIter __last, 525 const __false_type&) { 526 _M_range_initialize(__first, __last, _STLP_ITERATOR_CATEGORY(__first, _InputIter)); 527 } 528 529 public: 530 // Check whether it's an integral type. If so, it's not an iterator. 531 template <class _InputIterator> 532 deque(_InputIterator __first, _InputIterator __last, 533 const allocator_type& __a _STLP_ALLOCATOR_TYPE_DFL) 534 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__a) { 535 typedef typename _IsIntegral<_InputIterator>::_Ret _Integral; 536 _M_initialize_dispatch(__first, __last, _Integral()); 537 } 538 539 # if defined (_STLP_NEEDS_EXTRA_TEMPLATE_CONSTRUCTORS) 540 template <class _InputIterator> 541 deque(_InputIterator __first, _InputIterator __last) 542 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(allocator_type()) { 543 typedef typename _IsIntegral<_InputIterator>::_Ret _Integral; 544 _M_initialize_dispatch(__first, __last, _Integral()); 545 } 546 # endif 547 548 #else 549 deque(const value_type* __first, const value_type* __last, 550 const allocator_type& __a = allocator_type() ) 551 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__a, __last - __first) 552 { _STLP_PRIV __ucopy(__first, __last, this->_M_start); } 553 554 deque(const_iterator __first, const_iterator __last, 555 const allocator_type& __a = allocator_type() ) 556 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__a, __last - __first) 557 { _STLP_PRIV __ucopy(__first, __last, this->_M_start); } 558 #endif /* _STLP_MEMBER_TEMPLATES */ 559 560 #if !defined (_STLP_NO_MOVE_SEMANTIC) 561 deque(__move_source<_Self> src) 562 : _STLP_PRIV _Deque_base<_Tp, _Alloc>(__move_source<_Base>(src.get())) 563 {} 564 #endif 565 566 ~deque() 567 { _STLP_STD::_Destroy_Range(this->_M_start, this->_M_finish); } 568 569 _Self& operator= (const _Self& __x); 570 571 void swap(_Self& __x) { 572 _STLP_STD::swap(this->_M_start, __x._M_start); 573 _STLP_STD::swap(this->_M_finish, __x._M_finish); 574 this->_M_map.swap(__x._M_map); 575 this->_M_map_size.swap(__x._M_map_size); 576 } 577 #if defined (_STLP_USE_PARTIAL_SPEC_WORKAROUND) && !defined (_STLP_FUNCTION_TMPL_PARTIAL_ORDER) 578 void _M_swap_workaround(_Self& __x) { swap(__x); } 579 #endif 580 581 public: 582 // assign(), a generalized assignment member function. Two 583 // versions: one that takes a count, and one that takes a range. 584 // The range version is a member template, so we dispatch on whether 585 // or not the type is an integer. 586 587 void _M_fill_assign(size_type __n, const _Tp& __val) { 588 if (__n > size()) { 589 _STLP_STD::fill(begin(), end(), __val); 590 insert(end(), __n - size(), __val); 591 } 592 else { 593 erase(begin() + __n, end()); 594 _STLP_STD::fill(begin(), end(), __val); 595 } 596 } 597 598 void assign(size_type __n, const _Tp& __val) { 599 _M_fill_assign(__n, __val); 600 } 601 602 #if defined (_STLP_MEMBER_TEMPLATES) 603 template <class _InputIterator> 604 void assign(_InputIterator __first, _InputIterator __last) { 605 typedef typename _IsIntegral<_InputIterator>::_Ret _Integral; 606 _M_assign_dispatch(__first, __last, _Integral()); 607 } 608 609 private: // helper functions for assign() 610 611 template <class _Integer> 612 void _M_assign_dispatch(_Integer __n, _Integer __val, 613 const __true_type& /*_IsIntegral*/) 614 { _M_fill_assign((size_type) __n, (_Tp) __val); } 615 616 template <class _InputIterator> 617 void _M_assign_dispatch(_InputIterator __first, _InputIterator __last, 618 const __false_type& /*_IsIntegral*/) { 619 _M_assign_aux(__first, __last, _STLP_ITERATOR_CATEGORY(__first, _InputIterator)); 620 } 621 622 template <class _InputIter> 623 void _M_assign_aux(_InputIter __first, _InputIter __last, const input_iterator_tag &) { 624 iterator __cur = begin(); 625 for ( ; __first != __last && __cur != end(); ++__cur, ++__first) 626 *__cur = *__first; 627 if (__first == __last) 628 erase(__cur, end()); 629 else 630 insert(end(), __first, __last); 631 } 632 633 template <class _ForwardIterator> 634 void _M_assign_aux(_ForwardIterator __first, _ForwardIterator __last, 635 const forward_iterator_tag &) { 636 #else 637 void assign(const value_type *__first, const value_type *__last) { 638 size_type __size = size(); 639 size_type __len = __last - __first; 640 if (__len > __size) { 641 const value_type *__mid = __first + __size; 642 _STLP_STD::copy(__first, __mid, begin()); 643 insert(end(), __mid, __last); 644 } 645 else { 646 erase(_STLP_STD::copy(__first, __last, begin()), end()); 647 } 648 } 649 void assign(const_iterator __first, const_iterator __last) { 650 typedef const_iterator _ForwardIterator; 651 #endif /* _STLP_MEMBER_TEMPLATES */ 652 size_type __len = _STLP_STD::distance(__first, __last); 653 if (__len > size()) { 654 _ForwardIterator __mid = __first; 655 _STLP_STD::advance(__mid, size()); 656 _STLP_STD::copy(__first, __mid, begin()); 657 insert(end(), __mid, __last); 658 } 659 else { 660 erase(_STLP_STD::copy(__first, __last, begin()), end()); 661 } 662 } 663 664 665 public: // push_* and pop_* 666 667 #if !defined (_STLP_DONT_SUP_DFLT_PARAM) && !defined (_STLP_NO_ANACHRONISMS) 668 void push_back(const value_type& __t = _STLP_DEFAULT_CONSTRUCTED(_Tp)) { 669 #else 670 void push_back(const value_type& __t) { 671 #endif /*!_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 672 if (this->_M_finish._M_cur != this->_M_finish._M_last - 1) { 673 _Copy_Construct(this->_M_finish._M_cur, __t); 674 ++this->_M_finish._M_cur; 675 } 676 else 677 _M_push_back_aux_v(__t); 678 } 679 #if !defined (_STLP_DONT_SUP_DFLT_PARAM) && !defined (_STLP_NO_ANACHRONISMS) 680 void push_front(const value_type& __t = _STLP_DEFAULT_CONSTRUCTED(_Tp)) { 681 #else 682 void push_front(const value_type& __t) { 683 #endif /*!_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 684 if (this->_M_start._M_cur != this->_M_start._M_first) { 685 _Copy_Construct(this->_M_start._M_cur - 1, __t); 686 --this->_M_start._M_cur; 687 } 688 else 689 _M_push_front_aux_v(__t); 690 } 691 692 #if defined (_STLP_DONT_SUP_DFLT_PARAM) && !defined (_STLP_NO_ANACHRONISMS) 693 void push_back() { 694 if (this->_M_finish._M_cur != this->_M_finish._M_last - 1) { 695 _STLP_STD::_Construct(this->_M_finish._M_cur); 696 ++this->_M_finish._M_cur; 697 } 698 else 699 _M_push_back_aux(); 700 } 701 void push_front() { 702 if (this->_M_start._M_cur != this->_M_start._M_first) { 703 _STLP_STD::_Construct(this->_M_start._M_cur - 1); 704 --this->_M_start._M_cur; 705 } 706 else 707 _M_push_front_aux(); 708 } 709 #endif /*_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 710 711 void pop_back() { 712 if (this->_M_finish._M_cur != this->_M_finish._M_first) { 713 --this->_M_finish._M_cur; 714 _STLP_STD::_Destroy(this->_M_finish._M_cur); 715 } 716 else { 717 _M_pop_back_aux(); 718 _STLP_STD::_Destroy(this->_M_finish._M_cur); 719 } 720 } 721 722 void pop_front() { 723 _STLP_STD::_Destroy(this->_M_start._M_cur); 724 _M_pop_front_aux(); 725 } 726 727 public: // Insert 728 729 #if !defined (_STLP_DONT_SUP_DFLT_PARAM) && !defined (_STLP_NO_ANACHRONISMS) 730 iterator insert(iterator __pos, const value_type& __x = _STLP_DEFAULT_CONSTRUCTED(_Tp)) { 731 #else 732 iterator insert(iterator __pos, const value_type& __x) { 733 #endif /*!_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 734 #if !defined (_STLP_NO_MOVE_SEMANTIC) 735 typedef typename __move_traits<_Tp>::implemented _Movable; 736 #endif 737 if (__pos._M_cur == this->_M_start._M_cur) { 738 push_front(__x); 739 return this->_M_start; 740 } 741 else if (__pos._M_cur == this->_M_finish._M_cur) { 742 push_back(__x); 743 iterator __tmp = this->_M_finish; 744 --__tmp; 745 return __tmp; 746 } 747 else { 748 return _M_fill_insert_aux(__pos, 1, __x, _Movable()); 749 } 750 } 751 752 #if defined(_STLP_DONT_SUP_DFLT_PARAM) && !defined(_STLP_NO_ANACHRONISMS) 753 iterator insert(iterator __pos) 754 { return insert(__pos, _STLP_DEFAULT_CONSTRUCTED(_Tp)); } 755 #endif /*_STLP_DONT_SUP_DFLT_PARAM && !_STLP_NO_ANACHRONISMS*/ 756 757 void insert(iterator __pos, size_type __n, const value_type& __x) 758 { _M_fill_insert(__pos, __n, __x); } 759 760 protected: 761 iterator _M_fill_insert_aux(iterator __pos, size_type __n, const value_type& __x, const __true_type& /*_Movable*/); 762 iterator _M_fill_insert_aux(iterator __pos, size_type __n, const value_type& __x, const __false_type& /*_Movable*/); 763 764 void _M_fill_insert(iterator __pos, size_type __n, const value_type& __x); 765 766 #if defined (_STLP_MEMBER_TEMPLATES) 767 template <class _Integer> 768 void _M_insert_dispatch(iterator __pos, _Integer __n, _Integer __x, 769 const __true_type& /*_IsIntegral*/) { 770 _M_fill_insert(__pos, (size_type) __n, (value_type) __x); 771 } 772 773 template <class _InputIterator> 774 void _M_insert_dispatch(iterator __pos, 775 _InputIterator __first, _InputIterator __last, 776 const __false_type& /*_IsIntegral*/) { 777 _M_insert(__pos, __first, __last, _STLP_ITERATOR_CATEGORY(__first, _InputIterator)); 778 } 779 780 public: 781 // Check whether it's an integral type. If so, it's not an iterator. 782 template <class _InputIterator> 783 void insert(iterator __pos, _InputIterator __first, _InputIterator __last) { 784 typedef typename _IsIntegral<_InputIterator>::_Ret _Integral; 785 _M_insert_dispatch(__pos, __first, __last, _Integral()); 786 } 787 788 #else /* _STLP_MEMBER_TEMPLATES */ 789 void _M_insert_range_aux(iterator __pos, 790 const value_type* __first, const value_type* __last, 791 size_type __n, const __true_type& /*_Movable*/); 792 void _M_insert_range_aux(iterator __pos, 793 const value_type* __first, const value_type* __last, 794 size_type __n, const __false_type& /*_Movable*/); 795 void _M_insert_range_aux(iterator __pos, 796 const_iterator __first, const_iterator __last, 797 size_type __n, const __true_type& /*_Movable*/); 798 void _M_insert_range_aux(iterator __pos, 799 const_iterator __first, const_iterator __last, 800 size_type __n, const __false_type& /*_Movable*/); 801 public: 802 void insert(iterator __pos, 803 const value_type* __first, const value_type* __last); 804 void insert(iterator __pos, 805 const_iterator __first, const_iterator __last); 806 807 #endif /* _STLP_MEMBER_TEMPLATES */ 808 809 public: 810 #if !defined(_STLP_DONT_SUP_DFLT_PARAM) 811 void resize(size_type __new_size, 812 const value_type& __x = _STLP_DEFAULT_CONSTRUCTED(_Tp)) { 813 #else 814 void resize(size_type __new_size, const value_type& __x) { 815 #endif /*_STLP_DONT_SUP_DFLT_PARAM*/ 816 const size_type __len = size(); 817 if (__new_size < __len) 818 erase(this->_M_start + __new_size, this->_M_finish); 819 else 820 insert(this->_M_finish, __new_size - __len, __x); 821 } 822 823 #if defined (_STLP_DONT_SUP_DFLT_PARAM) 824 void resize(size_type __new_size) 825 { resize(__new_size, _STLP_DEFAULT_CONSTRUCTED(_Tp)); } 826 #endif /*_STLP_DONT_SUP_DFLT_PARAM*/ 827 828 protected: 829 iterator _M_erase(iterator __pos, const __true_type& /*_Movable*/); 830 iterator _M_erase(iterator __pos, const __false_type& /*_Movable*/); 831 832 iterator _M_erase(iterator __first, iterator __last, const __true_type& /*_Movable*/); 833 iterator _M_erase(iterator __first, iterator __last, const __false_type& /*_Movable*/); 834 public: // Erase 835 iterator erase(iterator __pos) { 836 #if !defined (_STLP_NO_MOVE_SEMANTIC) 837 typedef typename __move_traits<_Tp>::implemented _Movable; 838 #endif 839 return _M_erase(__pos, _Movable()); 840 } 841 iterator erase(iterator __first, iterator __last) { 842 #if !defined (_STLP_NO_MOVE_SEMANTIC) 843 typedef typename __move_traits<_Tp>::implemented _Movable; 844 #endif 845 if (__first == this->_M_start && __last == this->_M_finish) { 846 clear(); 847 return this->_M_finish; 848 } 849 else { 850 if (__first == __last) 851 return __first; 852 return _M_erase(__first, __last, _Movable()); 853 } 854 } 855 void clear(); 856 857 protected: // Internal construction/destruction 858 859 void _M_fill_initialize(const value_type& __val, const __true_type& /*_TrivialInit*/) 860 {} 861 void _M_fill_initialize(const value_type& __val, const __false_type& /*_TrivialInit*/); 862 863 #if defined (_STLP_MEMBER_TEMPLATES) 864 template <class _InputIterator> 865 void _M_range_initialize(_InputIterator __first, _InputIterator __last, 866 const input_iterator_tag &) { 867 this->_M_initialize_map(0); 868 _STLP_TRY { 869 for ( ; __first != __last; ++__first) 870 push_back(*__first); 871 } 872 _STLP_UNWIND(clear()) 873 } 874 template <class _ForwardIterator> 875 void _M_range_initialize(_ForwardIterator __first, _ForwardIterator __last, 876 const forward_iterator_tag &) { 877 size_type __n = _STLP_STD::distance(__first, __last); 878 this->_M_initialize_map(__n); 879 _Map_pointer __cur_node = this->_M_start._M_node; 880 _STLP_TRY { 881 for (; __cur_node < this->_M_finish._M_node; ++__cur_node) { 882 _ForwardIterator __mid = __first; 883 _STLP_STD::advance(__mid, this->buffer_size()); 884 _STLP_STD::uninitialized_copy(__first, __mid, *__cur_node); 885 __first = __mid; 886 } 887 _STLP_STD::uninitialized_copy(__first, __last, this->_M_finish._M_first); 888 } 889 _STLP_UNWIND(_STLP_STD::_Destroy_Range(this->_M_start, iterator(*__cur_node, __cur_node))) 890 } 891 #endif /* _STLP_MEMBER_TEMPLATES */ 892 893 protected: // Internal push_* and pop_* 894 895 void _M_push_back_aux_v(const value_type&); 896 void _M_push_front_aux_v(const value_type&); 897 #if defined (_STLP_DONT_SUP_DFLT_PARAM) && !defined (_STLP_NO_ANACHRONISMS) 898 void _M_push_back_aux(); 899 void _M_push_front_aux(); 900 #endif /*_STLP_DONT_SUP_DFLT_PARAM !_STLP_NO_ANACHRONISMS*/ 901 void _M_pop_back_aux(); 902 void _M_pop_front_aux(); 903 904 protected: // Internal insert functions 905 906 #if defined (_STLP_MEMBER_TEMPLATES) 907 908 template <class _InputIterator> 909 void _M_insert(iterator __pos, 910 _InputIterator __first, 911 _InputIterator __last, 912 const input_iterator_tag &) { 913 _STLP_STD::copy(__first, __last, inserter(*this, __pos)); 914 } 915 916 template <class _ForwardIterator> 917 void _M_insert(iterator __pos, 918 _ForwardIterator __first, _ForwardIterator __last, 919 const forward_iterator_tag &) { 920 #if !defined (_STLP_NO_MOVE_SEMANTIC) 921 typedef typename __move_traits<_Tp>::implemented _Movable; 922 #endif 923 size_type __n = _STLP_STD::distance(__first, __last); 924 if (__pos._M_cur == this->_M_start._M_cur) { 925 iterator __new_start = _M_reserve_elements_at_front(__n); 926 _STLP_TRY { 927 uninitialized_copy(__first, __last, __new_start); 928 this->_M_start = __new_start; 929 } 930 _STLP_UNWIND(this->_M_destroy_nodes(__new_start._M_node, this->_M_start._M_node)) 931 } 932 else if (__pos._M_cur == this->_M_finish._M_cur) { 933 iterator __new_finish = _M_reserve_elements_at_back(__n); 934 _STLP_TRY { 935 uninitialized_copy(__first, __last, this->_M_finish); 936 this->_M_finish = __new_finish; 937 } 938 _STLP_UNWIND(this->_M_destroy_nodes(this->_M_finish._M_node + 1, __new_finish._M_node + 1)) 939 } 940 else 941 _M_insert_range_aux(__pos, __first, __last, __n, _Movable()); 942 } 943 944 template <class _ForwardIterator> 945 void _M_insert_range_aux(iterator __pos, 946 _ForwardIterator __first, _ForwardIterator __last, 947 size_type __n, const __true_type& /*_Movable*/) { 948 const difference_type __elemsbefore = __pos - this->_M_start; 949 size_type __length = size(); 950 if (__elemsbefore <= difference_type(__length / 2)) { 951 iterator __new_start = _M_reserve_elements_at_front(__n); 952 __pos = this->_M_start + __elemsbefore; 953 _STLP_TRY { 954 iterator __dst = __new_start; 955 iterator __src = this->_M_start; 956 for (; __src != __pos; ++__dst, ++__src) { 957 _STLP_STD::_Move_Construct(&(*__dst), *__src); 958 _STLP_STD::_Destroy_Moved(&(*__src)); 959 } 960 this->_M_start = __new_start; 961 uninitialized_copy(__first, __last, __dst); 962 } 963 _STLP_UNWIND(this->_M_destroy_nodes(__new_start._M_node, this->_M_start._M_node)) 964 } 965 else { 966 iterator __new_finish = _M_reserve_elements_at_back(__n); 967 const difference_type __elemsafter = difference_type(__length) - __elemsbefore; 968 __pos = this->_M_finish - __elemsafter; 969 _STLP_TRY { 970 iterator __dst = __new_finish; 971 iterator __src = this->_M_finish; 972 for (--__src, --__dst; __src >= __pos; --__src, --__dst) { 973 _STLP_STD::_Move_Construct(&(*__dst), *__src); 974 _STLP_STD::_Destroy_Moved(&(*__src)); 975 } 976 this->_M_finish = __new_finish; 977 uninitialized_copy(__first, __last, __pos); 978 } 979 _STLP_UNWIND(this->_M_destroy_nodes(this->_M_finish._M_node + 1, __new_finish._M_node + 1)) 980 } 981 } 982 983 template <class _ForwardIterator> 984 void _M_insert_range_aux(iterator __pos, 985 _ForwardIterator __first, _ForwardIterator __last, 986 size_type __n, const __false_type& /*_Movable*/) { 987 const difference_type __elemsbefore = __pos - this->_M_start; 988 size_type __length = size(); 989 if (__elemsbefore <= difference_type(__length / 2)) { 990 iterator __new_start = _M_reserve_elements_at_front(__n); 991 iterator __old_start = this->_M_start; 992 __pos = this->_M_start + __elemsbefore; 993 _STLP_TRY { 994 if (__elemsbefore >= difference_type(__n)) { 995 iterator __start_n = this->_M_start + difference_type(__n); 996 _STLP_STD::uninitialized_copy(this->_M_start, __start_n, __new_start); 997 this->_M_start = __new_start; 998 _STLP_STD::copy(__start_n, __pos, __old_start); 999 _STLP_STD::copy(__first, __last, __pos - difference_type(__n)); 1000 } 1001 else { 1002 _ForwardIterator __mid = __first; 1003 _STLP_STD::advance(__mid, difference_type(__n) - __elemsbefore); 1004 _STLP_PRIV __uninitialized_copy_copy(this->_M_start, __pos, __first, __mid, __new_start); 1005 this->_M_start = __new_start; 1006 _STLP_STD::copy(__mid, __last, __old_start); 1007 } 1008 } 1009 _STLP_UNWIND(this->_M_destroy_nodes(__new_start._M_node, this->_M_start._M_node)) 1010 } 1011 else { 1012 iterator __new_finish = _M_reserve_elements_at_back(__n); 1013 iterator __old_finish = this->_M_finish; 1014 const difference_type __elemsafter = difference_type(__length) - __elemsbefore; 1015 __pos = this->_M_finish - __elemsafter; 1016 _STLP_TRY { 1017 if (__elemsafter > difference_type(__n)) { 1018 iterator __finish_n = this->_M_finish - difference_type(__n); 1019 _STLP_STD::uninitialized_copy(__finish_n, this->_M_finish, this->_M_finish); 1020 this->_M_finish = __new_finish; 1021 _STLP_STD::copy_backward(__pos, __finish_n, __old_finish); 1022 _STLP_STD::copy(__first, __last, __pos); 1023 } 1024 else { 1025 _ForwardIterator __mid = __first; 1026 _STLP_STD::advance(__mid, __elemsafter); 1027 _STLP_PRIV __uninitialized_copy_copy(__mid, __last, __pos, this->_M_finish, this->_M_finish); 1028 this->_M_finish = __new_finish; 1029 _STLP_STD::copy(__first, __mid, __pos); 1030 } 1031 } 1032 _STLP_UNWIND(this->_M_destroy_nodes(this->_M_finish._M_node + 1, __new_finish._M_node + 1)) 1033 } 1034 } 1035 #endif /* _STLP_MEMBER_TEMPLATES */ 1036 1037 iterator _M_reserve_elements_at_front(size_type __n) { 1038 size_type __vacancies = this->_M_start._M_cur - this->_M_start._M_first; 1039 if (__n > __vacancies) 1040 _M_new_elements_at_front(__n - __vacancies); 1041 return this->_M_start - difference_type(__n); 1042 } 1043 1044 iterator _M_reserve_elements_at_back(size_type __n) { 1045 size_type __vacancies = (this->_M_finish._M_last - this->_M_finish._M_cur) - 1; 1046 if (__n > __vacancies) 1047 _M_new_elements_at_back(__n - __vacancies); 1048 return this->_M_finish + difference_type(__n); 1049 } 1050 1051 void _M_new_elements_at_front(size_type __new_elements); 1052 void _M_new_elements_at_back(size_type __new_elements); 1053 1054 protected: // Allocation of _M_map and nodes 1055 1056 // Makes sure the _M_map has space for new nodes. Does not actually 1057 // add the nodes. Can invalidate _M_map pointers. (And consequently, 1058 // deque iterators.) 1059 1060 void _M_reserve_map_at_back (size_type __nodes_to_add = 1) { 1061 if (__nodes_to_add + 1 > this->_M_map_size._M_data - (this->_M_finish._M_node - this->_M_map._M_data)) 1062 _M_reallocate_map(__nodes_to_add, false); 1063 } 1064 1065 void _M_reserve_map_at_front (size_type __nodes_to_add = 1) { 1066 if (__nodes_to_add > size_type(this->_M_start._M_node - this->_M_map._M_data)) 1067 _M_reallocate_map(__nodes_to_add, true); 1068 } 1069 1070 void _M_reallocate_map(size_type __nodes_to_add, bool __add_at_front); 1071 }; 1072 1073 #if defined (deque) 1074 # undef deque 1075 _STLP_MOVE_TO_STD_NAMESPACE 1076 #endif 1077 1078 _STLP_END_NAMESPACE 1079 1080 #if !defined (_STLP_LINK_TIME_INSTANTIATION) 1081 # include <stl/_deque.c> 1082 #endif 1083 1084 #if defined (_STLP_USE_PTR_SPECIALIZATIONS) 1085 # include <stl/pointers/_deque.h> 1086 #endif 1087 1088 #if defined (_STLP_DEBUG) 1089 # include <stl/debug/_deque.h> 1090 #endif 1091 1092 _STLP_BEGIN_NAMESPACE 1093 1094 #define _STLP_TEMPLATE_CONTAINER deque<_Tp, _Alloc> 1095 #define _STLP_TEMPLATE_HEADER template <class _Tp, class _Alloc> 1096 #include <stl/_relops_cont.h> 1097 #undef _STLP_TEMPLATE_CONTAINER 1098 #undef _STLP_TEMPLATE_HEADER 1099 1100 #if defined (_STLP_CLASS_PARTIAL_SPECIALIZATION) && !defined (_STLP_NO_MOVE_SEMANTIC) 1101 template <class _Tp, class _Alloc> 1102 struct __move_traits<deque<_Tp, _Alloc> > { 1103 typedef __true_type implemented; 1104 typedef typename __move_traits<_Alloc>::complete complete; 1105 }; 1106 #endif 1107 1108 _STLP_END_NAMESPACE 1109 1110 #endif /* _STLP_INTERNAL_DEQUE_H */ 1111 1112 // Local Variables: 1113 // mode:C++ 1114 // End: 1115 1116
