| 1 | // Iterators -*- C++ -*-  | 
|---|
| 2 |   | 
|---|
| 3 | // Copyright (C) 2001-2019 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 | /*  | 
|---|
| 26 | *  | 
|---|
| 27 | * Copyright (c) 1994  | 
|---|
| 28 | * Hewlett-Packard Company  | 
|---|
| 29 | *  | 
|---|
| 30 | * Permission to use, copy, modify, distribute and sell this software  | 
|---|
| 31 | * and its documentation for any purpose is hereby granted without fee,  | 
|---|
| 32 | * provided that the above copyright notice appear in all copies and  | 
|---|
| 33 | * that both that copyright notice and this permission notice appear  | 
|---|
| 34 | * in supporting documentation.  Hewlett-Packard Company makes no  | 
|---|
| 35 | * representations about the suitability of this software for any  | 
|---|
| 36 | * purpose.  It is provided "as is" without express or implied warranty.  | 
|---|
| 37 | *  | 
|---|
| 38 | *  | 
|---|
| 39 | * Copyright (c) 1996-1998  | 
|---|
| 40 | * Silicon Graphics Computer Systems, Inc.  | 
|---|
| 41 | *  | 
|---|
| 42 | * Permission to use, copy, modify, distribute and sell this software  | 
|---|
| 43 | * and its documentation for any purpose is hereby granted without fee,  | 
|---|
| 44 | * provided that the above copyright notice appear in all copies and  | 
|---|
| 45 | * that both that copyright notice and this permission notice appear  | 
|---|
| 46 | * in supporting documentation.  Silicon Graphics makes no  | 
|---|
| 47 | * representations about the suitability of this software for any  | 
|---|
| 48 | * purpose.  It is provided "as is" without express or implied warranty.  | 
|---|
| 49 | */  | 
|---|
| 50 |   | 
|---|
| 51 | /** @file bits/stl_iterator.h  | 
|---|
| 52 | *  This is an internal header file, included by other library headers.  | 
|---|
| 53 | *  Do not attempt to use it directly. @headername{iterator}  | 
|---|
| 54 | *  | 
|---|
| 55 | *  This file implements reverse_iterator, back_insert_iterator,  | 
|---|
| 56 | *  front_insert_iterator, insert_iterator, __normal_iterator, and their  | 
|---|
| 57 | *  supporting functions and overloaded operators.  | 
|---|
| 58 | */  | 
|---|
| 59 |   | 
|---|
| 60 | #ifndef _STL_ITERATOR_H  | 
|---|
| 61 | #define _STL_ITERATOR_H 1  | 
|---|
| 62 |   | 
|---|
| 63 | #include <bits/cpp_type_traits.h>  | 
|---|
| 64 | #include <ext/type_traits.h>  | 
|---|
| 65 | #include <bits/move.h>  | 
|---|
| 66 | #include <bits/ptr_traits.h>  | 
|---|
| 67 |   | 
|---|
| 68 | #if __cplusplus >= 201103L  | 
|---|
| 69 | # include <type_traits>  | 
|---|
| 70 | #endif  | 
|---|
| 71 |   | 
|---|
| 72 | #if __cplusplus >= 201703L  | 
|---|
| 73 | # define __cpp_lib_array_constexpr 201803L  | 
|---|
| 74 | #endif  | 
|---|
| 75 |   | 
|---|
| 76 | namespace std _GLIBCXX_VISIBILITY(default)  | 
|---|
| 77 | {  | 
|---|
| 78 | _GLIBCXX_BEGIN_NAMESPACE_VERSION  | 
|---|
| 79 |   | 
|---|
| 80 | /**  | 
|---|
| 81 | * @addtogroup iterators  | 
|---|
| 82 | * @{  | 
|---|
| 83 | */  | 
|---|
| 84 |   | 
|---|
| 85 | // 24.4.1 Reverse iterators  | 
|---|
| 86 | /**  | 
|---|
| 87 | *  Bidirectional and random access iterators have corresponding reverse  | 
|---|
| 88 | *  %iterator adaptors that iterate through the data structure in the  | 
|---|
| 89 | *  opposite direction.  They have the same signatures as the corresponding  | 
|---|
| 90 | *  iterators.  The fundamental relation between a reverse %iterator and its  | 
|---|
| 91 | *  corresponding %iterator @c i is established by the identity:  | 
|---|
| 92 | *  @code  | 
|---|
| 93 | *      &*(reverse_iterator(i)) == &*(i - 1)  | 
|---|
| 94 | *  @endcode  | 
|---|
| 95 | *  | 
|---|
| 96 | *  <em>This mapping is dictated by the fact that while there is always a  | 
|---|
| 97 | *  pointer past the end of an array, there might not be a valid pointer  | 
|---|
| 98 | *  before the beginning of an array.</em> [24.4.1]/1,2  | 
|---|
| 99 | *  | 
|---|
| 100 | *  Reverse iterators can be tricky and surprising at first.  Their  | 
|---|
| 101 | *  semantics make sense, however, and the trickiness is a side effect of  | 
|---|
| 102 | *  the requirement that the iterators must be safe.  | 
|---|
| 103 | */  | 
|---|
| 104 | template<typename _Iterator>  | 
|---|
| 105 | class reverse_iterator  | 
|---|
| 106 | : public iterator<typename iterator_traits<_Iterator>::iterator_category,  | 
|---|
| 107 | typename iterator_traits<_Iterator>::value_type,  | 
|---|
| 108 | typename iterator_traits<_Iterator>::difference_type,  | 
|---|
| 109 | typename iterator_traits<_Iterator>::pointer,  | 
|---|
| 110 | typename iterator_traits<_Iterator>::reference>  | 
|---|
| 111 | {  | 
|---|
| 112 | protected:  | 
|---|
| 113 | _Iterator current;  | 
|---|
| 114 |   | 
|---|
| 115 | typedef iterator_traits<_Iterator>		__traits_type;  | 
|---|
| 116 |   | 
|---|
| 117 | public:  | 
|---|
| 118 | typedef _Iterator					iterator_type;  | 
|---|
| 119 | typedef typename __traits_type::difference_type	difference_type;  | 
|---|
| 120 | typedef typename __traits_type::pointer		pointer;  | 
|---|
| 121 | typedef typename __traits_type::reference		reference;  | 
|---|
| 122 |   | 
|---|
| 123 | /**  | 
|---|
| 124 | *  The default constructor value-initializes member @p current.  | 
|---|
| 125 | *  If it is a pointer, that means it is zero-initialized.  | 
|---|
| 126 | */  | 
|---|
| 127 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 128 | // 235 No specification of default ctor for reverse_iterator  | 
|---|
| 129 | // 1012. reverse_iterator default ctor should value initialize  | 
|---|
| 130 | _GLIBCXX17_CONSTEXPR  | 
|---|
| 131 | reverse_iterator() : current() { }  | 
|---|
| 132 |   | 
|---|
| 133 | /**  | 
|---|
| 134 | *  This %iterator will move in the opposite direction that @p x does.  | 
|---|
| 135 | */  | 
|---|
| 136 | explicit _GLIBCXX17_CONSTEXPR  | 
|---|
| 137 | reverse_iterator(iterator_type __x) : current(__x) { }  | 
|---|
| 138 |   | 
|---|
| 139 | /**  | 
|---|
| 140 | *  The copy constructor is normal.  | 
|---|
| 141 | */  | 
|---|
| 142 | _GLIBCXX17_CONSTEXPR  | 
|---|
| 143 | reverse_iterator(const reverse_iterator& __x)  | 
|---|
| 144 | : current(__x.current) { }  | 
|---|
| 145 |   | 
|---|
| 146 | #if __cplusplus >= 201103L  | 
|---|
| 147 | reverse_iterator& operator=(const reverse_iterator&) = default;  | 
|---|
| 148 | #endif  | 
|---|
| 149 |   | 
|---|
| 150 | /**  | 
|---|
| 151 | *  A %reverse_iterator across other types can be copied if the  | 
|---|
| 152 | *  underlying %iterator can be converted to the type of @c current.  | 
|---|
| 153 | */  | 
|---|
| 154 | template<typename _Iter>  | 
|---|
| 155 | _GLIBCXX17_CONSTEXPR  | 
|---|
| 156 | reverse_iterator(const reverse_iterator<_Iter>& __x)  | 
|---|
| 157 | : current(__x.base()) { }  | 
|---|
| 158 |   | 
|---|
| 159 | /**  | 
|---|
| 160 | *  @return  @c current, the %iterator used for underlying work.  | 
|---|
| 161 | */  | 
|---|
| 162 | _GLIBCXX17_CONSTEXPR iterator_type  | 
|---|
| 163 | base() const  | 
|---|
| 164 | { return current; }  | 
|---|
| 165 |   | 
|---|
| 166 | /**  | 
|---|
| 167 | *  @return  A reference to the value at @c --current  | 
|---|
| 168 | *  | 
|---|
| 169 | *  This requires that @c --current is dereferenceable.  | 
|---|
| 170 | *  | 
|---|
| 171 | *  @warning This implementation requires that for an iterator of the  | 
|---|
| 172 | *           underlying iterator type, @c x, a reference obtained by  | 
|---|
| 173 | *           @c *x remains valid after @c x has been modified or  | 
|---|
| 174 | *           destroyed. This is a bug: http://gcc.gnu.org/PR51823  | 
|---|
| 175 | */  | 
|---|
| 176 | _GLIBCXX17_CONSTEXPR reference  | 
|---|
| 177 | operator*() const  | 
|---|
| 178 | {  | 
|---|
| 179 | _Iterator __tmp = current;  | 
|---|
| 180 | return *--__tmp;  | 
|---|
| 181 | }  | 
|---|
| 182 |   | 
|---|
| 183 | /**  | 
|---|
| 184 | *  @return  A pointer to the value at @c --current  | 
|---|
| 185 | *  | 
|---|
| 186 | *  This requires that @c --current is dereferenceable.  | 
|---|
| 187 | */  | 
|---|
| 188 | _GLIBCXX17_CONSTEXPR pointer  | 
|---|
| 189 | operator->() const  | 
|---|
| 190 | {  | 
|---|
| 191 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 192 | // 1052. operator-> should also support smart pointers  | 
|---|
| 193 | _Iterator __tmp = current;  | 
|---|
| 194 | --__tmp;  | 
|---|
| 195 | return _S_to_pointer(__tmp);  | 
|---|
| 196 | }  | 
|---|
| 197 |   | 
|---|
| 198 | /**  | 
|---|
| 199 | *  @return  @c *this  | 
|---|
| 200 | *  | 
|---|
| 201 | *  Decrements the underlying iterator.  | 
|---|
| 202 | */  | 
|---|
| 203 | _GLIBCXX17_CONSTEXPR reverse_iterator&  | 
|---|
| 204 | operator++()  | 
|---|
| 205 | {  | 
|---|
| 206 | --current;  | 
|---|
| 207 | return *this;  | 
|---|
| 208 | }  | 
|---|
| 209 |   | 
|---|
| 210 | /**  | 
|---|
| 211 | *  @return  The original value of @c *this  | 
|---|
| 212 | *  | 
|---|
| 213 | *  Decrements the underlying iterator.  | 
|---|
| 214 | */  | 
|---|
| 215 | _GLIBCXX17_CONSTEXPR reverse_iterator  | 
|---|
| 216 | operator++(int)  | 
|---|
| 217 | {  | 
|---|
| 218 | reverse_iterator __tmp = *this;  | 
|---|
| 219 | --current;  | 
|---|
| 220 | return __tmp;  | 
|---|
| 221 | }  | 
|---|
| 222 |   | 
|---|
| 223 | /**  | 
|---|
| 224 | *  @return  @c *this  | 
|---|
| 225 | *  | 
|---|
| 226 | *  Increments the underlying iterator.  | 
|---|
| 227 | */  | 
|---|
| 228 | _GLIBCXX17_CONSTEXPR reverse_iterator&  | 
|---|
| 229 | operator--()  | 
|---|
| 230 | {  | 
|---|
| 231 | ++current;  | 
|---|
| 232 | return *this;  | 
|---|
| 233 | }  | 
|---|
| 234 |   | 
|---|
| 235 | /**  | 
|---|
| 236 | *  @return  A reverse_iterator with the previous value of @c *this  | 
|---|
| 237 | *  | 
|---|
| 238 | *  Increments the underlying iterator.  | 
|---|
| 239 | */  | 
|---|
| 240 | _GLIBCXX17_CONSTEXPR reverse_iterator  | 
|---|
| 241 | operator--(int)  | 
|---|
| 242 | {  | 
|---|
| 243 | reverse_iterator __tmp = *this;  | 
|---|
| 244 | ++current;  | 
|---|
| 245 | return __tmp;  | 
|---|
| 246 | }  | 
|---|
| 247 |   | 
|---|
| 248 | /**  | 
|---|
| 249 | *  @return  A reverse_iterator that refers to @c current - @a __n  | 
|---|
| 250 | *  | 
|---|
| 251 | *  The underlying iterator must be a Random Access Iterator.  | 
|---|
| 252 | */  | 
|---|
| 253 | _GLIBCXX17_CONSTEXPR reverse_iterator  | 
|---|
| 254 | operator+(difference_type __n) const  | 
|---|
| 255 | { return reverse_iterator(current - __n); }  | 
|---|
| 256 |   | 
|---|
| 257 | /**  | 
|---|
| 258 | *  @return  *this  | 
|---|
| 259 | *  | 
|---|
| 260 | *  Moves the underlying iterator backwards @a __n steps.  | 
|---|
| 261 | *  The underlying iterator must be a Random Access Iterator.  | 
|---|
| 262 | */  | 
|---|
| 263 | _GLIBCXX17_CONSTEXPR reverse_iterator&  | 
|---|
| 264 | operator+=(difference_type __n)  | 
|---|
| 265 | {  | 
|---|
| 266 | current -= __n;  | 
|---|
| 267 | return *this;  | 
|---|
| 268 | }  | 
|---|
| 269 |   | 
|---|
| 270 | /**  | 
|---|
| 271 | *  @return  A reverse_iterator that refers to @c current - @a __n  | 
|---|
| 272 | *  | 
|---|
| 273 | *  The underlying iterator must be a Random Access Iterator.  | 
|---|
| 274 | */  | 
|---|
| 275 | _GLIBCXX17_CONSTEXPR reverse_iterator  | 
|---|
| 276 | operator-(difference_type __n) const  | 
|---|
| 277 | { return reverse_iterator(current + __n); }  | 
|---|
| 278 |   | 
|---|
| 279 | /**  | 
|---|
| 280 | *  @return  *this  | 
|---|
| 281 | *  | 
|---|
| 282 | *  Moves the underlying iterator forwards @a __n steps.  | 
|---|
| 283 | *  The underlying iterator must be a Random Access Iterator.  | 
|---|
| 284 | */  | 
|---|
| 285 | _GLIBCXX17_CONSTEXPR reverse_iterator&  | 
|---|
| 286 | operator-=(difference_type __n)  | 
|---|
| 287 | {  | 
|---|
| 288 | current += __n;  | 
|---|
| 289 | return *this;  | 
|---|
| 290 | }  | 
|---|
| 291 |   | 
|---|
| 292 | /**  | 
|---|
| 293 | *  @return  The value at @c current - @a __n - 1  | 
|---|
| 294 | *  | 
|---|
| 295 | *  The underlying iterator must be a Random Access Iterator.  | 
|---|
| 296 | */  | 
|---|
| 297 | _GLIBCXX17_CONSTEXPR reference  | 
|---|
| 298 | operator[](difference_type __n) const  | 
|---|
| 299 | { return *(*this + __n); }  | 
|---|
| 300 |   | 
|---|
| 301 | private:  | 
|---|
| 302 | template<typename _Tp>  | 
|---|
| 303 | static _GLIBCXX17_CONSTEXPR _Tp*  | 
|---|
| 304 | _S_to_pointer(_Tp* __p)  | 
|---|
| 305 | { return __p; }  | 
|---|
| 306 |   | 
|---|
| 307 | template<typename _Tp>  | 
|---|
| 308 | static _GLIBCXX17_CONSTEXPR pointer  | 
|---|
| 309 | _S_to_pointer(_Tp __t)  | 
|---|
| 310 | { return __t.operator->(); }  | 
|---|
| 311 | };  | 
|---|
| 312 |   | 
|---|
| 313 | //@{  | 
|---|
| 314 | /**  | 
|---|
| 315 | *  @param  __x  A %reverse_iterator.  | 
|---|
| 316 | *  @param  __y  A %reverse_iterator.  | 
|---|
| 317 | *  @return  A simple bool.  | 
|---|
| 318 | *  | 
|---|
| 319 | *  Reverse iterators forward many operations to their underlying base()  | 
|---|
| 320 | *  iterators.  Others are implemented in terms of one another.  | 
|---|
| 321 | *  | 
|---|
| 322 | */  | 
|---|
| 323 | template<typename _Iterator>  | 
|---|
| 324 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 325 | operator==(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 326 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 327 | { return __x.base() == __y.base(); }  | 
|---|
| 328 |   | 
|---|
| 329 | template<typename _Iterator>  | 
|---|
| 330 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 331 | operator<(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 332 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 333 | { return __y.base() < __x.base(); }  | 
|---|
| 334 |   | 
|---|
| 335 | template<typename _Iterator>  | 
|---|
| 336 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 337 | operator!=(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 338 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 339 | { return !(__x == __y); }  | 
|---|
| 340 |   | 
|---|
| 341 | template<typename _Iterator>  | 
|---|
| 342 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 343 | operator>(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 344 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 345 | { return __y < __x; }  | 
|---|
| 346 |   | 
|---|
| 347 | template<typename _Iterator>  | 
|---|
| 348 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 349 | operator<=(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 350 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 351 | { return !(__y < __x); }  | 
|---|
| 352 |   | 
|---|
| 353 | template<typename _Iterator>  | 
|---|
| 354 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 355 | operator>=(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 356 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 357 | { return !(__x < __y); }  | 
|---|
| 358 |   | 
|---|
| 359 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 360 | // DR 280. Comparison of reverse_iterator to const reverse_iterator.  | 
|---|
| 361 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 362 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 363 | operator==(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 364 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 365 | { return __x.base() == __y.base(); }  | 
|---|
| 366 |   | 
|---|
| 367 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 368 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 369 | operator<(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 370 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 371 | { return __y.base() < __x.base(); }  | 
|---|
| 372 |   | 
|---|
| 373 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 374 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 375 | operator!=(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 376 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 377 | { return !(__x == __y); }  | 
|---|
| 378 |   | 
|---|
| 379 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 380 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 381 | operator>(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 382 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 383 | { return __y < __x; }  | 
|---|
| 384 |   | 
|---|
| 385 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 386 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 387 | operator<=(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 388 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 389 | { return !(__y < __x); }  | 
|---|
| 390 |   | 
|---|
| 391 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 392 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 393 | operator>=(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 394 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 395 | { return !(__x < __y); }  | 
|---|
| 396 | //@}  | 
|---|
| 397 |   | 
|---|
| 398 | #if __cplusplus < 201103L  | 
|---|
| 399 | template<typename _Iterator>  | 
|---|
| 400 | inline typename reverse_iterator<_Iterator>::difference_type  | 
|---|
| 401 | operator-(const reverse_iterator<_Iterator>& __x,  | 
|---|
| 402 | const reverse_iterator<_Iterator>& __y)  | 
|---|
| 403 | { return __y.base() - __x.base(); }  | 
|---|
| 404 |   | 
|---|
| 405 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 406 | inline typename reverse_iterator<_IteratorL>::difference_type  | 
|---|
| 407 | operator-(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 408 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 409 | { return __y.base() - __x.base(); }  | 
|---|
| 410 | #else  | 
|---|
| 411 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 412 | // DR 685. reverse_iterator/move_iterator difference has invalid signatures  | 
|---|
| 413 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 414 | inline _GLIBCXX17_CONSTEXPR auto  | 
|---|
| 415 | operator-(const reverse_iterator<_IteratorL>& __x,  | 
|---|
| 416 | const reverse_iterator<_IteratorR>& __y)  | 
|---|
| 417 | -> decltype(__y.base() - __x.base())  | 
|---|
| 418 | { return __y.base() - __x.base(); }  | 
|---|
| 419 | #endif  | 
|---|
| 420 |   | 
|---|
| 421 | template<typename _Iterator>  | 
|---|
| 422 | inline _GLIBCXX17_CONSTEXPR reverse_iterator<_Iterator>  | 
|---|
| 423 | operator+(typename reverse_iterator<_Iterator>::difference_type __n,  | 
|---|
| 424 | const reverse_iterator<_Iterator>& __x)  | 
|---|
| 425 | { return reverse_iterator<_Iterator>(__x.base() - __n); }  | 
|---|
| 426 |   | 
|---|
| 427 | #if __cplusplus >= 201103L  | 
|---|
| 428 | // Same as C++14 make_reverse_iterator but used in C++11 mode too.  | 
|---|
| 429 | template<typename _Iterator>  | 
|---|
| 430 | inline _GLIBCXX17_CONSTEXPR reverse_iterator<_Iterator>  | 
|---|
| 431 | __make_reverse_iterator(_Iterator __i)  | 
|---|
| 432 | { return reverse_iterator<_Iterator>(__i); }  | 
|---|
| 433 |   | 
|---|
| 434 | # if __cplusplus > 201103L  | 
|---|
| 435 | #  define __cpp_lib_make_reverse_iterator 201402  | 
|---|
| 436 |   | 
|---|
| 437 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 438 | // DR 2285. make_reverse_iterator  | 
|---|
| 439 | /// Generator function for reverse_iterator.  | 
|---|
| 440 | template<typename _Iterator>  | 
|---|
| 441 | inline _GLIBCXX17_CONSTEXPR reverse_iterator<_Iterator>  | 
|---|
| 442 | make_reverse_iterator(_Iterator __i)  | 
|---|
| 443 | { return reverse_iterator<_Iterator>(__i); }  | 
|---|
| 444 | # endif  | 
|---|
| 445 | #endif  | 
|---|
| 446 |   | 
|---|
| 447 | #if __cplusplus >= 201103L  | 
|---|
| 448 | template<typename _Iterator>  | 
|---|
| 449 | auto  | 
|---|
| 450 | __niter_base(reverse_iterator<_Iterator> __it)  | 
|---|
| 451 | -> decltype(__make_reverse_iterator(__niter_base(__it.base())))  | 
|---|
| 452 | { return __make_reverse_iterator(__niter_base(__it.base())); }  | 
|---|
| 453 |   | 
|---|
| 454 | template<typename _Iterator>  | 
|---|
| 455 | struct __is_move_iterator<reverse_iterator<_Iterator> >  | 
|---|
| 456 | : __is_move_iterator<_Iterator>  | 
|---|
| 457 | { };  | 
|---|
| 458 |   | 
|---|
| 459 | template<typename _Iterator>  | 
|---|
| 460 | auto  | 
|---|
| 461 | __miter_base(reverse_iterator<_Iterator> __it)  | 
|---|
| 462 | -> decltype(__make_reverse_iterator(__miter_base(__it.base())))  | 
|---|
| 463 | { return __make_reverse_iterator(__miter_base(__it.base())); }  | 
|---|
| 464 | #endif  | 
|---|
| 465 |   | 
|---|
| 466 | // 24.4.2.2.1 back_insert_iterator  | 
|---|
| 467 | /**  | 
|---|
| 468 | *  @brief  Turns assignment into insertion.  | 
|---|
| 469 | *  | 
|---|
| 470 | *  These are output iterators, constructed from a container-of-T.  | 
|---|
| 471 | *  Assigning a T to the iterator appends it to the container using  | 
|---|
| 472 | *  push_back.  | 
|---|
| 473 | *  | 
|---|
| 474 | *  Tip:  Using the back_inserter function to create these iterators can  | 
|---|
| 475 | *  save typing.  | 
|---|
| 476 | */  | 
|---|
| 477 | template<typename _Container>  | 
|---|
| 478 | class back_insert_iterator  | 
|---|
| 479 | : public iterator<output_iterator_tag, void, void, void, void>  | 
|---|
| 480 | {  | 
|---|
| 481 | protected:  | 
|---|
| 482 | _Container* container;  | 
|---|
| 483 |   | 
|---|
| 484 | public:  | 
|---|
| 485 | /// A nested typedef for the type of whatever container you used.  | 
|---|
| 486 | typedef _Container          container_type;  | 
|---|
| 487 |   | 
|---|
| 488 | /// The only way to create this %iterator is with a container.  | 
|---|
| 489 | explicit  | 
|---|
| 490 | back_insert_iterator(_Container& __x)  | 
|---|
| 491 | : container(std::__addressof(__x)) { }  | 
|---|
| 492 |   | 
|---|
| 493 | /**  | 
|---|
| 494 | *  @param  __value  An instance of whatever type  | 
|---|
| 495 | *                 container_type::const_reference is; presumably a  | 
|---|
| 496 | *                 reference-to-const T for container<T>.  | 
|---|
| 497 | *  @return  This %iterator, for chained operations.  | 
|---|
| 498 | *  | 
|---|
| 499 | *  This kind of %iterator doesn't really have a @a position in the  | 
|---|
| 500 | *  container (you can think of the position as being permanently at  | 
|---|
| 501 | *  the end, if you like).  Assigning a value to the %iterator will  | 
|---|
| 502 | *  always append the value to the end of the container.  | 
|---|
| 503 | */  | 
|---|
| 504 | #if __cplusplus < 201103L  | 
|---|
| 505 | back_insert_iterator&  | 
|---|
| 506 | operator=(typename _Container::const_reference __value)  | 
|---|
| 507 | {  | 
|---|
| 508 | container->push_back(__value);  | 
|---|
| 509 | return *this;  | 
|---|
| 510 | }  | 
|---|
| 511 | #else  | 
|---|
| 512 | back_insert_iterator&  | 
|---|
| 513 | operator=(const typename _Container::value_type& __value)  | 
|---|
| 514 | {  | 
|---|
| 515 | container->push_back(__value);  | 
|---|
| 516 | return *this;  | 
|---|
| 517 | }  | 
|---|
| 518 |   | 
|---|
| 519 | back_insert_iterator&  | 
|---|
| 520 | operator=(typename _Container::value_type&& __value)  | 
|---|
| 521 | {  | 
|---|
| 522 | container->push_back(std::move(__value));  | 
|---|
| 523 | return *this;  | 
|---|
| 524 | }  | 
|---|
| 525 | #endif  | 
|---|
| 526 |   | 
|---|
| 527 | /// Simply returns *this.  | 
|---|
| 528 | back_insert_iterator&  | 
|---|
| 529 | operator*()  | 
|---|
| 530 | { return *this; }  | 
|---|
| 531 |   | 
|---|
| 532 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 533 | back_insert_iterator&  | 
|---|
| 534 | operator++()  | 
|---|
| 535 | { return *this; }  | 
|---|
| 536 |   | 
|---|
| 537 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 538 | back_insert_iterator  | 
|---|
| 539 | operator++(int)  | 
|---|
| 540 | { return *this; }  | 
|---|
| 541 | };  | 
|---|
| 542 |   | 
|---|
| 543 | /**  | 
|---|
| 544 | *  @param  __x  A container of arbitrary type.  | 
|---|
| 545 | *  @return  An instance of back_insert_iterator working on @p __x.  | 
|---|
| 546 | *  | 
|---|
| 547 | *  This wrapper function helps in creating back_insert_iterator instances.  | 
|---|
| 548 | *  Typing the name of the %iterator requires knowing the precise full  | 
|---|
| 549 | *  type of the container, which can be tedious and impedes generic  | 
|---|
| 550 | *  programming.  Using this function lets you take advantage of automatic  | 
|---|
| 551 | *  template parameter deduction, making the compiler match the correct  | 
|---|
| 552 | *  types for you.  | 
|---|
| 553 | */  | 
|---|
| 554 | template<typename _Container>  | 
|---|
| 555 | inline back_insert_iterator<_Container>  | 
|---|
| 556 | back_inserter(_Container& __x)  | 
|---|
| 557 | { return back_insert_iterator<_Container>(__x); }  | 
|---|
| 558 |   | 
|---|
| 559 | /**  | 
|---|
| 560 | *  @brief  Turns assignment into insertion.  | 
|---|
| 561 | *  | 
|---|
| 562 | *  These are output iterators, constructed from a container-of-T.  | 
|---|
| 563 | *  Assigning a T to the iterator prepends it to the container using  | 
|---|
| 564 | *  push_front.  | 
|---|
| 565 | *  | 
|---|
| 566 | *  Tip:  Using the front_inserter function to create these iterators can  | 
|---|
| 567 | *  save typing.  | 
|---|
| 568 | */  | 
|---|
| 569 | template<typename _Container>  | 
|---|
| 570 | class front_insert_iterator  | 
|---|
| 571 | : public iterator<output_iterator_tag, void, void, void, void>  | 
|---|
| 572 | {  | 
|---|
| 573 | protected:  | 
|---|
| 574 | _Container* container;  | 
|---|
| 575 |   | 
|---|
| 576 | public:  | 
|---|
| 577 | /// A nested typedef for the type of whatever container you used.  | 
|---|
| 578 | typedef _Container          container_type;  | 
|---|
| 579 |   | 
|---|
| 580 | /// The only way to create this %iterator is with a container.  | 
|---|
| 581 | explicit front_insert_iterator(_Container& __x)  | 
|---|
| 582 | : container(std::__addressof(__x)) { }  | 
|---|
| 583 |   | 
|---|
| 584 | /**  | 
|---|
| 585 | *  @param  __value  An instance of whatever type  | 
|---|
| 586 | *                 container_type::const_reference is; presumably a  | 
|---|
| 587 | *                 reference-to-const T for container<T>.  | 
|---|
| 588 | *  @return  This %iterator, for chained operations.  | 
|---|
| 589 | *  | 
|---|
| 590 | *  This kind of %iterator doesn't really have a @a position in the  | 
|---|
| 591 | *  container (you can think of the position as being permanently at  | 
|---|
| 592 | *  the front, if you like).  Assigning a value to the %iterator will  | 
|---|
| 593 | *  always prepend the value to the front of the container.  | 
|---|
| 594 | */  | 
|---|
| 595 | #if __cplusplus < 201103L  | 
|---|
| 596 | front_insert_iterator&  | 
|---|
| 597 | operator=(typename _Container::const_reference __value)  | 
|---|
| 598 | {  | 
|---|
| 599 | container->push_front(__value);  | 
|---|
| 600 | return *this;  | 
|---|
| 601 | }  | 
|---|
| 602 | #else  | 
|---|
| 603 | front_insert_iterator&  | 
|---|
| 604 | operator=(const typename _Container::value_type& __value)  | 
|---|
| 605 | {  | 
|---|
| 606 | container->push_front(__value);  | 
|---|
| 607 | return *this;  | 
|---|
| 608 | }  | 
|---|
| 609 |   | 
|---|
| 610 | front_insert_iterator&  | 
|---|
| 611 | operator=(typename _Container::value_type&& __value)  | 
|---|
| 612 | {  | 
|---|
| 613 | container->push_front(std::move(__value));  | 
|---|
| 614 | return *this;  | 
|---|
| 615 | }  | 
|---|
| 616 | #endif  | 
|---|
| 617 |   | 
|---|
| 618 | /// Simply returns *this.  | 
|---|
| 619 | front_insert_iterator&  | 
|---|
| 620 | operator*()  | 
|---|
| 621 | { return *this; }  | 
|---|
| 622 |   | 
|---|
| 623 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 624 | front_insert_iterator&  | 
|---|
| 625 | operator++()  | 
|---|
| 626 | { return *this; }  | 
|---|
| 627 |   | 
|---|
| 628 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 629 | front_insert_iterator  | 
|---|
| 630 | operator++(int)  | 
|---|
| 631 | { return *this; }  | 
|---|
| 632 | };  | 
|---|
| 633 |   | 
|---|
| 634 | /**  | 
|---|
| 635 | *  @param  __x  A container of arbitrary type.  | 
|---|
| 636 | *  @return  An instance of front_insert_iterator working on @p x.  | 
|---|
| 637 | *  | 
|---|
| 638 | *  This wrapper function helps in creating front_insert_iterator instances.  | 
|---|
| 639 | *  Typing the name of the %iterator requires knowing the precise full  | 
|---|
| 640 | *  type of the container, which can be tedious and impedes generic  | 
|---|
| 641 | *  programming.  Using this function lets you take advantage of automatic  | 
|---|
| 642 | *  template parameter deduction, making the compiler match the correct  | 
|---|
| 643 | *  types for you.  | 
|---|
| 644 | */  | 
|---|
| 645 | template<typename _Container>  | 
|---|
| 646 | inline front_insert_iterator<_Container>  | 
|---|
| 647 | front_inserter(_Container& __x)  | 
|---|
| 648 | { return front_insert_iterator<_Container>(__x); }  | 
|---|
| 649 |   | 
|---|
| 650 | /**  | 
|---|
| 651 | *  @brief  Turns assignment into insertion.  | 
|---|
| 652 | *  | 
|---|
| 653 | *  These are output iterators, constructed from a container-of-T.  | 
|---|
| 654 | *  Assigning a T to the iterator inserts it in the container at the  | 
|---|
| 655 | *  %iterator's position, rather than overwriting the value at that  | 
|---|
| 656 | *  position.  | 
|---|
| 657 | *  | 
|---|
| 658 | *  (Sequences will actually insert a @e copy of the value before the  | 
|---|
| 659 | *  %iterator's position.)  | 
|---|
| 660 | *  | 
|---|
| 661 | *  Tip:  Using the inserter function to create these iterators can  | 
|---|
| 662 | *  save typing.  | 
|---|
| 663 | */  | 
|---|
| 664 | template<typename _Container>  | 
|---|
| 665 | class insert_iterator  | 
|---|
| 666 | : public iterator<output_iterator_tag, void, void, void, void>  | 
|---|
| 667 | {  | 
|---|
| 668 | protected:  | 
|---|
| 669 | _Container* container;  | 
|---|
| 670 | typename _Container::iterator iter;  | 
|---|
| 671 |   | 
|---|
| 672 | public:  | 
|---|
| 673 | /// A nested typedef for the type of whatever container you used.  | 
|---|
| 674 | typedef _Container          container_type;  | 
|---|
| 675 |   | 
|---|
| 676 | /**  | 
|---|
| 677 | *  The only way to create this %iterator is with a container and an  | 
|---|
| 678 | *  initial position (a normal %iterator into the container).  | 
|---|
| 679 | */  | 
|---|
| 680 | insert_iterator(_Container& __x, typename _Container::iterator __i)  | 
|---|
| 681 | : container(std::__addressof(__x)), iter(__i) {}  | 
|---|
| 682 |   | 
|---|
| 683 | /**  | 
|---|
| 684 | *  @param  __value  An instance of whatever type  | 
|---|
| 685 | *                 container_type::const_reference is; presumably a  | 
|---|
| 686 | *                 reference-to-const T for container<T>.  | 
|---|
| 687 | *  @return  This %iterator, for chained operations.  | 
|---|
| 688 | *  | 
|---|
| 689 | *  This kind of %iterator maintains its own position in the  | 
|---|
| 690 | *  container.  Assigning a value to the %iterator will insert the  | 
|---|
| 691 | *  value into the container at the place before the %iterator.  | 
|---|
| 692 | *  | 
|---|
| 693 | *  The position is maintained such that subsequent assignments will  | 
|---|
| 694 | *  insert values immediately after one another.  For example,  | 
|---|
| 695 | *  @code  | 
|---|
| 696 | *     // vector v contains A and Z  | 
|---|
| 697 | *  | 
|---|
| 698 | *     insert_iterator i (v, ++v.begin());  | 
|---|
| 699 | *     i = 1;  | 
|---|
| 700 | *     i = 2;  | 
|---|
| 701 | *     i = 3;  | 
|---|
| 702 | *  | 
|---|
| 703 | *     // vector v contains A, 1, 2, 3, and Z  | 
|---|
| 704 | *  @endcode  | 
|---|
| 705 | */  | 
|---|
| 706 | #if __cplusplus < 201103L  | 
|---|
| 707 | insert_iterator&  | 
|---|
| 708 | operator=(typename _Container::const_reference __value)  | 
|---|
| 709 | {  | 
|---|
| 710 | iter = container->insert(iter, __value);  | 
|---|
| 711 | ++iter;  | 
|---|
| 712 | return *this;  | 
|---|
| 713 | }  | 
|---|
| 714 | #else  | 
|---|
| 715 | insert_iterator&  | 
|---|
| 716 | operator=(const typename _Container::value_type& __value)  | 
|---|
| 717 | {  | 
|---|
| 718 | iter = container->insert(iter, __value);  | 
|---|
| 719 | ++iter;  | 
|---|
| 720 | return *this;  | 
|---|
| 721 | }  | 
|---|
| 722 |   | 
|---|
| 723 | insert_iterator&  | 
|---|
| 724 | operator=(typename _Container::value_type&& __value)  | 
|---|
| 725 | {  | 
|---|
| 726 | iter = container->insert(iter, std::move(__value));  | 
|---|
| 727 | ++iter;  | 
|---|
| 728 | return *this;  | 
|---|
| 729 | }  | 
|---|
| 730 | #endif  | 
|---|
| 731 |   | 
|---|
| 732 | /// Simply returns *this.  | 
|---|
| 733 | insert_iterator&  | 
|---|
| 734 | operator*()  | 
|---|
| 735 | { return *this; }  | 
|---|
| 736 |   | 
|---|
| 737 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 738 | insert_iterator&  | 
|---|
| 739 | operator++()  | 
|---|
| 740 | { return *this; }  | 
|---|
| 741 |   | 
|---|
| 742 | /// Simply returns *this.  (This %iterator does not @a move.)  | 
|---|
| 743 | insert_iterator&  | 
|---|
| 744 | operator++(int)  | 
|---|
| 745 | { return *this; }  | 
|---|
| 746 | };  | 
|---|
| 747 |   | 
|---|
| 748 | /**  | 
|---|
| 749 | *  @param __x  A container of arbitrary type.  | 
|---|
| 750 | *  @param __i  An iterator into the container.  | 
|---|
| 751 | *  @return  An instance of insert_iterator working on @p __x.  | 
|---|
| 752 | *  | 
|---|
| 753 | *  This wrapper function helps in creating insert_iterator instances.  | 
|---|
| 754 | *  Typing the name of the %iterator requires knowing the precise full  | 
|---|
| 755 | *  type of the container, which can be tedious and impedes generic  | 
|---|
| 756 | *  programming.  Using this function lets you take advantage of automatic  | 
|---|
| 757 | *  template parameter deduction, making the compiler match the correct  | 
|---|
| 758 | *  types for you.  | 
|---|
| 759 | */  | 
|---|
| 760 | template<typename _Container, typename _Iterator>  | 
|---|
| 761 | inline insert_iterator<_Container>  | 
|---|
| 762 | inserter(_Container& __x, _Iterator __i)  | 
|---|
| 763 | {  | 
|---|
| 764 | return insert_iterator<_Container>(__x,  | 
|---|
| 765 | typename _Container::iterator(__i));  | 
|---|
| 766 | }  | 
|---|
| 767 |   | 
|---|
| 768 | // @} group iterators  | 
|---|
| 769 |   | 
|---|
| 770 | _GLIBCXX_END_NAMESPACE_VERSION  | 
|---|
| 771 | } // namespace  | 
|---|
| 772 |   | 
|---|
| 773 | namespace __gnu_cxx _GLIBCXX_VISIBILITY(default)  | 
|---|
| 774 | {  | 
|---|
| 775 | _GLIBCXX_BEGIN_NAMESPACE_VERSION  | 
|---|
| 776 |   | 
|---|
| 777 | // This iterator adapter is @a normal in the sense that it does not  | 
|---|
| 778 | // change the semantics of any of the operators of its iterator  | 
|---|
| 779 | // parameter.  Its primary purpose is to convert an iterator that is  | 
|---|
| 780 | // not a class, e.g. a pointer, into an iterator that is a class.  | 
|---|
| 781 | // The _Container parameter exists solely so that different containers  | 
|---|
| 782 | // using this template can instantiate different types, even if the  | 
|---|
| 783 | // _Iterator parameter is the same.  | 
|---|
| 784 | using std::iterator_traits;  | 
|---|
| 785 | using std::iterator;  | 
|---|
| 786 | template<typename _Iterator, typename _Container>  | 
|---|
| 787 | class __normal_iterator  | 
|---|
| 788 | {  | 
|---|
| 789 | protected:  | 
|---|
| 790 | _Iterator _M_current;  | 
|---|
| 791 |   | 
|---|
| 792 | typedef iterator_traits<_Iterator>		__traits_type;  | 
|---|
| 793 |   | 
|---|
| 794 | public:  | 
|---|
| 795 | typedef _Iterator					iterator_type;  | 
|---|
| 796 | typedef typename __traits_type::iterator_category iterator_category;  | 
|---|
| 797 | typedef typename __traits_type::value_type  	value_type;  | 
|---|
| 798 | typedef typename __traits_type::difference_type 	difference_type;  | 
|---|
| 799 | typedef typename __traits_type::reference 	reference;  | 
|---|
| 800 | typedef typename __traits_type::pointer   	pointer;  | 
|---|
| 801 |   | 
|---|
| 802 | _GLIBCXX_CONSTEXPR __normal_iterator() _GLIBCXX_NOEXCEPT  | 
|---|
| 803 | : _M_current(_Iterator()) { }  | 
|---|
| 804 |   | 
|---|
| 805 | explicit  | 
|---|
| 806 | __normal_iterator(const _Iterator& __i) _GLIBCXX_NOEXCEPT  | 
|---|
| 807 | : _M_current(__i) { }  | 
|---|
| 808 |   | 
|---|
| 809 | // Allow iterator to const_iterator conversion  | 
|---|
| 810 | template<typename _Iter>  | 
|---|
| 811 | __normal_iterator(const __normal_iterator<_Iter,  | 
|---|
| 812 | typename __enable_if<  | 
|---|
| 813 | (std::__are_same<_Iter, typename _Container::pointer>::__value),  | 
|---|
| 814 | _Container>::__type>& __i) _GLIBCXX_NOEXCEPT  | 
|---|
| 815 | : _M_current(__i.base()) { }  | 
|---|
| 816 |   | 
|---|
| 817 | // Forward iterator requirements  | 
|---|
| 818 | reference  | 
|---|
| 819 | operator*() const _GLIBCXX_NOEXCEPT  | 
|---|
| 820 | { return *_M_current; }  | 
|---|
| 821 |   | 
|---|
| 822 | pointer  | 
|---|
| 823 | operator->() const _GLIBCXX_NOEXCEPT  | 
|---|
| 824 | { return _M_current; }  | 
|---|
| 825 |   | 
|---|
| 826 | __normal_iterator&  | 
|---|
| 827 | operator++() _GLIBCXX_NOEXCEPT  | 
|---|
| 828 | {  | 
|---|
| 829 | ++_M_current;  | 
|---|
| 830 | return *this;  | 
|---|
| 831 | }  | 
|---|
| 832 |   | 
|---|
| 833 | __normal_iterator  | 
|---|
| 834 | operator++(int) _GLIBCXX_NOEXCEPT  | 
|---|
| 835 | { return __normal_iterator(_M_current++); }  | 
|---|
| 836 |   | 
|---|
| 837 | // Bidirectional iterator requirements  | 
|---|
| 838 | __normal_iterator&  | 
|---|
| 839 | operator--() _GLIBCXX_NOEXCEPT  | 
|---|
| 840 | {  | 
|---|
| 841 | --_M_current;  | 
|---|
| 842 | return *this;  | 
|---|
| 843 | }  | 
|---|
| 844 |   | 
|---|
| 845 | __normal_iterator  | 
|---|
| 846 | operator--(int) _GLIBCXX_NOEXCEPT  | 
|---|
| 847 | { return __normal_iterator(_M_current--); }  | 
|---|
| 848 |   | 
|---|
| 849 | // Random access iterator requirements  | 
|---|
| 850 | reference  | 
|---|
| 851 | operator[](difference_type __n) const _GLIBCXX_NOEXCEPT  | 
|---|
| 852 | { return _M_current[__n]; }  | 
|---|
| 853 |   | 
|---|
| 854 | __normal_iterator&  | 
|---|
| 855 | operator+=(difference_type __n) _GLIBCXX_NOEXCEPT  | 
|---|
| 856 | { _M_current += __n; return *this; }  | 
|---|
| 857 |   | 
|---|
| 858 | __normal_iterator  | 
|---|
| 859 | operator+(difference_type __n) const _GLIBCXX_NOEXCEPT  | 
|---|
| 860 | { return __normal_iterator(_M_current + __n); }  | 
|---|
| 861 |   | 
|---|
| 862 | __normal_iterator&  | 
|---|
| 863 | operator-=(difference_type __n) _GLIBCXX_NOEXCEPT  | 
|---|
| 864 | { _M_current -= __n; return *this; }  | 
|---|
| 865 |   | 
|---|
| 866 | __normal_iterator  | 
|---|
| 867 | operator-(difference_type __n) const _GLIBCXX_NOEXCEPT  | 
|---|
| 868 | { return __normal_iterator(_M_current - __n); }  | 
|---|
| 869 |   | 
|---|
| 870 | const _Iterator&  | 
|---|
| 871 | base() const _GLIBCXX_NOEXCEPT  | 
|---|
| 872 | { return _M_current; }  | 
|---|
| 873 | };  | 
|---|
| 874 |   | 
|---|
| 875 | // Note: In what follows, the left- and right-hand-side iterators are  | 
|---|
| 876 | // allowed to vary in types (conceptually in cv-qualification) so that  | 
|---|
| 877 | // comparison between cv-qualified and non-cv-qualified iterators be  | 
|---|
| 878 | // valid.  However, the greedy and unfriendly operators in std::rel_ops  | 
|---|
| 879 | // will make overload resolution ambiguous (when in scope) if we don't  | 
|---|
| 880 | // provide overloads whose operands are of the same type.  Can someone  | 
|---|
| 881 | // remind me what generic programming is about? -- Gaby  | 
|---|
| 882 |   | 
|---|
| 883 | // Forward iterator requirements  | 
|---|
| 884 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 885 | inline bool  | 
|---|
| 886 | operator==(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 887 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 888 | _GLIBCXX_NOEXCEPT  | 
|---|
| 889 | { return __lhs.base() == __rhs.base(); }  | 
|---|
| 890 |   | 
|---|
| 891 | template<typename _Iterator, typename _Container>  | 
|---|
| 892 | inline bool  | 
|---|
| 893 | operator==(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 894 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 895 | _GLIBCXX_NOEXCEPT  | 
|---|
| 896 | { return __lhs.base() == __rhs.base(); }  | 
|---|
| 897 |   | 
|---|
| 898 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 899 | inline bool  | 
|---|
| 900 | operator!=(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 901 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 902 | _GLIBCXX_NOEXCEPT  | 
|---|
| 903 | { return __lhs.base() != __rhs.base(); }  | 
|---|
| 904 |   | 
|---|
| 905 | template<typename _Iterator, typename _Container>  | 
|---|
| 906 | inline bool  | 
|---|
| 907 | operator!=(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 908 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 909 | _GLIBCXX_NOEXCEPT  | 
|---|
| 910 | { return __lhs.base() != __rhs.base(); }  | 
|---|
| 911 |   | 
|---|
| 912 | // Random access iterator requirements  | 
|---|
| 913 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 914 | inline bool  | 
|---|
| 915 | operator<(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 916 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 917 | _GLIBCXX_NOEXCEPT  | 
|---|
| 918 | { return __lhs.base() < __rhs.base(); }  | 
|---|
| 919 |   | 
|---|
| 920 | template<typename _Iterator, typename _Container>  | 
|---|
| 921 | inline bool  | 
|---|
| 922 | operator<(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 923 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 924 | _GLIBCXX_NOEXCEPT  | 
|---|
| 925 | { return __lhs.base() < __rhs.base(); }  | 
|---|
| 926 |   | 
|---|
| 927 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 928 | inline bool  | 
|---|
| 929 | operator>(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 930 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 931 | _GLIBCXX_NOEXCEPT  | 
|---|
| 932 | { return __lhs.base() > __rhs.base(); }  | 
|---|
| 933 |   | 
|---|
| 934 | template<typename _Iterator, typename _Container>  | 
|---|
| 935 | inline bool  | 
|---|
| 936 | operator>(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 937 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 938 | _GLIBCXX_NOEXCEPT  | 
|---|
| 939 | { return __lhs.base() > __rhs.base(); }  | 
|---|
| 940 |   | 
|---|
| 941 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 942 | inline bool  | 
|---|
| 943 | operator<=(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 944 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 945 | _GLIBCXX_NOEXCEPT  | 
|---|
| 946 | { return __lhs.base() <= __rhs.base(); }  | 
|---|
| 947 |   | 
|---|
| 948 | template<typename _Iterator, typename _Container>  | 
|---|
| 949 | inline bool  | 
|---|
| 950 | operator<=(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 951 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 952 | _GLIBCXX_NOEXCEPT  | 
|---|
| 953 | { return __lhs.base() <= __rhs.base(); }  | 
|---|
| 954 |   | 
|---|
| 955 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 956 | inline bool  | 
|---|
| 957 | operator>=(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 958 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 959 | _GLIBCXX_NOEXCEPT  | 
|---|
| 960 | { return __lhs.base() >= __rhs.base(); }  | 
|---|
| 961 |   | 
|---|
| 962 | template<typename _Iterator, typename _Container>  | 
|---|
| 963 | inline bool  | 
|---|
| 964 | operator>=(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 965 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 966 | _GLIBCXX_NOEXCEPT  | 
|---|
| 967 | { return __lhs.base() >= __rhs.base(); }  | 
|---|
| 968 |   | 
|---|
| 969 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 970 | // According to the resolution of DR179 not only the various comparison  | 
|---|
| 971 | // operators but also operator- must accept mixed iterator/const_iterator  | 
|---|
| 972 | // parameters.  | 
|---|
| 973 | template<typename _IteratorL, typename _IteratorR, typename _Container>  | 
|---|
| 974 | #if __cplusplus >= 201103L  | 
|---|
| 975 | // DR 685.  | 
|---|
| 976 | inline auto  | 
|---|
| 977 | operator-(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 978 | const __normal_iterator<_IteratorR, _Container>& __rhs) noexcept  | 
|---|
| 979 | -> decltype(__lhs.base() - __rhs.base())  | 
|---|
| 980 | #else  | 
|---|
| 981 | inline typename __normal_iterator<_IteratorL, _Container>::difference_type  | 
|---|
| 982 | operator-(const __normal_iterator<_IteratorL, _Container>& __lhs,  | 
|---|
| 983 | const __normal_iterator<_IteratorR, _Container>& __rhs)  | 
|---|
| 984 | #endif  | 
|---|
| 985 | { return __lhs.base() - __rhs.base(); }  | 
|---|
| 986 |   | 
|---|
| 987 | template<typename _Iterator, typename _Container>  | 
|---|
| 988 | inline typename __normal_iterator<_Iterator, _Container>::difference_type  | 
|---|
| 989 | operator-(const __normal_iterator<_Iterator, _Container>& __lhs,  | 
|---|
| 990 | const __normal_iterator<_Iterator, _Container>& __rhs)  | 
|---|
| 991 | _GLIBCXX_NOEXCEPT  | 
|---|
| 992 | { return __lhs.base() - __rhs.base(); }  | 
|---|
| 993 |   | 
|---|
| 994 | template<typename _Iterator, typename _Container>  | 
|---|
| 995 | inline __normal_iterator<_Iterator, _Container>  | 
|---|
| 996 | operator+(typename __normal_iterator<_Iterator, _Container>::difference_type  | 
|---|
| 997 | __n, const __normal_iterator<_Iterator, _Container>& __i)  | 
|---|
| 998 | _GLIBCXX_NOEXCEPT  | 
|---|
| 999 | { return __normal_iterator<_Iterator, _Container>(__i.base() + __n); }  | 
|---|
| 1000 |   | 
|---|
| 1001 | _GLIBCXX_END_NAMESPACE_VERSION  | 
|---|
| 1002 | } // namespace  | 
|---|
| 1003 |   | 
|---|
| 1004 | namespace std _GLIBCXX_VISIBILITY(default)  | 
|---|
| 1005 | {  | 
|---|
| 1006 | _GLIBCXX_BEGIN_NAMESPACE_VERSION  | 
|---|
| 1007 |   | 
|---|
| 1008 | template<typename _Iterator, typename _Container>  | 
|---|
| 1009 | _Iterator  | 
|---|
| 1010 | __niter_base(__gnu_cxx::__normal_iterator<_Iterator, _Container> __it)  | 
|---|
| 1011 | _GLIBCXX_NOEXCEPT_IF(std::is_nothrow_copy_constructible<_Iterator>::value)  | 
|---|
| 1012 | { return __it.base(); }  | 
|---|
| 1013 |   | 
|---|
| 1014 | #if __cplusplus >= 201103L  | 
|---|
| 1015 |   | 
|---|
| 1016 | /**  | 
|---|
| 1017 | * @addtogroup iterators  | 
|---|
| 1018 | * @{  | 
|---|
| 1019 | */  | 
|---|
| 1020 |   | 
|---|
| 1021 | // 24.4.3  Move iterators  | 
|---|
| 1022 | /**  | 
|---|
| 1023 | *  Class template move_iterator is an iterator adapter with the same  | 
|---|
| 1024 | *  behavior as the underlying iterator except that its dereference  | 
|---|
| 1025 | *  operator implicitly converts the value returned by the underlying  | 
|---|
| 1026 | *  iterator's dereference operator to an rvalue reference.  Some  | 
|---|
| 1027 | *  generic algorithms can be called with move iterators to replace  | 
|---|
| 1028 | *  copying with moving.  | 
|---|
| 1029 | */  | 
|---|
| 1030 | template<typename _Iterator>  | 
|---|
| 1031 | class move_iterator  | 
|---|
| 1032 | {  | 
|---|
| 1033 | protected:  | 
|---|
| 1034 | _Iterator _M_current;  | 
|---|
| 1035 |   | 
|---|
| 1036 | typedef iterator_traits<_Iterator>		__traits_type;  | 
|---|
| 1037 | typedef typename __traits_type::reference		__base_ref;  | 
|---|
| 1038 |   | 
|---|
| 1039 | public:  | 
|---|
| 1040 | typedef _Iterator					iterator_type;  | 
|---|
| 1041 | typedef typename __traits_type::iterator_category iterator_category;  | 
|---|
| 1042 | typedef typename __traits_type::value_type  	value_type;  | 
|---|
| 1043 | typedef typename __traits_type::difference_type	difference_type;  | 
|---|
| 1044 | // NB: DR 680.  | 
|---|
| 1045 | typedef _Iterator					pointer;  | 
|---|
| 1046 | // _GLIBCXX_RESOLVE_LIB_DEFECTS  | 
|---|
| 1047 | // 2106. move_iterator wrapping iterators returning prvalues  | 
|---|
| 1048 | typedef typename conditional<is_reference<__base_ref>::value,  | 
|---|
| 1049 | typename remove_reference<__base_ref>::type&&,  | 
|---|
| 1050 | __base_ref>::type		reference;  | 
|---|
| 1051 |   | 
|---|
| 1052 | _GLIBCXX17_CONSTEXPR  | 
|---|
| 1053 | move_iterator()  | 
|---|
| 1054 | : _M_current() { }  | 
|---|
| 1055 |   | 
|---|
| 1056 | explicit _GLIBCXX17_CONSTEXPR  | 
|---|
| 1057 | move_iterator(iterator_type __i)  | 
|---|
| 1058 | : _M_current(__i) { }  | 
|---|
| 1059 |   | 
|---|
| 1060 | template<typename _Iter>  | 
|---|
| 1061 | _GLIBCXX17_CONSTEXPR  | 
|---|
| 1062 | move_iterator(const move_iterator<_Iter>& __i)  | 
|---|
| 1063 | : _M_current(__i.base()) { }  | 
|---|
| 1064 |   | 
|---|
| 1065 | _GLIBCXX17_CONSTEXPR iterator_type  | 
|---|
| 1066 | base() const  | 
|---|
| 1067 | { return _M_current; }  | 
|---|
| 1068 |   | 
|---|
| 1069 | _GLIBCXX17_CONSTEXPR reference  | 
|---|
| 1070 | operator*() const  | 
|---|
| 1071 | { return static_cast<reference>(*_M_current); }  | 
|---|
| 1072 |   | 
|---|
| 1073 | _GLIBCXX17_CONSTEXPR pointer  | 
|---|
| 1074 | operator->() const  | 
|---|
| 1075 | { return _M_current; }  | 
|---|
| 1076 |   | 
|---|
| 1077 | _GLIBCXX17_CONSTEXPR move_iterator&  | 
|---|
| 1078 | operator++()  | 
|---|
| 1079 | {  | 
|---|
| 1080 | ++_M_current;  | 
|---|
| 1081 | return *this;  | 
|---|
| 1082 | }  | 
|---|
| 1083 |   | 
|---|
| 1084 | _GLIBCXX17_CONSTEXPR move_iterator  | 
|---|
| 1085 | operator++(int)  | 
|---|
| 1086 | {  | 
|---|
| 1087 | move_iterator __tmp = *this;  | 
|---|
| 1088 | ++_M_current;  | 
|---|
| 1089 | return __tmp;  | 
|---|
| 1090 | }  | 
|---|
| 1091 |   | 
|---|
| 1092 | _GLIBCXX17_CONSTEXPR move_iterator&  | 
|---|
| 1093 | operator--()  | 
|---|
| 1094 | {  | 
|---|
| 1095 | --_M_current;  | 
|---|
| 1096 | return *this;  | 
|---|
| 1097 | }  | 
|---|
| 1098 |   | 
|---|
| 1099 | _GLIBCXX17_CONSTEXPR move_iterator  | 
|---|
| 1100 | operator--(int)  | 
|---|
| 1101 | {  | 
|---|
| 1102 | move_iterator __tmp = *this;  | 
|---|
| 1103 | --_M_current;  | 
|---|
| 1104 | return __tmp;  | 
|---|
| 1105 | }  | 
|---|
| 1106 |   | 
|---|
| 1107 | _GLIBCXX17_CONSTEXPR move_iterator  | 
|---|
| 1108 | operator+(difference_type __n) const  | 
|---|
| 1109 | { return move_iterator(_M_current + __n); }  | 
|---|
| 1110 |   | 
|---|
| 1111 | _GLIBCXX17_CONSTEXPR move_iterator&  | 
|---|
| 1112 | operator+=(difference_type __n)  | 
|---|
| 1113 | {  | 
|---|
| 1114 | _M_current += __n;  | 
|---|
| 1115 | return *this;  | 
|---|
| 1116 | }  | 
|---|
| 1117 |   | 
|---|
| 1118 | _GLIBCXX17_CONSTEXPR move_iterator  | 
|---|
| 1119 | operator-(difference_type __n) const  | 
|---|
| 1120 | { return move_iterator(_M_current - __n); }  | 
|---|
| 1121 |   | 
|---|
| 1122 | _GLIBCXX17_CONSTEXPR move_iterator&  | 
|---|
| 1123 | operator-=(difference_type __n)  | 
|---|
| 1124 | {   | 
|---|
| 1125 | _M_current -= __n;  | 
|---|
| 1126 | return *this;  | 
|---|
| 1127 | }  | 
|---|
| 1128 |   | 
|---|
| 1129 | _GLIBCXX17_CONSTEXPR reference  | 
|---|
| 1130 | operator[](difference_type __n) const  | 
|---|
| 1131 | { return std::move(_M_current[__n]); }  | 
|---|
| 1132 | };  | 
|---|
| 1133 |   | 
|---|
| 1134 | // Note: See __normal_iterator operators note from Gaby to understand  | 
|---|
| 1135 | // why there are always 2 versions for most of the move_iterator  | 
|---|
| 1136 | // operators.  | 
|---|
| 1137 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1138 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1139 | operator==(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1140 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1141 | { return __x.base() == __y.base(); }  | 
|---|
| 1142 |   | 
|---|
| 1143 | template<typename _Iterator>  | 
|---|
| 1144 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1145 | operator==(const move_iterator<_Iterator>& __x,  | 
|---|
| 1146 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1147 | { return __x.base() == __y.base(); }  | 
|---|
| 1148 |   | 
|---|
| 1149 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1150 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1151 | operator!=(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1152 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1153 | { return !(__x == __y); }  | 
|---|
| 1154 |   | 
|---|
| 1155 | template<typename _Iterator>  | 
|---|
| 1156 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1157 | operator!=(const move_iterator<_Iterator>& __x,  | 
|---|
| 1158 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1159 | { return !(__x == __y); }  | 
|---|
| 1160 |   | 
|---|
| 1161 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1162 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1163 | operator<(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1164 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1165 | { return __x.base() < __y.base(); }  | 
|---|
| 1166 |   | 
|---|
| 1167 | template<typename _Iterator>  | 
|---|
| 1168 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1169 | operator<(const move_iterator<_Iterator>& __x,  | 
|---|
| 1170 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1171 | { return __x.base() < __y.base(); }  | 
|---|
| 1172 |   | 
|---|
| 1173 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1174 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1175 | operator<=(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1176 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1177 | { return !(__y < __x); }  | 
|---|
| 1178 |   | 
|---|
| 1179 | template<typename _Iterator>  | 
|---|
| 1180 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1181 | operator<=(const move_iterator<_Iterator>& __x,  | 
|---|
| 1182 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1183 | { return !(__y < __x); }  | 
|---|
| 1184 |   | 
|---|
| 1185 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1186 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1187 | operator>(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1188 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1189 | { return __y < __x; }  | 
|---|
| 1190 |   | 
|---|
| 1191 | template<typename _Iterator>  | 
|---|
| 1192 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1193 | operator>(const move_iterator<_Iterator>& __x,  | 
|---|
| 1194 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1195 | { return __y < __x; }  | 
|---|
| 1196 |   | 
|---|
| 1197 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1198 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1199 | operator>=(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1200 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1201 | { return !(__x < __y); }  | 
|---|
| 1202 |   | 
|---|
| 1203 | template<typename _Iterator>  | 
|---|
| 1204 | inline _GLIBCXX17_CONSTEXPR bool  | 
|---|
| 1205 | operator>=(const move_iterator<_Iterator>& __x,  | 
|---|
| 1206 | const move_iterator<_Iterator>& __y)  | 
|---|
| 1207 | { return !(__x < __y); }  | 
|---|
| 1208 |   | 
|---|
| 1209 | // DR 685.  | 
|---|
| 1210 | template<typename _IteratorL, typename _IteratorR>  | 
|---|
| 1211 | inline _GLIBCXX17_CONSTEXPR auto  | 
|---|
| 1212 | operator-(const move_iterator<_IteratorL>& __x,  | 
|---|
| 1213 | const move_iterator<_IteratorR>& __y)  | 
|---|
| 1214 | -> decltype(__x.base() - __y.base())  | 
|---|
| 1215 | { return __x.base() - __y.base(); }  | 
|---|
| 1216 |   | 
|---|
| 1217 | template<typename _Iterator>  | 
|---|
| 1218 | inline _GLIBCXX17_CONSTEXPR move_iterator<_Iterator>  | 
|---|
| 1219 | operator+(typename move_iterator<_Iterator>::difference_type __n,  | 
|---|
| 1220 | const move_iterator<_Iterator>& __x)  | 
|---|
| 1221 | { return __x + __n; }  | 
|---|
| 1222 |   | 
|---|
| 1223 | template<typename _Iterator>  | 
|---|
| 1224 | inline _GLIBCXX17_CONSTEXPR move_iterator<_Iterator>  | 
|---|
| 1225 | make_move_iterator(_Iterator __i)  | 
|---|
| 1226 | { return move_iterator<_Iterator>(__i); }  | 
|---|
| 1227 |   | 
|---|
| 1228 | template<typename _Iterator, typename _ReturnType  | 
|---|
| 1229 | = typename conditional<__move_if_noexcept_cond  | 
|---|
| 1230 | <typename iterator_traits<_Iterator>::value_type>::value,  | 
|---|
| 1231 | _Iterator, move_iterator<_Iterator>>::type>  | 
|---|
| 1232 | inline _GLIBCXX17_CONSTEXPR _ReturnType  | 
|---|
| 1233 | __make_move_if_noexcept_iterator(_Iterator __i)  | 
|---|
| 1234 | { return _ReturnType(__i); }  | 
|---|
| 1235 |   | 
|---|
| 1236 | // Overload for pointers that matches std::move_if_noexcept more closely,  | 
|---|
| 1237 | // returning a constant iterator when we don't want to move.  | 
|---|
| 1238 | template<typename _Tp, typename _ReturnType  | 
|---|
| 1239 | = typename conditional<__move_if_noexcept_cond<_Tp>::value,  | 
|---|
| 1240 | const _Tp*, move_iterator<_Tp*>>::type>  | 
|---|
| 1241 | inline _GLIBCXX17_CONSTEXPR _ReturnType  | 
|---|
| 1242 | __make_move_if_noexcept_iterator(_Tp* __i)  | 
|---|
| 1243 | { return _ReturnType(__i); }  | 
|---|
| 1244 |   | 
|---|
| 1245 | // @} group iterators  | 
|---|
| 1246 |   | 
|---|
| 1247 | template<typename _Iterator>  | 
|---|
| 1248 | auto  | 
|---|
| 1249 | __niter_base(move_iterator<_Iterator> __it)  | 
|---|
| 1250 | -> decltype(make_move_iterator(__niter_base(__it.base())))  | 
|---|
| 1251 | { return make_move_iterator(__niter_base(__it.base())); }  | 
|---|
| 1252 |   | 
|---|
| 1253 | template<typename _Iterator>  | 
|---|
| 1254 | struct __is_move_iterator<move_iterator<_Iterator> >  | 
|---|
| 1255 | {  | 
|---|
| 1256 | enum { __value = 1 };  | 
|---|
| 1257 | typedef __true_type __type;  | 
|---|
| 1258 | };  | 
|---|
| 1259 |   | 
|---|
| 1260 | template<typename _Iterator>  | 
|---|
| 1261 | auto  | 
|---|
| 1262 | __miter_base(move_iterator<_Iterator> __it)  | 
|---|
| 1263 | -> decltype(__miter_base(__it.base()))  | 
|---|
| 1264 | { return __miter_base(__it.base()); }  | 
|---|
| 1265 |   | 
|---|
| 1266 | #define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) std::make_move_iterator(_Iter)  | 
|---|
| 1267 | #define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) \  | 
|---|
| 1268 | std::__make_move_if_noexcept_iterator(_Iter)  | 
|---|
| 1269 | #else  | 
|---|
| 1270 | #define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) (_Iter)  | 
|---|
| 1271 | #define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) (_Iter)  | 
|---|
| 1272 | #endif // C++11  | 
|---|
| 1273 |   | 
|---|
| 1274 | #if __cpp_deduction_guides >= 201606  | 
|---|
| 1275 | // These helper traits are used for deduction guides  | 
|---|
| 1276 | // of associative containers.  | 
|---|
| 1277 | template<typename _InputIterator>  | 
|---|
| 1278 | using __iter_key_t = remove_const_t<  | 
|---|
| 1279 | typename iterator_traits<_InputIterator>::value_type::first_type>;  | 
|---|
| 1280 |   | 
|---|
| 1281 | template<typename _InputIterator>  | 
|---|
| 1282 | using __iter_val_t =  | 
|---|
| 1283 | typename iterator_traits<_InputIterator>::value_type::second_type;  | 
|---|
| 1284 |   | 
|---|
| 1285 | template<typename _T1, typename _T2>  | 
|---|
| 1286 | struct pair;  | 
|---|
| 1287 |   | 
|---|
| 1288 | template<typename _InputIterator>  | 
|---|
| 1289 | using __iter_to_alloc_t =  | 
|---|
| 1290 | pair<add_const_t<__iter_key_t<_InputIterator>>,  | 
|---|
| 1291 | __iter_val_t<_InputIterator>>;  | 
|---|
| 1292 |   | 
|---|
| 1293 | #endif  | 
|---|
| 1294 |   | 
|---|
| 1295 | _GLIBCXX_END_NAMESPACE_VERSION  | 
|---|
| 1296 | } // namespace  | 
|---|
| 1297 |   | 
|---|
| 1298 | #ifdef _GLIBCXX_DEBUG  | 
|---|
| 1299 | # include <debug/stl_iterator.h>  | 
|---|
| 1300 | #endif  | 
|---|
| 1301 |   | 
|---|
| 1302 | #endif  | 
|---|
| 1303 |  | 
|---|