13e519524SHoward Hinnant// -*- C++ -*- 23e519524SHoward Hinnant//===-------------------------- iterator ----------------------------------===// 33e519524SHoward Hinnant// 45b08a8a4SHoward Hinnant// The LLVM Compiler Infrastructure 53e519524SHoward Hinnant// 6412dbebeSHoward Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 7412dbebeSHoward Hinnant// Source Licenses. See LICENSE.TXT for details. 83e519524SHoward Hinnant// 93e519524SHoward Hinnant//===----------------------------------------------------------------------===// 103e519524SHoward Hinnant 113e519524SHoward Hinnant#ifndef _LIBCPP_ITERATOR 123e519524SHoward Hinnant#define _LIBCPP_ITERATOR 133e519524SHoward Hinnant 143e519524SHoward Hinnant/* 153e519524SHoward Hinnant iterator synopsis 163e519524SHoward Hinnant 173e519524SHoward Hinnantnamespace std 183e519524SHoward Hinnant{ 193e519524SHoward Hinnant 203e519524SHoward Hinnanttemplate<class Iterator> 213e519524SHoward Hinnantstruct iterator_traits 223e519524SHoward Hinnant{ 233e519524SHoward Hinnant typedef typename Iterator::difference_type difference_type; 243e519524SHoward Hinnant typedef typename Iterator::value_type value_type; 253e519524SHoward Hinnant typedef typename Iterator::pointer pointer; 263e519524SHoward Hinnant typedef typename Iterator::reference reference; 273e519524SHoward Hinnant typedef typename Iterator::iterator_category iterator_category; 283e519524SHoward Hinnant}; 293e519524SHoward Hinnant 303e519524SHoward Hinnanttemplate<class T> 313e519524SHoward Hinnantstruct iterator_traits<T*> 323e519524SHoward Hinnant{ 333e519524SHoward Hinnant typedef ptrdiff_t difference_type; 343e519524SHoward Hinnant typedef T value_type; 353e519524SHoward Hinnant typedef T* pointer; 363e519524SHoward Hinnant typedef T& reference; 373e519524SHoward Hinnant typedef random_access_iterator_tag iterator_category; 383e519524SHoward Hinnant}; 393e519524SHoward Hinnant 403e519524SHoward Hinnanttemplate<class T> 413e519524SHoward Hinnantstruct iterator_traits<const T*> 423e519524SHoward Hinnant{ 433e519524SHoward Hinnant typedef ptrdiff_t difference_type; 443e519524SHoward Hinnant typedef T value_type; 453e519524SHoward Hinnant typedef const T* pointer; 463e519524SHoward Hinnant typedef const T& reference; 473e519524SHoward Hinnant typedef random_access_iterator_tag iterator_category; 483e519524SHoward Hinnant}; 493e519524SHoward Hinnant 503e519524SHoward Hinnanttemplate<class Category, class T, class Distance = ptrdiff_t, 513e519524SHoward Hinnant class Pointer = T*, class Reference = T&> 523e519524SHoward Hinnantstruct iterator 533e519524SHoward Hinnant{ 543e519524SHoward Hinnant typedef T value_type; 553e519524SHoward Hinnant typedef Distance difference_type; 563e519524SHoward Hinnant typedef Pointer pointer; 573e519524SHoward Hinnant typedef Reference reference; 583e519524SHoward Hinnant typedef Category iterator_category; 593e519524SHoward Hinnant}; 603e519524SHoward Hinnant 613e519524SHoward Hinnantstruct input_iterator_tag {}; 623e519524SHoward Hinnantstruct output_iterator_tag {}; 633e519524SHoward Hinnantstruct forward_iterator_tag : public input_iterator_tag {}; 643e519524SHoward Hinnantstruct bidirectional_iterator_tag : public forward_iterator_tag {}; 653e519524SHoward Hinnantstruct random_access_iterator_tag : public bidirectional_iterator_tag {}; 663e519524SHoward Hinnant 673e519524SHoward Hinnant// extension: second argument not conforming to C++03 683e519524SHoward Hinnanttemplate <class InputIterator> 693e519524SHoward Hinnantvoid advance(InputIterator& i, 703e519524SHoward Hinnant typename iterator_traits<InputIterator>::difference_type n); 713e519524SHoward Hinnant 723e519524SHoward Hinnanttemplate <class InputIterator> 733e519524SHoward Hinnanttypename iterator_traits<InputIterator>::difference_type 743e519524SHoward Hinnantdistance(InputIterator first, InputIterator last); 753e519524SHoward Hinnant 763e519524SHoward Hinnanttemplate <class Iterator> 773e519524SHoward Hinnantclass reverse_iterator 783e519524SHoward Hinnant : public iterator<typename iterator_traits<Iterator>::iterator_category, 793e519524SHoward Hinnant typename iterator_traits<Iterator>::value_type, 803e519524SHoward Hinnant typename iterator_traits<Iterator>::difference_type, 813e519524SHoward Hinnant typename iterator_traits<Iterator>::pointer, 823e519524SHoward Hinnant typename iterator_traits<Iterator>::reference> 833e519524SHoward Hinnant{ 843e519524SHoward Hinnantprotected: 853e519524SHoward Hinnant Iterator current; 863e519524SHoward Hinnantpublic: 873e519524SHoward Hinnant typedef Iterator iterator_type; 883e519524SHoward Hinnant typedef typename iterator_traits<Iterator>::difference_type difference_type; 893e519524SHoward Hinnant typedef typename iterator_traits<Iterator>::reference reference; 903e519524SHoward Hinnant typedef typename iterator_traits<Iterator>::pointer pointer; 913e519524SHoward Hinnant 923e519524SHoward Hinnant reverse_iterator(); 933e519524SHoward Hinnant explicit reverse_iterator(Iterator x); 943e519524SHoward Hinnant template <class U> reverse_iterator(const reverse_iterator<U>& u); 953e519524SHoward Hinnant Iterator base() const; 963e519524SHoward Hinnant reference operator*() const; 973e519524SHoward Hinnant pointer operator->() const; 983e519524SHoward Hinnant reverse_iterator& operator++(); 993e519524SHoward Hinnant reverse_iterator operator++(int); 1003e519524SHoward Hinnant reverse_iterator& operator--(); 1013e519524SHoward Hinnant reverse_iterator operator--(int); 1023e519524SHoward Hinnant reverse_iterator operator+ (difference_type n) const; 1033e519524SHoward Hinnant reverse_iterator& operator+=(difference_type n); 1043e519524SHoward Hinnant reverse_iterator operator- (difference_type n) const; 1053e519524SHoward Hinnant reverse_iterator& operator-=(difference_type n); 1063e519524SHoward Hinnant reference operator[](difference_type n) const; 1073e519524SHoward Hinnant}; 1083e519524SHoward Hinnant 1093e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1103e519524SHoward Hinnantbool 1113e519524SHoward Hinnantoperator==(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1123e519524SHoward Hinnant 1133e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1143e519524SHoward Hinnantbool 1153e519524SHoward Hinnantoperator<(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1163e519524SHoward Hinnant 1173e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1183e519524SHoward Hinnantbool 1193e519524SHoward Hinnantoperator!=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1203e519524SHoward Hinnant 1213e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1223e519524SHoward Hinnantbool 1233e519524SHoward Hinnantoperator>(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1243e519524SHoward Hinnant 1253e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1263e519524SHoward Hinnantbool 1273e519524SHoward Hinnantoperator>=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1283e519524SHoward Hinnant 1293e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1303e519524SHoward Hinnantbool 1313e519524SHoward Hinnantoperator<=(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1323e519524SHoward Hinnant 1333e519524SHoward Hinnanttemplate <class Iterator1, class Iterator2> 1343e519524SHoward Hinnanttypename reverse_iterator<Iterator1>::difference_type 1353e519524SHoward Hinnantoperator-(const reverse_iterator<Iterator1>& x, const reverse_iterator<Iterator2>& y); 1363e519524SHoward Hinnant 1373e519524SHoward Hinnanttemplate <class Iterator> 1383e519524SHoward Hinnantreverse_iterator<Iterator> 1393e519524SHoward Hinnantoperator+(typename reverse_iterator<Iterator>::difference_type n, const reverse_iterator<Iterator>& x); 1403e519524SHoward Hinnant 1413e519524SHoward Hinnanttemplate <class Container> 1423e519524SHoward Hinnantclass back_insert_iterator 1433e519524SHoward Hinnant{ 1443e519524SHoward Hinnantprotected: 1453e519524SHoward Hinnant Container* container; 1463e519524SHoward Hinnantpublic: 1473e519524SHoward Hinnant typedef Container container_type; 1483e519524SHoward Hinnant typedef void value_type; 1493e519524SHoward Hinnant typedef void difference_type; 1503e519524SHoward Hinnant typedef back_insert_iterator<Cont>& reference; 1513e519524SHoward Hinnant typedef void pointer; 1523e519524SHoward Hinnant 1533e519524SHoward Hinnant explicit back_insert_iterator(Container& x); 15403976c1bSHoward Hinnant back_insert_iterator& operator=(const typename Container::value_type& value); 1553e519524SHoward Hinnant back_insert_iterator& operator*(); 1563e519524SHoward Hinnant back_insert_iterator& operator++(); 1573e519524SHoward Hinnant back_insert_iterator operator++(int); 1583e519524SHoward Hinnant}; 1593e519524SHoward Hinnant 1603e519524SHoward Hinnanttemplate <class Container> back_insert_iterator<Container> back_inserter(Container& x); 1613e519524SHoward Hinnant 1623e519524SHoward Hinnanttemplate <class Container> 1633e519524SHoward Hinnantclass front_insert_iterator 1643e519524SHoward Hinnant{ 1653e519524SHoward Hinnantprotected: 1663e519524SHoward Hinnant Container* container; 1673e519524SHoward Hinnantpublic: 1683e519524SHoward Hinnant typedef Container container_type; 1693e519524SHoward Hinnant typedef void value_type; 1703e519524SHoward Hinnant typedef void difference_type; 1713e519524SHoward Hinnant typedef front_insert_iterator<Cont>& reference; 1723e519524SHoward Hinnant typedef void pointer; 1733e519524SHoward Hinnant 1743e519524SHoward Hinnant explicit front_insert_iterator(Container& x); 17503976c1bSHoward Hinnant front_insert_iterator& operator=(const typename Container::value_type& value); 1763e519524SHoward Hinnant front_insert_iterator& operator*(); 1773e519524SHoward Hinnant front_insert_iterator& operator++(); 1783e519524SHoward Hinnant front_insert_iterator operator++(int); 1793e519524SHoward Hinnant}; 1803e519524SHoward Hinnant 1813e519524SHoward Hinnanttemplate <class Container> front_insert_iterator<Container> front_inserter(Container& x); 1823e519524SHoward Hinnant 1833e519524SHoward Hinnanttemplate <class Container> 1843e519524SHoward Hinnantclass insert_iterator 1853e519524SHoward Hinnant{ 1863e519524SHoward Hinnantprotected: 1873e519524SHoward Hinnant Container* container; 1883e519524SHoward Hinnant typename Container::iterator iter; 1893e519524SHoward Hinnantpublic: 1903e519524SHoward Hinnant typedef Container container_type; 1913e519524SHoward Hinnant typedef void value_type; 1923e519524SHoward Hinnant typedef void difference_type; 1933e519524SHoward Hinnant typedef insert_iterator<Cont>& reference; 1943e519524SHoward Hinnant typedef void pointer; 1953e519524SHoward Hinnant 1963e519524SHoward Hinnant insert_iterator(Container& x, typename Container::iterator i); 19703976c1bSHoward Hinnant insert_iterator& operator=(const typename Container::value_type& value); 1983e519524SHoward Hinnant insert_iterator& operator*(); 1993e519524SHoward Hinnant insert_iterator& operator++(); 2003e519524SHoward Hinnant insert_iterator& operator++(int); 2013e519524SHoward Hinnant}; 2023e519524SHoward Hinnant 2033e519524SHoward Hinnanttemplate <class Container, class Iterator> 2043e519524SHoward Hinnantinsert_iterator<Container> inserter(Container& x, Iterator i); 2053e519524SHoward Hinnant 2063e519524SHoward Hinnanttemplate <class T, class charT = char, class traits = char_traits<charT>, class Distance = ptrdiff_t> 2073e519524SHoward Hinnantclass istream_iterator 2083e519524SHoward Hinnant : public iterator<input_iterator_tag, T, Distance, const T*, const T&> 2093e519524SHoward Hinnant{ 2103e519524SHoward Hinnantpublic: 2113e519524SHoward Hinnant typedef charT char_type; 2123e519524SHoward Hinnant typedef traits traits_type; 2133e519524SHoward Hinnant typedef basic_istream<charT,traits> istream_type; 2143e519524SHoward Hinnant 2153e519524SHoward Hinnant istream_iterator(); 2163e519524SHoward Hinnant istream_iterator(istream_type& s); 2173e519524SHoward Hinnant istream_iterator(const istream_iterator& x); 2183e519524SHoward Hinnant ~istream_iterator(); 2193e519524SHoward Hinnant 2203e519524SHoward Hinnant const T& operator*() const; 2213e519524SHoward Hinnant const T* operator->() const; 2223e519524SHoward Hinnant istream_iterator& operator++(); 2233e519524SHoward Hinnant istream_iterator operator++(int); 2243e519524SHoward Hinnant}; 2253e519524SHoward Hinnant 2263e519524SHoward Hinnanttemplate <class T, class charT, class traits, class Distance> 2273e519524SHoward Hinnantbool operator==(const istream_iterator<T,charT,traits,Distance>& x, 2283e519524SHoward Hinnant const istream_iterator<T,charT,traits,Distance>& y); 2293e519524SHoward Hinnanttemplate <class T, class charT, class traits, class Distance> 2303e519524SHoward Hinnantbool operator!=(const istream_iterator<T,charT,traits,Distance>& x, 2313e519524SHoward Hinnant const istream_iterator<T,charT,traits,Distance>& y); 2323e519524SHoward Hinnant 2333e519524SHoward Hinnanttemplate <class T, class charT = char, class traits = char_traits<charT> > 2343e519524SHoward Hinnantclass ostream_iterator 2353e519524SHoward Hinnant : public iterator<output_iterator_tag, void, void, void ,void> 2363e519524SHoward Hinnant{ 2373e519524SHoward Hinnantpublic: 2383e519524SHoward Hinnant typedef charT char_type; 2393e519524SHoward Hinnant typedef traits traits_type; 2403e519524SHoward Hinnant typedef basic_ostream<charT,traits> ostream_type; 2413e519524SHoward Hinnant 2423e519524SHoward Hinnant ostream_iterator(ostream_type& s); 2433e519524SHoward Hinnant ostream_iterator(ostream_type& s, const charT* delimiter); 2443e519524SHoward Hinnant ostream_iterator(const ostream_iterator& x); 2453e519524SHoward Hinnant ~ostream_iterator(); 2463e519524SHoward Hinnant ostream_iterator& operator=(const T& value); 2473e519524SHoward Hinnant 2483e519524SHoward Hinnant ostream_iterator& operator*(); 2493e519524SHoward Hinnant ostream_iterator& operator++(); 2503e519524SHoward Hinnant ostream_iterator& operator++(int); 2513e519524SHoward Hinnant}; 2523e519524SHoward Hinnant 2533e519524SHoward Hinnanttemplate<class charT, class traits = char_traits<charT> > 2543e519524SHoward Hinnantclass istreambuf_iterator 2553e519524SHoward Hinnant : public iterator<input_iterator_tag, charT, 2563e519524SHoward Hinnant typename traits::off_type, unspecified, 2573e519524SHoward Hinnant charT> 2583e519524SHoward Hinnant{ 2593e519524SHoward Hinnantpublic: 2603e519524SHoward Hinnant typedef charT char_type; 2613e519524SHoward Hinnant typedef traits traits_type; 2623e519524SHoward Hinnant typedef typename traits::int_type int_type; 2633e519524SHoward Hinnant typedef basic_streambuf<charT,traits> streambuf_type; 2643e519524SHoward Hinnant typedef basic_istream<charT,traits> istream_type; 2653e519524SHoward Hinnant 2668e882dcbSHoward Hinnant istreambuf_iterator() noexcept; 2678e882dcbSHoward Hinnant istreambuf_iterator(istream_type& s) noexcept; 2688e882dcbSHoward Hinnant istreambuf_iterator(streambuf_type* s) noexcept; 2698e882dcbSHoward Hinnant istreambuf_iterator(a-private-type) noexcept; 2703e519524SHoward Hinnant 2713e519524SHoward Hinnant charT operator*() const; 2723e519524SHoward Hinnant pointer operator->() const; 2733e519524SHoward Hinnant istreambuf_iterator& operator++(); 2743e519524SHoward Hinnant a-private-type operator++(int); 2753e519524SHoward Hinnant 2763e519524SHoward Hinnant bool equal(const istreambuf_iterator& b) const; 2773e519524SHoward Hinnant}; 2783e519524SHoward Hinnant 2793e519524SHoward Hinnanttemplate <class charT, class traits> 2803e519524SHoward Hinnantbool operator==(const istreambuf_iterator<charT,traits>& a, 2813e519524SHoward Hinnant const istreambuf_iterator<charT,traits>& b); 2823e519524SHoward Hinnanttemplate <class charT, class traits> 2833e519524SHoward Hinnantbool operator!=(const istreambuf_iterator<charT,traits>& a, 2843e519524SHoward Hinnant const istreambuf_iterator<charT,traits>& b); 2853e519524SHoward Hinnant 2863e519524SHoward Hinnanttemplate <class charT, class traits = char_traits<charT> > 2873e519524SHoward Hinnantclass ostreambuf_iterator 2883e519524SHoward Hinnant : public iterator<output_iterator_tag, void, void, void, void> 2893e519524SHoward Hinnant{ 2903e519524SHoward Hinnantpublic: 2913e519524SHoward Hinnant typedef charT char_type; 2923e519524SHoward Hinnant typedef traits traits_type; 2933e519524SHoward Hinnant typedef basic_streambuf<charT,traits> streambuf_type; 2943e519524SHoward Hinnant typedef basic_ostream<charT,traits> ostream_type; 2953e519524SHoward Hinnant 2968e882dcbSHoward Hinnant ostreambuf_iterator(ostream_type& s) noexcept; 2978e882dcbSHoward Hinnant ostreambuf_iterator(streambuf_type* s) noexcept; 2983e519524SHoward Hinnant ostreambuf_iterator& operator=(charT c); 2993e519524SHoward Hinnant ostreambuf_iterator& operator*(); 3003e519524SHoward Hinnant ostreambuf_iterator& operator++(); 3013e519524SHoward Hinnant ostreambuf_iterator& operator++(int); 3028e882dcbSHoward Hinnant bool failed() const noexcept; 3033e519524SHoward Hinnant}; 3043e519524SHoward Hinnant 3053e519524SHoward Hinnanttemplate <class C> auto begin(C& c) -> decltype(c.begin()); 3063e519524SHoward Hinnanttemplate <class C> auto begin(const C& c) -> decltype(c.begin()); 3073e519524SHoward Hinnanttemplate <class C> auto end(C& c) -> decltype(c.end()); 3083e519524SHoward Hinnanttemplate <class C> auto end(const C& c) -> decltype(c.end()); 3093e519524SHoward Hinnanttemplate <class T, size_t N> T* begin(T (&array)[N]); 3103e519524SHoward Hinnanttemplate <class T, size_t N> T* end(T (&array)[N]); 3113e519524SHoward Hinnant 3123e519524SHoward Hinnant} // std 3133e519524SHoward Hinnant 3143e519524SHoward Hinnant*/ 3153e519524SHoward Hinnant 3163e519524SHoward Hinnant#include <__config> 3173e519524SHoward Hinnant#include <type_traits> 3183e519524SHoward Hinnant#include <cstddef> 3193e519524SHoward Hinnant#include <iosfwd> 320*b5c63a2eSHoward Hinnant#if __APPLE__ 321*b5c63a2eSHoward Hinnant#include <Availability.h> 322*b5c63a2eSHoward Hinnant#endif 323*b5c63a2eSHoward Hinnant 3243e519524SHoward Hinnant#ifdef _LIBCPP_DEBUG 3253e519524SHoward Hinnant#include <cassert> 3263e519524SHoward Hinnant#endif 3273e519524SHoward Hinnant 328073458b1SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) 3293e519524SHoward Hinnant#pragma GCC system_header 330073458b1SHoward Hinnant#endif 3313e519524SHoward Hinnant 3323e519524SHoward Hinnant_LIBCPP_BEGIN_NAMESPACE_STD 3333e519524SHoward Hinnant 334848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE input_iterator_tag {}; 335848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE output_iterator_tag {}; 336848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE forward_iterator_tag : public input_iterator_tag {}; 337848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE bidirectional_iterator_tag : public forward_iterator_tag {}; 338848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE random_access_iterator_tag : public bidirectional_iterator_tag {}; 3393e519524SHoward Hinnant 3403e519524SHoward Hinnanttemplate <class _Tp> 3413e519524SHoward Hinnantstruct __has_iterator_category 3423e519524SHoward Hinnant{ 3433e519524SHoward Hinnantprivate: 34454d333a6SHoward Hinnant struct __two {char __lx; char __lxx;}; 3453e519524SHoward Hinnant template <class _Up> static __two __test(...); 3463e519524SHoward Hinnant template <class _Up> static char __test(typename _Up::iterator_category* = 0); 3473e519524SHoward Hinnantpublic: 3483e519524SHoward Hinnant static const bool value = sizeof(__test<_Tp>(0)) == 1; 3493e519524SHoward Hinnant}; 3503e519524SHoward Hinnant 3513e519524SHoward Hinnanttemplate <class _Iter, bool> struct ____iterator_traits {}; 3523e519524SHoward Hinnant 3533e519524SHoward Hinnanttemplate <class _Iter> 3543e519524SHoward Hinnantstruct ____iterator_traits<_Iter, true> 3553e519524SHoward Hinnant{ 3563e519524SHoward Hinnant typedef typename _Iter::difference_type difference_type; 3573e519524SHoward Hinnant typedef typename _Iter::value_type value_type; 3583e519524SHoward Hinnant typedef typename _Iter::pointer pointer; 3593e519524SHoward Hinnant typedef typename _Iter::reference reference; 3603e519524SHoward Hinnant typedef typename _Iter::iterator_category iterator_category; 3613e519524SHoward Hinnant}; 3623e519524SHoward Hinnant 3633e519524SHoward Hinnanttemplate <class _Iter, bool> struct __iterator_traits {}; 3643e519524SHoward Hinnant 3653e519524SHoward Hinnanttemplate <class _Iter> 3663e519524SHoward Hinnantstruct __iterator_traits<_Iter, true> 3673e519524SHoward Hinnant : ____iterator_traits 3683e519524SHoward Hinnant < 3693e519524SHoward Hinnant _Iter, 3703e519524SHoward Hinnant is_convertible<typename _Iter::iterator_category, input_iterator_tag>::value || 3713e519524SHoward Hinnant is_convertible<typename _Iter::iterator_category, output_iterator_tag>::value 3723e519524SHoward Hinnant > 3733e519524SHoward Hinnant{}; 3743e519524SHoward Hinnant 3753e519524SHoward Hinnant// iterator_traits<Iterator> will only have the nested types if Iterator::iterator_category 3763e519524SHoward Hinnant// exists. Else iterator_traits<Iterator> will be an empty class. This is a 3773e519524SHoward Hinnant// conforming extension which allows some programs to compile and behave as 3783e519524SHoward Hinnant// the client expects instead of failing at compile time. 3793e519524SHoward Hinnant 3803e519524SHoward Hinnanttemplate <class _Iter> 381848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE iterator_traits 3823e519524SHoward Hinnant : __iterator_traits<_Iter, __has_iterator_category<_Iter>::value> {}; 3833e519524SHoward Hinnant 3843e519524SHoward Hinnanttemplate<class _Tp> 385848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE iterator_traits<_Tp*> 3863e519524SHoward Hinnant{ 3873e519524SHoward Hinnant typedef ptrdiff_t difference_type; 3883e519524SHoward Hinnant typedef typename remove_const<_Tp>::type value_type; 3893e519524SHoward Hinnant typedef _Tp* pointer; 3903e519524SHoward Hinnant typedef _Tp& reference; 3913e519524SHoward Hinnant typedef random_access_iterator_tag iterator_category; 3923e519524SHoward Hinnant}; 3933e519524SHoward Hinnant 3943e519524SHoward Hinnanttemplate <class _Tp, class _Up, bool = __has_iterator_category<iterator_traits<_Tp> >::value> 3953e519524SHoward Hinnantstruct __has_iterator_category_convertible_to 3963e519524SHoward Hinnant : public integral_constant<bool, is_convertible<typename iterator_traits<_Tp>::iterator_category, _Up>::value> 3973e519524SHoward Hinnant{}; 3983e519524SHoward Hinnant 3993e519524SHoward Hinnanttemplate <class _Tp, class _Up> 4003e519524SHoward Hinnantstruct __has_iterator_category_convertible_to<_Tp, _Up, false> : public false_type {}; 4013e519524SHoward Hinnant 4023e519524SHoward Hinnanttemplate <class _Tp> 4033e519524SHoward Hinnantstruct __is_input_iterator : public __has_iterator_category_convertible_to<_Tp, input_iterator_tag> {}; 4043e519524SHoward Hinnant 4053e519524SHoward Hinnanttemplate <class _Tp> 4063e519524SHoward Hinnantstruct __is_forward_iterator : public __has_iterator_category_convertible_to<_Tp, forward_iterator_tag> {}; 4073e519524SHoward Hinnant 4083e519524SHoward Hinnanttemplate <class _Tp> 4093e519524SHoward Hinnantstruct __is_bidirectional_iterator : public __has_iterator_category_convertible_to<_Tp, bidirectional_iterator_tag> {}; 4103e519524SHoward Hinnant 4113e519524SHoward Hinnanttemplate <class _Tp> 4123e519524SHoward Hinnantstruct __is_random_access_iterator : public __has_iterator_category_convertible_to<_Tp, random_access_iterator_tag> {}; 4133e519524SHoward Hinnant 4143e519524SHoward Hinnanttemplate<class _Category, class _Tp, class _Distance = ptrdiff_t, 4153e519524SHoward Hinnant class _Pointer = _Tp*, class _Reference = _Tp&> 416848a5374SHoward Hinnantstruct _LIBCPP_VISIBLE iterator 4173e519524SHoward Hinnant{ 4183e519524SHoward Hinnant typedef _Tp value_type; 4193e519524SHoward Hinnant typedef _Distance difference_type; 4203e519524SHoward Hinnant typedef _Pointer pointer; 4213e519524SHoward Hinnant typedef _Reference reference; 4223e519524SHoward Hinnant typedef _Category iterator_category; 4233e519524SHoward Hinnant}; 4243e519524SHoward Hinnant 4253e519524SHoward Hinnanttemplate <class _InputIter> 4263e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4273e519524SHoward Hinnantvoid __advance(_InputIter& __i, 4283e519524SHoward Hinnant typename iterator_traits<_InputIter>::difference_type __n, input_iterator_tag) 4293e519524SHoward Hinnant{ 4303e519524SHoward Hinnant for (; __n > 0; --__n) 4313e519524SHoward Hinnant ++__i; 4323e519524SHoward Hinnant} 4333e519524SHoward Hinnant 4343e519524SHoward Hinnanttemplate <class _BiDirIter> 4353e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4363e519524SHoward Hinnantvoid __advance(_BiDirIter& __i, 4373e519524SHoward Hinnant typename iterator_traits<_BiDirIter>::difference_type __n, bidirectional_iterator_tag) 4383e519524SHoward Hinnant{ 4393e519524SHoward Hinnant if (__n >= 0) 4403e519524SHoward Hinnant for (; __n > 0; --__n) 4413e519524SHoward Hinnant ++__i; 4423e519524SHoward Hinnant else 4433e519524SHoward Hinnant for (; __n < 0; ++__n) 4443e519524SHoward Hinnant --__i; 4453e519524SHoward Hinnant} 4463e519524SHoward Hinnant 4473e519524SHoward Hinnanttemplate <class _RandIter> 4483e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4493e519524SHoward Hinnantvoid __advance(_RandIter& __i, 4503e519524SHoward Hinnant typename iterator_traits<_RandIter>::difference_type __n, random_access_iterator_tag) 4513e519524SHoward Hinnant{ 4523e519524SHoward Hinnant __i += __n; 4533e519524SHoward Hinnant} 4543e519524SHoward Hinnant 4553e519524SHoward Hinnanttemplate <class _InputIter> 4563e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4573e519524SHoward Hinnantvoid advance(_InputIter& __i, 4583e519524SHoward Hinnant typename iterator_traits<_InputIter>::difference_type __n) 4593e519524SHoward Hinnant{ 4603e519524SHoward Hinnant __advance(__i, __n, typename iterator_traits<_InputIter>::iterator_category()); 4613e519524SHoward Hinnant} 4623e519524SHoward Hinnant 4633e519524SHoward Hinnanttemplate <class _InputIter> 4643e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4653e519524SHoward Hinnanttypename iterator_traits<_InputIter>::difference_type 4663e519524SHoward Hinnant__distance(_InputIter __first, _InputIter __last, input_iterator_tag) 4673e519524SHoward Hinnant{ 4683e519524SHoward Hinnant typename iterator_traits<_InputIter>::difference_type __r(0); 4693e519524SHoward Hinnant for (; __first != __last; ++__first) 4703e519524SHoward Hinnant ++__r; 4713e519524SHoward Hinnant return __r; 4723e519524SHoward Hinnant} 4733e519524SHoward Hinnant 4743e519524SHoward Hinnanttemplate <class _RandIter> 4753e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4763e519524SHoward Hinnanttypename iterator_traits<_RandIter>::difference_type 4773e519524SHoward Hinnant__distance(_RandIter __first, _RandIter __last, random_access_iterator_tag) 4783e519524SHoward Hinnant{ 4793e519524SHoward Hinnant return __last - __first; 4803e519524SHoward Hinnant} 4813e519524SHoward Hinnant 4823e519524SHoward Hinnanttemplate <class _InputIter> 4833e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4843e519524SHoward Hinnanttypename iterator_traits<_InputIter>::difference_type 4853e519524SHoward Hinnantdistance(_InputIter __first, _InputIter __last) 4863e519524SHoward Hinnant{ 4873e519524SHoward Hinnant return __distance(__first, __last, typename iterator_traits<_InputIter>::iterator_category()); 4883e519524SHoward Hinnant} 4893e519524SHoward Hinnant 4903e519524SHoward Hinnanttemplate <class _ForwardIter> 491848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 4923e519524SHoward Hinnant_ForwardIter 4933e519524SHoward Hinnantnext(_ForwardIter __x, 4943e519524SHoward Hinnant typename iterator_traits<_ForwardIter>::difference_type __n = 1, 4953e519524SHoward Hinnant typename enable_if<__is_forward_iterator<_ForwardIter>::value>::type* = 0) 4963e519524SHoward Hinnant{ 497ce48a113SHoward Hinnant _VSTD::advance(__x, __n); 4983e519524SHoward Hinnant return __x; 4993e519524SHoward Hinnant} 5003e519524SHoward Hinnant 5013e519524SHoward Hinnanttemplate <class _BidiretionalIter> 502848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5033e519524SHoward Hinnant_BidiretionalIter 5043e519524SHoward Hinnantprev(_BidiretionalIter __x, 5053e519524SHoward Hinnant typename iterator_traits<_BidiretionalIter>::difference_type __n = 1, 5063e519524SHoward Hinnant typename enable_if<__is_bidirectional_iterator<_BidiretionalIter>::value>::type* = 0) 5073e519524SHoward Hinnant{ 508ce48a113SHoward Hinnant _VSTD::advance(__x, -__n); 5093e519524SHoward Hinnant return __x; 5103e519524SHoward Hinnant} 5113e519524SHoward Hinnant 5123e519524SHoward Hinnanttemplate <class _Iter> 513848a5374SHoward Hinnantclass _LIBCPP_VISIBLE reverse_iterator 5143e519524SHoward Hinnant : public iterator<typename iterator_traits<_Iter>::iterator_category, 5153e519524SHoward Hinnant typename iterator_traits<_Iter>::value_type, 5163e519524SHoward Hinnant typename iterator_traits<_Iter>::difference_type, 5173e519524SHoward Hinnant typename iterator_traits<_Iter>::pointer, 5183e519524SHoward Hinnant typename iterator_traits<_Iter>::reference> 5193e519524SHoward Hinnant{ 5203e519524SHoward Hinnantprivate: 5213e519524SHoward Hinnant mutable _Iter __t; 5223e519524SHoward Hinnantprotected: 5233e519524SHoward Hinnant _Iter current; 5243e519524SHoward Hinnantpublic: 5253e519524SHoward Hinnant typedef _Iter iterator_type; 5263e519524SHoward Hinnant typedef typename iterator_traits<_Iter>::difference_type difference_type; 5273e519524SHoward Hinnant typedef typename iterator_traits<_Iter>::reference reference; 5283e519524SHoward Hinnant typedef typename iterator_traits<_Iter>::pointer pointer; 5293e519524SHoward Hinnant 5303e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator() : current() {} 5313e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY explicit reverse_iterator(_Iter __x) : __t(__x), current(__x) {} 5323e519524SHoward Hinnant template <class _Up> _LIBCPP_INLINE_VISIBILITY reverse_iterator(const reverse_iterator<_Up>& __u) 5333e519524SHoward Hinnant : __t(__u.base()), current(__u.base()) {} 5343e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY _Iter base() const {return current;} 5353e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator*() const {__t = current; return *--__t;} 5363e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY pointer operator->() const {return &(operator*());} 5373e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator++() {--current; return *this;} 5383e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator operator++(int) 5393e519524SHoward Hinnant {reverse_iterator __tmp(*this); --current; return __tmp;} 5403e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator--() {++current; return *this;} 5413e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator operator--(int) 5423e519524SHoward Hinnant {reverse_iterator __tmp(*this); ++current; return __tmp;} 5433e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator operator+ (difference_type __n) const 5443e519524SHoward Hinnant {return reverse_iterator(current - __n);} 5453e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator+=(difference_type __n) 5463e519524SHoward Hinnant {current -= __n; return *this;} 5473e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator operator- (difference_type __n) const 5483e519524SHoward Hinnant {return reverse_iterator(current + __n);} 5493e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reverse_iterator& operator-=(difference_type __n) 5503e519524SHoward Hinnant {current += __n; return *this;} 5513e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const 5523e519524SHoward Hinnant {return current[-__n-1];} 5533e519524SHoward Hinnant}; 5543e519524SHoward Hinnant 5553e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5563e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5573e519524SHoward Hinnantbool 5583e519524SHoward Hinnantoperator==(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5593e519524SHoward Hinnant{ 5603e519524SHoward Hinnant return __x.base() == __y.base(); 5613e519524SHoward Hinnant} 5623e519524SHoward Hinnant 5633e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5643e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5653e519524SHoward Hinnantbool 5663e519524SHoward Hinnantoperator<(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5673e519524SHoward Hinnant{ 5683e519524SHoward Hinnant return __x.base() > __y.base(); 5693e519524SHoward Hinnant} 5703e519524SHoward Hinnant 5713e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5723e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5733e519524SHoward Hinnantbool 5743e519524SHoward Hinnantoperator!=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5753e519524SHoward Hinnant{ 5763e519524SHoward Hinnant return __x.base() != __y.base(); 5773e519524SHoward Hinnant} 5783e519524SHoward Hinnant 5793e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5803e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5813e519524SHoward Hinnantbool 5823e519524SHoward Hinnantoperator>(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5833e519524SHoward Hinnant{ 5843e519524SHoward Hinnant return __x.base() < __y.base(); 5853e519524SHoward Hinnant} 5863e519524SHoward Hinnant 5873e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5883e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5893e519524SHoward Hinnantbool 5903e519524SHoward Hinnantoperator>=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5913e519524SHoward Hinnant{ 5923e519524SHoward Hinnant return __x.base() <= __y.base(); 5933e519524SHoward Hinnant} 5943e519524SHoward Hinnant 5953e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 5963e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 5973e519524SHoward Hinnantbool 5983e519524SHoward Hinnantoperator<=(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 5993e519524SHoward Hinnant{ 6003e519524SHoward Hinnant return __x.base() >= __y.base(); 6013e519524SHoward Hinnant} 6023e519524SHoward Hinnant 6033e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 6043e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 6053e519524SHoward Hinnanttypename reverse_iterator<_Iter1>::difference_type 6063e519524SHoward Hinnantoperator-(const reverse_iterator<_Iter1>& __x, const reverse_iterator<_Iter2>& __y) 6073e519524SHoward Hinnant{ 6083e519524SHoward Hinnant return __y.base() - __x.base(); 6093e519524SHoward Hinnant} 6103e519524SHoward Hinnant 6113e519524SHoward Hinnanttemplate <class _Iter> 6123e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 6133e519524SHoward Hinnantreverse_iterator<_Iter> 6143e519524SHoward Hinnantoperator+(typename reverse_iterator<_Iter>::difference_type __n, const reverse_iterator<_Iter>& __x) 6153e519524SHoward Hinnant{ 6163e519524SHoward Hinnant return reverse_iterator<_Iter>(__x.base() - __n); 6173e519524SHoward Hinnant} 6183e519524SHoward Hinnant 6193e519524SHoward Hinnanttemplate <class _Container> 620848a5374SHoward Hinnantclass _LIBCPP_VISIBLE back_insert_iterator 6213e519524SHoward Hinnant : public iterator<output_iterator_tag, 6223e519524SHoward Hinnant void, 6233e519524SHoward Hinnant void, 6243e519524SHoward Hinnant void, 6253e519524SHoward Hinnant back_insert_iterator<_Container>&> 6263e519524SHoward Hinnant{ 6273e519524SHoward Hinnantprotected: 6283e519524SHoward Hinnant _Container* container; 6293e519524SHoward Hinnantpublic: 6303e519524SHoward Hinnant typedef _Container container_type; 6313e519524SHoward Hinnant 6323e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY explicit back_insert_iterator(_Container& __x) : container(&__x) {} 633e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator=(const typename _Container::value_type& __value_) 634e4383379SHoward Hinnant {container->push_back(__value_); return *this;} 6357609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 636e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator=(typename _Container::value_type&& __value_) 637e4383379SHoward Hinnant {container->push_back(_VSTD::move(__value_)); return *this;} 6387609c9b6SHoward Hinnant#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES 6393e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator*() {return *this;} 6403e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY back_insert_iterator& operator++() {return *this;} 6413e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY back_insert_iterator operator++(int) {return *this;} 6423e519524SHoward Hinnant}; 6433e519524SHoward Hinnant 6443e519524SHoward Hinnanttemplate <class _Container> 6453e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 6463e519524SHoward Hinnantback_insert_iterator<_Container> 6473e519524SHoward Hinnantback_inserter(_Container& __x) 6483e519524SHoward Hinnant{ 6493e519524SHoward Hinnant return back_insert_iterator<_Container>(__x); 6503e519524SHoward Hinnant} 6513e519524SHoward Hinnant 6523e519524SHoward Hinnanttemplate <class _Container> 653848a5374SHoward Hinnantclass _LIBCPP_VISIBLE front_insert_iterator 6543e519524SHoward Hinnant : public iterator<output_iterator_tag, 6553e519524SHoward Hinnant void, 6563e519524SHoward Hinnant void, 6573e519524SHoward Hinnant void, 6583e519524SHoward Hinnant front_insert_iterator<_Container>&> 6593e519524SHoward Hinnant{ 6603e519524SHoward Hinnantprotected: 6613e519524SHoward Hinnant _Container* container; 6623e519524SHoward Hinnantpublic: 6633e519524SHoward Hinnant typedef _Container container_type; 6643e519524SHoward Hinnant 6653e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY explicit front_insert_iterator(_Container& __x) : container(&__x) {} 666e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator=(const typename _Container::value_type& __value_) 667e4383379SHoward Hinnant {container->push_front(__value_); return *this;} 6687609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 669e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator=(typename _Container::value_type&& __value_) 670e4383379SHoward Hinnant {container->push_front(_VSTD::move(__value_)); return *this;} 6717609c9b6SHoward Hinnant#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES 6723e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator*() {return *this;} 6733e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY front_insert_iterator& operator++() {return *this;} 6743e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY front_insert_iterator operator++(int) {return *this;} 6753e519524SHoward Hinnant}; 6763e519524SHoward Hinnant 6773e519524SHoward Hinnanttemplate <class _Container> 6783e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 6793e519524SHoward Hinnantfront_insert_iterator<_Container> 6803e519524SHoward Hinnantfront_inserter(_Container& __x) 6813e519524SHoward Hinnant{ 6823e519524SHoward Hinnant return front_insert_iterator<_Container>(__x); 6833e519524SHoward Hinnant} 6843e519524SHoward Hinnant 6853e519524SHoward Hinnanttemplate <class _Container> 686848a5374SHoward Hinnantclass _LIBCPP_VISIBLE insert_iterator 6873e519524SHoward Hinnant : public iterator<output_iterator_tag, 6883e519524SHoward Hinnant void, 6893e519524SHoward Hinnant void, 6903e519524SHoward Hinnant void, 6913e519524SHoward Hinnant insert_iterator<_Container>&> 6923e519524SHoward Hinnant{ 6933e519524SHoward Hinnantprotected: 6943e519524SHoward Hinnant _Container* container; 6953e519524SHoward Hinnant typename _Container::iterator iter; 6963e519524SHoward Hinnantpublic: 6973e519524SHoward Hinnant typedef _Container container_type; 6983e519524SHoward Hinnant 6993e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator(_Container& __x, typename _Container::iterator __i) 7003e519524SHoward Hinnant : container(&__x), iter(__i) {} 701e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator& operator=(const typename _Container::value_type& __value_) 702e4383379SHoward Hinnant {iter = container->insert(iter, __value_); ++iter; return *this;} 7037609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 704e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator& operator=(typename _Container::value_type&& __value_) 705e4383379SHoward Hinnant {iter = container->insert(iter, _VSTD::move(__value_)); ++iter; return *this;} 7067609c9b6SHoward Hinnant#endif // _LIBCPP_HAS_NO_RVALUE_REFERENCES 7073e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator& operator*() {return *this;} 7083e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator& operator++() {return *this;} 7093e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY insert_iterator& operator++(int) {return *this;} 7103e519524SHoward Hinnant}; 7113e519524SHoward Hinnant 7123e519524SHoward Hinnanttemplate <class _Container> 7133e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 7143e519524SHoward Hinnantinsert_iterator<_Container> 7153e519524SHoward Hinnantinserter(_Container& __x, typename _Container::iterator __i) 7163e519524SHoward Hinnant{ 7173e519524SHoward Hinnant return insert_iterator<_Container>(__x, __i); 7183e519524SHoward Hinnant} 7193e519524SHoward Hinnant 7203e519524SHoward Hinnanttemplate <class _Tp, class _CharT = char, 7213e519524SHoward Hinnant class _Traits = char_traits<_CharT>, class _Distance = ptrdiff_t> 722848a5374SHoward Hinnantclass _LIBCPP_VISIBLE istream_iterator 7233e519524SHoward Hinnant : public iterator<input_iterator_tag, _Tp, _Distance, const _Tp*, const _Tp&> 7243e519524SHoward Hinnant{ 7253e519524SHoward Hinnantpublic: 7263e519524SHoward Hinnant typedef _CharT char_type; 7273e519524SHoward Hinnant typedef _Traits traits_type; 7283e519524SHoward Hinnant typedef basic_istream<_CharT,_Traits> istream_type; 7293e519524SHoward Hinnantprivate: 7303e519524SHoward Hinnant istream_type* __in_stream_; 7313e519524SHoward Hinnant _Tp __value_; 7323e519524SHoward Hinnantpublic: 7333e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY istream_iterator() : __in_stream_(0) {} 7343e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY istream_iterator(istream_type& __s) : __in_stream_(&__s) 7353e519524SHoward Hinnant { 7363e519524SHoward Hinnant if (!(*__in_stream_ >> __value_)) 7373e519524SHoward Hinnant __in_stream_ = 0; 7383e519524SHoward Hinnant } 7393e519524SHoward Hinnant 7403e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY const _Tp& operator*() const {return __value_;} 7413e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY const _Tp* operator->() const {return &(operator*());} 7423e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY istream_iterator& operator++() 7433e519524SHoward Hinnant { 7443e519524SHoward Hinnant if (!(*__in_stream_ >> __value_)) 7453e519524SHoward Hinnant __in_stream_ = 0; 7463e519524SHoward Hinnant return *this; 7473e519524SHoward Hinnant } 7483e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY istream_iterator operator++(int) 7493e519524SHoward Hinnant {istream_iterator __t(*this); ++(*this); return __t;} 7503e519524SHoward Hinnant 7513e519524SHoward Hinnant friend _LIBCPP_INLINE_VISIBILITY 7523e519524SHoward Hinnant bool operator==(const istream_iterator& __x, const istream_iterator& __y) 7533e519524SHoward Hinnant {return __x.__in_stream_ == __y.__in_stream_;} 7543e519524SHoward Hinnant 7553e519524SHoward Hinnant friend _LIBCPP_INLINE_VISIBILITY 7563e519524SHoward Hinnant bool operator!=(const istream_iterator& __x, const istream_iterator& __y) 7573e519524SHoward Hinnant {return !(__x == __y);} 7583e519524SHoward Hinnant}; 7593e519524SHoward Hinnant 7603e519524SHoward Hinnanttemplate <class _Tp, class _CharT = char, class _Traits = char_traits<_CharT> > 761848a5374SHoward Hinnantclass _LIBCPP_VISIBLE ostream_iterator 7623e519524SHoward Hinnant : public iterator<output_iterator_tag, void, void, void, void> 7633e519524SHoward Hinnant{ 7643e519524SHoward Hinnantpublic: 7653e519524SHoward Hinnant typedef _CharT char_type; 7663e519524SHoward Hinnant typedef _Traits traits_type; 7673e519524SHoward Hinnant typedef basic_ostream<_CharT,_Traits> ostream_type; 7683e519524SHoward Hinnantprivate: 7693e519524SHoward Hinnant ostream_type* __out_stream_; 7703e519524SHoward Hinnant const char_type* __delim_; 7713e519524SHoward Hinnantpublic: 7723e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator(ostream_type& __s) 7733e519524SHoward Hinnant : __out_stream_(&__s), __delim_(0) {} 7743e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator(ostream_type& __s, const _CharT* __delimiter) 7753e519524SHoward Hinnant : __out_stream_(&__s), __delim_(__delimiter) {} 776e4383379SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator=(const _Tp& __value_) 7773e519524SHoward Hinnant { 778e4383379SHoward Hinnant *__out_stream_ << __value_; 7793e519524SHoward Hinnant if (__delim_) 7803e519524SHoward Hinnant *__out_stream_ << __delim_; 7813e519524SHoward Hinnant return *this; 7823e519524SHoward Hinnant } 7833e519524SHoward Hinnant 7843e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator*() {return *this;} 7853e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator++() {return *this;} 7863e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostream_iterator& operator++(int) {return *this;} 7873e519524SHoward Hinnant}; 7883e519524SHoward Hinnant 7893e519524SHoward Hinnanttemplate<class _CharT, class _Traits> 790848a5374SHoward Hinnantclass _LIBCPP_VISIBLE istreambuf_iterator 7913e519524SHoward Hinnant : public iterator<input_iterator_tag, _CharT, 7923e519524SHoward Hinnant typename _Traits::off_type, _CharT*, 7933e519524SHoward Hinnant _CharT> 7943e519524SHoward Hinnant{ 7953e519524SHoward Hinnantpublic: 7963e519524SHoward Hinnant typedef _CharT char_type; 7973e519524SHoward Hinnant typedef _Traits traits_type; 7983e519524SHoward Hinnant typedef typename _Traits::int_type int_type; 7993e519524SHoward Hinnant typedef basic_streambuf<_CharT,_Traits> streambuf_type; 8003e519524SHoward Hinnant typedef basic_istream<_CharT,_Traits> istream_type; 8013e519524SHoward Hinnantprivate: 8023e519524SHoward Hinnant streambuf_type* __sbuf_; 8033e519524SHoward Hinnant 8043e519524SHoward Hinnant class __proxy 8053e519524SHoward Hinnant { 8063e519524SHoward Hinnant char_type __keep_; 8073e519524SHoward Hinnant streambuf_type* __sbuf_; 8083e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __proxy(char_type __c, streambuf_type* __s) 8093e519524SHoward Hinnant : __keep_(__c), __sbuf_(__s) {} 8103e519524SHoward Hinnant friend class istreambuf_iterator; 8113e519524SHoward Hinnant public: 8123e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY char_type operator*() const {return __keep_;} 8133e519524SHoward Hinnant }; 8143e519524SHoward Hinnant 815848a5374SHoward Hinnant _LIBCPP_INLINE_VISIBILITY 8163e519524SHoward Hinnant void __test_for_eof() 8173e519524SHoward Hinnant { 8183e519524SHoward Hinnant if (__sbuf_ && traits_type::eq_int_type(__sbuf_->sgetc(), traits_type::eof())) 8193e519524SHoward Hinnant __sbuf_ = 0; 8203e519524SHoward Hinnant } 8213e519524SHoward Hinnantpublic: 8228e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY istreambuf_iterator() _NOEXCEPT : __sbuf_(0) {} 8238e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(istream_type& __s) _NOEXCEPT 8243e519524SHoward Hinnant : __sbuf_(__s.rdbuf()) {__test_for_eof();} 8258e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(streambuf_type* __s) _NOEXCEPT 8263e519524SHoward Hinnant : __sbuf_(__s) {__test_for_eof();} 8278e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY istreambuf_iterator(const __proxy& __p) _NOEXCEPT 8283e519524SHoward Hinnant : __sbuf_(__p.__sbuf_) {} 8293e519524SHoward Hinnant 830c206366fSHoward Hinnant _LIBCPP_INLINE_VISIBILITY char_type operator*() const 831c206366fSHoward Hinnant {return static_cast<char_type>(__sbuf_->sgetc());} 8323e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY char_type* operator->() const {return nullptr;} 8333e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY istreambuf_iterator& operator++() 8343e519524SHoward Hinnant { 8353e519524SHoward Hinnant if (traits_type::eq_int_type(__sbuf_->snextc(), traits_type::eof())) 8363e519524SHoward Hinnant __sbuf_ = 0; 8373e519524SHoward Hinnant return *this; 8383e519524SHoward Hinnant } 8393e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __proxy operator++(int) 8403e519524SHoward Hinnant { 8413e519524SHoward Hinnant char_type __c = __sbuf_->sgetc(); 8423e519524SHoward Hinnant ++(*this); 8433e519524SHoward Hinnant return __proxy(__c, __sbuf_); 8443e519524SHoward Hinnant } 8453e519524SHoward Hinnant 8463e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool equal(const istreambuf_iterator& __b) const 8473e519524SHoward Hinnant {return (__sbuf_ == 0) == (__b.__sbuf_ == 0);} 8483e519524SHoward Hinnant}; 8493e519524SHoward Hinnant 8503e519524SHoward Hinnanttemplate <class _CharT, class _Traits> 8513e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 8523e519524SHoward Hinnantbool operator==(const istreambuf_iterator<_CharT,_Traits>& __a, 8533e519524SHoward Hinnant const istreambuf_iterator<_CharT,_Traits>& __b) 8543e519524SHoward Hinnant {return __a.equal(__b);} 8553e519524SHoward Hinnant 8563e519524SHoward Hinnanttemplate <class _CharT, class _Traits> 8573e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 8583e519524SHoward Hinnantbool operator!=(const istreambuf_iterator<_CharT,_Traits>& __a, 8593e519524SHoward Hinnant const istreambuf_iterator<_CharT,_Traits>& __b) 8603e519524SHoward Hinnant {return !__a.equal(__b);} 8613e519524SHoward Hinnant 8623e519524SHoward Hinnanttemplate <class _CharT, class _Traits> 863848a5374SHoward Hinnantclass _LIBCPP_VISIBLE ostreambuf_iterator 8643e519524SHoward Hinnant : public iterator<output_iterator_tag, void, void, void, void> 8653e519524SHoward Hinnant{ 8663e519524SHoward Hinnantpublic: 8673e519524SHoward Hinnant typedef _CharT char_type; 8683e519524SHoward Hinnant typedef _Traits traits_type; 8693e519524SHoward Hinnant typedef basic_streambuf<_CharT,_Traits> streambuf_type; 8703e519524SHoward Hinnant typedef basic_ostream<_CharT,_Traits> ostream_type; 8713e519524SHoward Hinnantprivate: 8723e519524SHoward Hinnant streambuf_type* __sbuf_; 8733e519524SHoward Hinnantpublic: 8748e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator(ostream_type& __s) _NOEXCEPT 8753e519524SHoward Hinnant : __sbuf_(__s.rdbuf()) {} 8768e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator(streambuf_type* __s) _NOEXCEPT 8773e519524SHoward Hinnant : __sbuf_(__s) {} 8783e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator=(_CharT __c) 8793e519524SHoward Hinnant { 8803e519524SHoward Hinnant if (__sbuf_ && traits_type::eq_int_type(__sbuf_->sputc(__c), traits_type::eof())) 8813e519524SHoward Hinnant __sbuf_ = 0; 8823e519524SHoward Hinnant return *this; 8833e519524SHoward Hinnant } 8843e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator*() {return *this;} 8853e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator++() {return *this;} 8863e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ostreambuf_iterator& operator++(int) {return *this;} 8878e882dcbSHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool failed() const _NOEXCEPT {return __sbuf_ == 0;} 88892b5940fSHoward Hinnant 889*b5c63a2eSHoward Hinnant#if !defined(__APPLE__) || \ 890*b5c63a2eSHoward Hinnant (defined(__MAC_OS_X_VERSION_MIN_REQUIRED) && __MAC_OS_X_VERSION_MIN_REQUIRED > __MAC_10_8) || \ 891*b5c63a2eSHoward Hinnant (defined(__IPHONE_OS_VERSION_MIN_REQUIRED) && __IPHONE_OS_VERSION_MIN_REQUIRED > __IPHONE_6_0) 892*b5c63a2eSHoward Hinnant 89392b5940fSHoward Hinnant template <class _Ch, class _Tr> 89492b5940fSHoward Hinnant friend 89592b5940fSHoward Hinnant _LIBCPP_HIDDEN 89692b5940fSHoward Hinnant ostreambuf_iterator<_Ch, _Tr> 89792b5940fSHoward Hinnant __pad_and_output(ostreambuf_iterator<_Ch, _Tr> __s, 89892b5940fSHoward Hinnant const _Ch* __ob, const _Ch* __op, const _Ch* __oe, 89992b5940fSHoward Hinnant ios_base& __iob, _Ch __fl); 900*b5c63a2eSHoward Hinnant#endif 9013e519524SHoward Hinnant}; 9023e519524SHoward Hinnant 9033e519524SHoward Hinnanttemplate <class _Iter> 904848a5374SHoward Hinnantclass _LIBCPP_VISIBLE move_iterator 9053e519524SHoward Hinnant{ 9063e519524SHoward Hinnantprivate: 9073e519524SHoward Hinnant _Iter __i; 9083e519524SHoward Hinnantpublic: 9093e519524SHoward Hinnant typedef _Iter iterator_type; 9103e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::iterator_category iterator_category; 9113e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::value_type value_type; 9123e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::difference_type difference_type; 9133e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::pointer pointer; 9147609c9b6SHoward Hinnant#ifndef _LIBCPP_HAS_NO_RVALUE_REFERENCES 9153e519524SHoward Hinnant typedef value_type&& reference; 9163e519524SHoward Hinnant#else 9173e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::reference reference; 9183e519524SHoward Hinnant#endif 9193e519524SHoward Hinnant 9203e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator() : __i() {} 9213e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY explicit move_iterator(_Iter __x) : __i(__x) {} 9223e519524SHoward Hinnant template <class _Up> _LIBCPP_INLINE_VISIBILITY move_iterator(const move_iterator<_Up>& __u) 9233e519524SHoward Hinnant : __i(__u.base()) {} 9243e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY _Iter base() const {return __i;} 925d18302f1SDouglas Gregor _LIBCPP_INLINE_VISIBILITY reference operator*() const { 926d18302f1SDouglas Gregor return static_cast<reference>(*__i); 927d18302f1SDouglas Gregor } 928d18302f1SDouglas Gregor _LIBCPP_INLINE_VISIBILITY pointer operator->() const { 929d18302f1SDouglas Gregor typename iterator_traits<iterator_type>::reference __ref = *__i; 930d18302f1SDouglas Gregor return &__ref; 931d18302f1SDouglas Gregor } 9323e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator& operator++() {++__i; return *this;} 9333e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator operator++(int) 9343e519524SHoward Hinnant {move_iterator __tmp(*this); ++__i; return __tmp;} 9353e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator& operator--() {--__i; return *this;} 9363e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator operator--(int) 9373e519524SHoward Hinnant {move_iterator __tmp(*this); --__i; return __tmp;} 9383e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator operator+ (difference_type __n) const 9393e519524SHoward Hinnant {return move_iterator(__i + __n);} 9403e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator& operator+=(difference_type __n) 9413e519524SHoward Hinnant {__i += __n; return *this;} 9423e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator operator- (difference_type __n) const 9433e519524SHoward Hinnant {return move_iterator(__i - __n);} 9443e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY move_iterator& operator-=(difference_type __n) 9453e519524SHoward Hinnant {__i -= __n; return *this;} 9463e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const 947d18302f1SDouglas Gregor { 948d18302f1SDouglas Gregor return static_cast<reference>(__i[__n]); 949d18302f1SDouglas Gregor } 9503e519524SHoward Hinnant}; 9513e519524SHoward Hinnant 9523e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9533e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9543e519524SHoward Hinnantbool 9553e519524SHoward Hinnantoperator==(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9563e519524SHoward Hinnant{ 9573e519524SHoward Hinnant return __x.base() == __y.base(); 9583e519524SHoward Hinnant} 9593e519524SHoward Hinnant 9603e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9613e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9623e519524SHoward Hinnantbool 9633e519524SHoward Hinnantoperator<(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9643e519524SHoward Hinnant{ 9653e519524SHoward Hinnant return __x.base() < __y.base(); 9663e519524SHoward Hinnant} 9673e519524SHoward Hinnant 9683e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9693e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9703e519524SHoward Hinnantbool 9713e519524SHoward Hinnantoperator!=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9723e519524SHoward Hinnant{ 9733e519524SHoward Hinnant return __x.base() != __y.base(); 9743e519524SHoward Hinnant} 9753e519524SHoward Hinnant 9763e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9773e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9783e519524SHoward Hinnantbool 9793e519524SHoward Hinnantoperator>(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9803e519524SHoward Hinnant{ 9813e519524SHoward Hinnant return __x.base() > __y.base(); 9823e519524SHoward Hinnant} 9833e519524SHoward Hinnant 9843e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9853e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9863e519524SHoward Hinnantbool 9873e519524SHoward Hinnantoperator>=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9883e519524SHoward Hinnant{ 9893e519524SHoward Hinnant return __x.base() >= __y.base(); 9903e519524SHoward Hinnant} 9913e519524SHoward Hinnant 9923e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 9933e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 9943e519524SHoward Hinnantbool 9953e519524SHoward Hinnantoperator<=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 9963e519524SHoward Hinnant{ 9973e519524SHoward Hinnant return __x.base() <= __y.base(); 9983e519524SHoward Hinnant} 9993e519524SHoward Hinnant 10003e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 10013e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 10023e519524SHoward Hinnanttypename move_iterator<_Iter1>::difference_type 10033e519524SHoward Hinnantoperator-(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) 10043e519524SHoward Hinnant{ 10053e519524SHoward Hinnant return __x.base() - __y.base(); 10063e519524SHoward Hinnant} 10073e519524SHoward Hinnant 10083e519524SHoward Hinnanttemplate <class _Iter> 10093e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 10103e519524SHoward Hinnantmove_iterator<_Iter> 10113e519524SHoward Hinnantoperator+(typename move_iterator<_Iter>::difference_type __n, const move_iterator<_Iter>& __x) 10123e519524SHoward Hinnant{ 10133e519524SHoward Hinnant return move_iterator<_Iter>(__x.base() + __n); 10143e519524SHoward Hinnant} 10153e519524SHoward Hinnant 10163e519524SHoward Hinnanttemplate <class _Iter> 10173e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 10183e519524SHoward Hinnantmove_iterator<_Iter> 10193e519524SHoward Hinnantmake_move_iterator(const _Iter& __i) 10203e519524SHoward Hinnant{ 10213e519524SHoward Hinnant return move_iterator<_Iter>(__i); 10223e519524SHoward Hinnant} 10233e519524SHoward Hinnant 10243e519524SHoward Hinnant// __wrap_iter 10253e519524SHoward Hinnant 10263e519524SHoward Hinnanttemplate <class _Iter> class __wrap_iter; 10273e519524SHoward Hinnant 10283e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1029aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10303e519524SHoward Hinnantbool 103176c7cd0eSHoward Hinnantoperator==(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10323e519524SHoward Hinnant 10333e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1034aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10353e519524SHoward Hinnantbool 103676c7cd0eSHoward Hinnantoperator<(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10373e519524SHoward Hinnant 10383e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1039aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10403e519524SHoward Hinnantbool 104176c7cd0eSHoward Hinnantoperator!=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10423e519524SHoward Hinnant 10433e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1044aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10453e519524SHoward Hinnantbool 104676c7cd0eSHoward Hinnantoperator>(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10473e519524SHoward Hinnant 10483e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1049aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10503e519524SHoward Hinnantbool 105176c7cd0eSHoward Hinnantoperator>=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10523e519524SHoward Hinnant 10533e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1054aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10553e519524SHoward Hinnantbool 105676c7cd0eSHoward Hinnantoperator<=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10573e519524SHoward Hinnant 10583e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 1059aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10603e519524SHoward Hinnanttypename __wrap_iter<_Iter1>::difference_type 106176c7cd0eSHoward Hinnantoperator-(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 10623e519524SHoward Hinnant 10633e519524SHoward Hinnanttemplate <class _Iter> 1064aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10653e519524SHoward Hinnant__wrap_iter<_Iter> 10667ba930bfSHoward Hinnantoperator+(typename __wrap_iter<_Iter>::difference_type, __wrap_iter<_Iter>) _NOEXCEPT; 10673e519524SHoward Hinnant 1068aeb85680SHoward Hinnanttemplate <class _Ip, class _Op> _Op _LIBCPP_INLINE_VISIBILITY copy(_Ip, _Ip, _Op); 1069aeb85680SHoward Hinnanttemplate <class _B1, class _B2> _B2 _LIBCPP_INLINE_VISIBILITY copy_backward(_B1, _B1, _B2); 1070aeb85680SHoward Hinnanttemplate <class _Ip, class _Op> _Op _LIBCPP_INLINE_VISIBILITY move(_Ip, _Ip, _Op); 1071aeb85680SHoward Hinnanttemplate <class _B1, class _B2> _B2 _LIBCPP_INLINE_VISIBILITY move_backward(_B1, _B1, _B2); 10723e519524SHoward Hinnant 10733e519524SHoward Hinnanttemplate <class _Tp> 1074aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 10753e519524SHoward Hinnanttypename enable_if 10763e519524SHoward Hinnant< 1077ca740483SHoward Hinnant is_trivially_copy_assignable<_Tp>::value, 10783e519524SHoward Hinnant _Tp* 10793e519524SHoward Hinnant>::type 10803e519524SHoward Hinnant__unwrap_iter(__wrap_iter<_Tp*>); 10813e519524SHoward Hinnant 10823e519524SHoward Hinnanttemplate <class _Iter> 10833e519524SHoward Hinnantclass __wrap_iter 10843e519524SHoward Hinnant{ 10853e519524SHoward Hinnantpublic: 10863e519524SHoward Hinnant typedef _Iter iterator_type; 10873e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::iterator_category iterator_category; 10883e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::value_type value_type; 10893e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::difference_type difference_type; 10903e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::pointer pointer; 10913e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::reference reference; 10923e519524SHoward Hinnantprivate: 10933e519524SHoward Hinnant iterator_type __i; 10943e519524SHoward Hinnantpublic: 1095c36bfc49SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter() _NOEXCEPT 1096c36bfc49SHoward Hinnant { 1097c36bfc49SHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1098c36bfc49SHoward Hinnant __get_db()->__insert_i(this); 1099c36bfc49SHoward Hinnant#endif 1100c36bfc49SHoward Hinnant } 11013e519524SHoward Hinnant template <class _Up> _LIBCPP_INLINE_VISIBILITY __wrap_iter(const __wrap_iter<_Up>& __u, 110276c7cd0eSHoward Hinnant typename enable_if<is_convertible<_Up, iterator_type>::value>::type* = 0) _NOEXCEPT 1103f554add5SHoward Hinnant : __i(__u.base()) 1104f554add5SHoward Hinnant { 1105cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1106f554add5SHoward Hinnant __get_db()->__iterator_copy(this, &__u); 1107f554add5SHoward Hinnant#endif 1108f554add5SHoward Hinnant } 1109cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1110f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY 1111f554add5SHoward Hinnant __wrap_iter(const __wrap_iter& __x) 1112f554add5SHoward Hinnant : __i(__x.base()) 1113f554add5SHoward Hinnant { 1114f554add5SHoward Hinnant __get_db()->__iterator_copy(this, &__x); 1115f554add5SHoward Hinnant } 1116f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY 1117f554add5SHoward Hinnant __wrap_iter& operator=(const __wrap_iter& __x) 1118f554add5SHoward Hinnant { 1119f554add5SHoward Hinnant if (this != &__x) 1120f554add5SHoward Hinnant { 1121f554add5SHoward Hinnant __get_db()->__iterator_copy(this, &__x); 1122f554add5SHoward Hinnant __i = __x.__i; 1123f554add5SHoward Hinnant } 1124f554add5SHoward Hinnant return *this; 1125f554add5SHoward Hinnant } 1126f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY 1127f554add5SHoward Hinnant ~__wrap_iter() 1128f554add5SHoward Hinnant { 1129f554add5SHoward Hinnant __get_db()->__erase_i(this); 1130f554add5SHoward Hinnant } 1131f554add5SHoward Hinnant#endif 1132f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator*() const _NOEXCEPT 1133f554add5SHoward Hinnant { 1134cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1135f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__dereferenceable(this), 1136f554add5SHoward Hinnant "Attempted to dereference a non-dereferenceable iterator"); 1137cec9af9eSHoward Hinnant#endif 1138f554add5SHoward Hinnant return *__i; 1139f554add5SHoward Hinnant } 114076c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY pointer operator->() const _NOEXCEPT {return &(operator*());} 1141f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator++() _NOEXCEPT 1142f554add5SHoward Hinnant { 1143cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1144f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__dereferenceable(this), 1145f554add5SHoward Hinnant "Attempted to increment non-incrementable iterator"); 1146cec9af9eSHoward Hinnant#endif 1147f554add5SHoward Hinnant ++__i; 1148f554add5SHoward Hinnant return *this; 1149f554add5SHoward Hinnant } 115076c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter operator++(int) _NOEXCEPT 1151f554add5SHoward Hinnant {__wrap_iter __tmp(*this); ++(*this); return __tmp;} 1152f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator--() _NOEXCEPT 1153f554add5SHoward Hinnant { 1154cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1155f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__decrementable(this), 1156f554add5SHoward Hinnant "Attempted to decrement non-decrementable iterator"); 1157cec9af9eSHoward Hinnant#endif 1158f554add5SHoward Hinnant --__i; 1159f554add5SHoward Hinnant return *this; 1160f554add5SHoward Hinnant } 116176c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter operator--(int) _NOEXCEPT 1162f554add5SHoward Hinnant {__wrap_iter __tmp(*this); --(*this); return __tmp;} 116376c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter operator+ (difference_type __n) const _NOEXCEPT 1164f554add5SHoward Hinnant {__wrap_iter __w(*this); __w += __n; return __w;} 116576c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator+=(difference_type __n) _NOEXCEPT 1166f554add5SHoward Hinnant { 1167cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1168f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__addable(this, __n), 1169f554add5SHoward Hinnant "Attempted to add/subtract iterator outside of valid range"); 1170cec9af9eSHoward Hinnant#endif 1171f554add5SHoward Hinnant __i += __n; 1172f554add5SHoward Hinnant return *this; 1173f554add5SHoward Hinnant } 117476c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter operator- (difference_type __n) const _NOEXCEPT 1175f554add5SHoward Hinnant {return *this + (-__n);} 117676c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter& operator-=(difference_type __n) _NOEXCEPT 1177f554add5SHoward Hinnant {*this += -__n; return *this;} 117876c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const _NOEXCEPT 1179f554add5SHoward Hinnant { 1180cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1181f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__subscriptable(this, __n), 1182f554add5SHoward Hinnant "Attempted to subscript iterator outside of valid range"); 1183cec9af9eSHoward Hinnant#endif 1184f554add5SHoward Hinnant return __i[__n]; 1185f554add5SHoward Hinnant } 11863e519524SHoward Hinnant 118776c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY iterator_type base() const _NOEXCEPT {return __i;} 11883e519524SHoward Hinnant 11893e519524SHoward Hinnantprivate: 119076c7cd0eSHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter(iterator_type __x) _NOEXCEPT : __i(__x) {} 1191cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1192f554add5SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __wrap_iter(const void* __p, iterator_type __x) : __i(__x) 1193f554add5SHoward Hinnant { 1194f554add5SHoward Hinnant __get_db()->__insert_ic(this, __p); 1195f554add5SHoward Hinnant } 1196f554add5SHoward Hinnant#endif 11973e519524SHoward Hinnant 11983e519524SHoward Hinnant template <class _Up> friend class __wrap_iter; 11993e519524SHoward Hinnant template <class _CharT, class _Traits, class _Alloc> friend class basic_string; 12003e519524SHoward Hinnant template <class _Tp, class _Alloc> friend class vector; 12013e519524SHoward Hinnant 12023e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12033e519524SHoward Hinnant friend 12043e519524SHoward Hinnant bool 120576c7cd0eSHoward Hinnant operator==(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12063e519524SHoward Hinnant 12073e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12083e519524SHoward Hinnant friend 12093e519524SHoward Hinnant bool 121076c7cd0eSHoward Hinnant operator<(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12113e519524SHoward Hinnant 12123e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12133e519524SHoward Hinnant friend 12143e519524SHoward Hinnant bool 121576c7cd0eSHoward Hinnant operator!=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12163e519524SHoward Hinnant 12173e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12183e519524SHoward Hinnant friend 12193e519524SHoward Hinnant bool 122076c7cd0eSHoward Hinnant operator>(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12213e519524SHoward Hinnant 12223e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12233e519524SHoward Hinnant friend 12243e519524SHoward Hinnant bool 122576c7cd0eSHoward Hinnant operator>=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12263e519524SHoward Hinnant 12273e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12283e519524SHoward Hinnant friend 12293e519524SHoward Hinnant bool 123076c7cd0eSHoward Hinnant operator<=(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12313e519524SHoward Hinnant 12323e519524SHoward Hinnant template <class _Iter1, class _Iter2> 12333e519524SHoward Hinnant friend 12343e519524SHoward Hinnant typename __wrap_iter<_Iter1>::difference_type 123576c7cd0eSHoward Hinnant operator-(const __wrap_iter<_Iter1>&, const __wrap_iter<_Iter2>&) _NOEXCEPT; 12363e519524SHoward Hinnant 12373e519524SHoward Hinnant template <class _Iter1> 12383e519524SHoward Hinnant friend 12393e519524SHoward Hinnant __wrap_iter<_Iter1> 12407ba930bfSHoward Hinnant operator+(typename __wrap_iter<_Iter1>::difference_type, __wrap_iter<_Iter1>) _NOEXCEPT; 12413e519524SHoward Hinnant 1242c003db1fSHoward Hinnant template <class _Ip, class _Op> friend _Op copy(_Ip, _Ip, _Op); 12433e519524SHoward Hinnant template <class _B1, class _B2> friend _B2 copy_backward(_B1, _B1, _B2); 1244c003db1fSHoward Hinnant template <class _Ip, class _Op> friend _Op move(_Ip, _Ip, _Op); 12453e519524SHoward Hinnant template <class _B1, class _B2> friend _B2 move_backward(_B1, _B1, _B2); 12463e519524SHoward Hinnant 12473e519524SHoward Hinnant template <class _Tp> 12483e519524SHoward Hinnant friend 12493e519524SHoward Hinnant typename enable_if 12503e519524SHoward Hinnant < 1251ca740483SHoward Hinnant is_trivially_copy_assignable<_Tp>::value, 12523e519524SHoward Hinnant _Tp* 12533e519524SHoward Hinnant >::type 12543e519524SHoward Hinnant __unwrap_iter(__wrap_iter<_Tp*>); 12553e519524SHoward Hinnant}; 12563e519524SHoward Hinnant 12573e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 12583e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 12593e519524SHoward Hinnantbool 126076c7cd0eSHoward Hinnantoperator==(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 12613e519524SHoward Hinnant{ 1262cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1263f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__comparable(&__x, &__y), 1264f554add5SHoward Hinnant "Attempted to compare incomparable iterators"); 1265cec9af9eSHoward Hinnant#endif 12663e519524SHoward Hinnant return __x.base() == __y.base(); 12673e519524SHoward Hinnant} 12683e519524SHoward Hinnant 12693e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 12703e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 12713e519524SHoward Hinnantbool 127276c7cd0eSHoward Hinnantoperator<(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 12733e519524SHoward Hinnant{ 1274cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1275f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__comparable(&__x, &__y), 1276f554add5SHoward Hinnant "Attempted to compare incomparable iterators"); 1277cec9af9eSHoward Hinnant#endif 12783e519524SHoward Hinnant return __x.base() < __y.base(); 12793e519524SHoward Hinnant} 12803e519524SHoward Hinnant 12813e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 12823e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 12833e519524SHoward Hinnantbool 128476c7cd0eSHoward Hinnantoperator!=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 12853e519524SHoward Hinnant{ 1286f554add5SHoward Hinnant return !(__x == __y); 12873e519524SHoward Hinnant} 12883e519524SHoward Hinnant 12893e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 12903e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 12913e519524SHoward Hinnantbool 129276c7cd0eSHoward Hinnantoperator>(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 12933e519524SHoward Hinnant{ 1294f554add5SHoward Hinnant return __y < __x; 12953e519524SHoward Hinnant} 12963e519524SHoward Hinnant 12973e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 12983e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 12993e519524SHoward Hinnantbool 130076c7cd0eSHoward Hinnantoperator>=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 13013e519524SHoward Hinnant{ 1302f554add5SHoward Hinnant return !(__x < __y); 13033e519524SHoward Hinnant} 13043e519524SHoward Hinnant 13053e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 13063e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13073e519524SHoward Hinnantbool 130876c7cd0eSHoward Hinnantoperator<=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 13093e519524SHoward Hinnant{ 1310f554add5SHoward Hinnant return !(__y < __x); 13113e519524SHoward Hinnant} 13123e519524SHoward Hinnant 13136e551ae1SHoward Hinnanttemplate <class _Iter1> 13146e551ae1SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13156e551ae1SHoward Hinnantbool 13166e551ae1SHoward Hinnantoperator!=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT 13176e551ae1SHoward Hinnant{ 13186e551ae1SHoward Hinnant return !(__x == __y); 13196e551ae1SHoward Hinnant} 13206e551ae1SHoward Hinnant 13216e551ae1SHoward Hinnanttemplate <class _Iter1> 13226e551ae1SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13236e551ae1SHoward Hinnantbool 13246e551ae1SHoward Hinnantoperator>(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT 13256e551ae1SHoward Hinnant{ 13266e551ae1SHoward Hinnant return __y < __x; 13276e551ae1SHoward Hinnant} 13286e551ae1SHoward Hinnant 13296e551ae1SHoward Hinnanttemplate <class _Iter1> 13306e551ae1SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13316e551ae1SHoward Hinnantbool 13326e551ae1SHoward Hinnantoperator>=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT 13336e551ae1SHoward Hinnant{ 13346e551ae1SHoward Hinnant return !(__x < __y); 13356e551ae1SHoward Hinnant} 13366e551ae1SHoward Hinnant 13376e551ae1SHoward Hinnanttemplate <class _Iter1> 13386e551ae1SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13396e551ae1SHoward Hinnantbool 13406e551ae1SHoward Hinnantoperator<=(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter1>& __y) _NOEXCEPT 13416e551ae1SHoward Hinnant{ 13426e551ae1SHoward Hinnant return !(__y < __x); 13436e551ae1SHoward Hinnant} 13446e551ae1SHoward Hinnant 13453e519524SHoward Hinnanttemplate <class _Iter1, class _Iter2> 13463e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13473e519524SHoward Hinnanttypename __wrap_iter<_Iter1>::difference_type 134876c7cd0eSHoward Hinnantoperator-(const __wrap_iter<_Iter1>& __x, const __wrap_iter<_Iter2>& __y) _NOEXCEPT 13493e519524SHoward Hinnant{ 1350cec9af9eSHoward Hinnant#if _LIBCPP_DEBUG_LEVEL >= 2 1351f554add5SHoward Hinnant _LIBCPP_ASSERT(__get_const_db()->__comparable(&__x, &__y), 1352f554add5SHoward Hinnant "Attempted to subtract incompatible iterators"); 1353cec9af9eSHoward Hinnant#endif 13543e519524SHoward Hinnant return __x.base() - __y.base(); 13553e519524SHoward Hinnant} 13563e519524SHoward Hinnant 13573e519524SHoward Hinnanttemplate <class _Iter> 13583e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 13593e519524SHoward Hinnant__wrap_iter<_Iter> 13603e519524SHoward Hinnantoperator+(typename __wrap_iter<_Iter>::difference_type __n, 1361f554add5SHoward Hinnant __wrap_iter<_Iter> __x) _NOEXCEPT 13623e519524SHoward Hinnant{ 1363f554add5SHoward Hinnant __x += __n; 1364f554add5SHoward Hinnant return __x; 13653e519524SHoward Hinnant} 13663e519524SHoward Hinnant 13673e519524SHoward Hinnant#ifdef _LIBCPP_DEBUG 13683e519524SHoward Hinnant 13693e519524SHoward Hinnant// __debug_iter 13703e519524SHoward Hinnant 13713e519524SHoward Hinnanttemplate <class _Container, class _Iter> class __debug_iter; 13723e519524SHoward Hinnant 13733e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1374aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 13753e519524SHoward Hinnantbool 13763e519524SHoward Hinnantoperator==(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 13773e519524SHoward Hinnant 13783e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1379aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 13803e519524SHoward Hinnantbool 13813e519524SHoward Hinnantoperator<(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 13823e519524SHoward Hinnant 13833e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1384aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 13853e519524SHoward Hinnantbool 13863e519524SHoward Hinnantoperator!=(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 13873e519524SHoward Hinnant 13883e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1389aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 13903e519524SHoward Hinnantbool 13913e519524SHoward Hinnantoperator>(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 13923e519524SHoward Hinnant 13933e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1394aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 13953e519524SHoward Hinnantbool 13963e519524SHoward Hinnantoperator>=(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 13973e519524SHoward Hinnant 13983e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1399aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 14003e519524SHoward Hinnantbool 14013e519524SHoward Hinnantoperator<=(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 14023e519524SHoward Hinnant 14033e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 1404aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 14053e519524SHoward Hinnanttypename __debug_iter<_Container, _Iter1>::difference_type 14063e519524SHoward Hinnantoperator-(const __debug_iter<_Container, _Iter1>&, const __debug_iter<_Container, _Iter2>&); 14073e519524SHoward Hinnant 14083e519524SHoward Hinnanttemplate <class _Container, class _Iter> 1409aeb85680SHoward Hinnant_LIBCPP_INLINE_VISIBILITY 14103e519524SHoward Hinnant__debug_iter<_Container, _Iter> 14113e519524SHoward Hinnantoperator+(typename __debug_iter<_Container, _Iter>::difference_type, const __debug_iter<_Container, _Iter>&); 14123e519524SHoward Hinnant 14133e519524SHoward Hinnanttemplate <class _Container, class _Iter> 14143e519524SHoward Hinnantclass __debug_iter 14153e519524SHoward Hinnant{ 14163e519524SHoward Hinnantpublic: 14173e519524SHoward Hinnant typedef _Iter iterator_type; 14183e519524SHoward Hinnant typedef _Container __container_type; 14193e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::iterator_category iterator_category; 14203e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::value_type value_type; 14213e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::difference_type difference_type; 14223e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::pointer pointer; 14233e519524SHoward Hinnant typedef typename iterator_traits<iterator_type>::reference reference; 14243e519524SHoward Hinnantprivate: 14253e519524SHoward Hinnant iterator_type __i; 14263e519524SHoward Hinnant __debug_iter* __next; 14273e519524SHoward Hinnant __container_type* __cont; 14283e519524SHoward Hinnant 14293e519524SHoward Hinnantpublic: 14303e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter() : __next(0), __cont(0) {} 14313e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter(const __debug_iter& __x) 14323e519524SHoward Hinnant : __i(__x.base()), __next(0), __cont(0) {__set_owner(__x.__cont);} 14333e519524SHoward Hinnant __debug_iter& operator=(const __debug_iter& __x); 14343e519524SHoward Hinnant template <class _Up> _LIBCPP_INLINE_VISIBILITY __debug_iter(const __debug_iter<_Container, _Up>& __u, 14353e519524SHoward Hinnant typename enable_if<is_convertible<_Up, iterator_type>::value>::type* = 0) 14363e519524SHoward Hinnant : __i(__u.base()), __next(0), __cont(0) {__set_owner(__u.__cont);} 14373e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY ~__debug_iter() {__remove_owner();} 14383e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator*() const {assert(__is_deref()); return *__i;} 14393e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY pointer operator->() const {return &(operator*());} 14403e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter& operator++() {assert(__can_increment()); ++__i; return *this;} 14413e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter operator++(int) 14423e519524SHoward Hinnant {__debug_iter __tmp(*this); operator++(); return __tmp;} 14433e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter& operator--() {assert(__can_decrement()); --__i; return *this;} 14443e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter operator--(int) 14453e519524SHoward Hinnant {__debug_iter __tmp(*this); operator--(); return __tmp;} 14463e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter operator+ (difference_type __n) const 14473e519524SHoward Hinnant {__debug_iter __t(*this); __t += __n; return __t;} 14483e519524SHoward Hinnant __debug_iter& operator+=(difference_type __n); 14493e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter operator- (difference_type __n) const 14503e519524SHoward Hinnant {__debug_iter __t(*this); __t -= __n; return __t;} 14513e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter& operator-=(difference_type __n) 14523e519524SHoward Hinnant {*this += -__n; return *this;} 14533e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const 14543e519524SHoward Hinnant {return *(*this + __n);} 14553e519524SHoward Hinnant 14563e519524SHoward Hinnantprivate: 14573e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY __debug_iter(const __container_type* __c, iterator_type __x) 14583e519524SHoward Hinnant : __i(__x), __next(0), __cont(0) {__set_owner(__c);} 14593e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY iterator_type base() const {return __i;} 14603e519524SHoward Hinnant 14613e519524SHoward Hinnant void __set_owner(const __container_type* __c); 14623e519524SHoward Hinnant void __remove_owner(); 14633e519524SHoward Hinnant static void __remove_all(__container_type* __c); 14643e519524SHoward Hinnant static void swap(__container_type* __x, __container_type* __y); 14653e519524SHoward Hinnant 14663e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool __is_deref() const 14673e519524SHoward Hinnant {return __is_deref(__is_random_access_iterator<iterator_type>());} 14683e519524SHoward Hinnant bool __is_deref(false_type) const; 14693e519524SHoward Hinnant bool __is_deref(true_type) const; 14703e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool __can_decrement() const 14713e519524SHoward Hinnant {return __can_decrement(integral_constant<int, is_pointer<iterator_type>::value ? 2: 14723e519524SHoward Hinnant __is_random_access_iterator<iterator_type>::value ? 1 : 0>());} 14733e519524SHoward Hinnant bool __can_decrement(integral_constant<int, 0>) const; 14743e519524SHoward Hinnant bool __can_decrement(integral_constant<int, 1>) const; 14753e519524SHoward Hinnant bool __can_decrement(integral_constant<int, 2>) const; 14763e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool __can_increment() const 14773e519524SHoward Hinnant {return __can_increment(integral_constant<int, is_pointer<iterator_type>::value ? 2: 14783e519524SHoward Hinnant __is_random_access_iterator<iterator_type>::value ? 1 : 0>());} 14793e519524SHoward Hinnant bool __can_increment(integral_constant<int, 0>) const; 14803e519524SHoward Hinnant bool __can_increment(integral_constant<int, 1>) const; 14813e519524SHoward Hinnant bool __can_increment(integral_constant<int, 2>) const; 14823e519524SHoward Hinnant 14833e519524SHoward Hinnant _LIBCPP_INLINE_VISIBILITY bool __can_add(difference_type __n) const 14843e519524SHoward Hinnant {return __can_add(__n, is_pointer<iterator_type>());} 14853e519524SHoward Hinnant bool __can_add(difference_type __n, false_type) const; 14863e519524SHoward Hinnant bool __can_add(difference_type __n, true_type) const; 14873e519524SHoward Hinnant 14883e519524SHoward Hinnant template <class _Cp, class _Up> friend class __debug_iter; 14893e519524SHoward Hinnant friend class _Container::__self; 14903e519524SHoward Hinnant 14913e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 14923e519524SHoward Hinnant friend 14933e519524SHoward Hinnant bool 14943e519524SHoward Hinnant operator==(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 14953e519524SHoward Hinnant 14963e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 14973e519524SHoward Hinnant friend 14983e519524SHoward Hinnant bool 14993e519524SHoward Hinnant operator<(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15003e519524SHoward Hinnant 15013e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 15023e519524SHoward Hinnant friend 15033e519524SHoward Hinnant bool 15043e519524SHoward Hinnant operator!=(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15053e519524SHoward Hinnant 15063e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 15073e519524SHoward Hinnant friend 15083e519524SHoward Hinnant bool 15093e519524SHoward Hinnant operator>(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15103e519524SHoward Hinnant 15113e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 15123e519524SHoward Hinnant friend 15133e519524SHoward Hinnant bool 15143e519524SHoward Hinnant operator>=(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15153e519524SHoward Hinnant 15163e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 15173e519524SHoward Hinnant friend 15183e519524SHoward Hinnant bool 15193e519524SHoward Hinnant operator<=(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15203e519524SHoward Hinnant 15213e519524SHoward Hinnant template <class _Cp, class _Iter1, class _Iter2> 15223e519524SHoward Hinnant friend 15233e519524SHoward Hinnant typename __debug_iter<_Cp, _Iter1>::difference_type 15243e519524SHoward Hinnant operator-(const __debug_iter<_Cp, _Iter1>&, const __debug_iter<_Cp, _Iter2>&); 15253e519524SHoward Hinnant 15263e519524SHoward Hinnant template <class _Cp, class _Iter1> 15273e519524SHoward Hinnant friend 15283e519524SHoward Hinnant __debug_iter<_Cp, _Iter1> 15293e519524SHoward Hinnant operator+(typename __debug_iter<_Cp, _Iter1>::difference_type, const __debug_iter<_Cp, _Iter1>&); 15303e519524SHoward Hinnant}; 15313e519524SHoward Hinnant 15323e519524SHoward Hinnanttemplate <class _Container, class _Iter> 15333e519524SHoward Hinnant__debug_iter<_Container, _Iter>& 15343e519524SHoward Hinnant__debug_iter<_Container, _Iter>::operator=(const __debug_iter& __x) 15353e519524SHoward Hinnant{ 15363e519524SHoward Hinnant if (this != &__x) 15373e519524SHoward Hinnant { 15383e519524SHoward Hinnant __remove_owner(); 15393e519524SHoward Hinnant __i = __x.__i; 15403e519524SHoward Hinnant __set_owner(__x.__cont); 15413e519524SHoward Hinnant } 15423e519524SHoward Hinnant return *this; 15433e519524SHoward Hinnant} 15443e519524SHoward Hinnant 15453e519524SHoward Hinnanttemplate <class _Container, class _Iter> 15463e519524SHoward Hinnantvoid 15473e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__set_owner(const __container_type* __c) 15483e519524SHoward Hinnant{ 15493e519524SHoward Hinnant __cont = const_cast<__container_type*>(__c); 15503e519524SHoward Hinnant __debug_iter*& __head = __cont->__get_iterator_list(this); 15513e519524SHoward Hinnant __next = __head; 15523e519524SHoward Hinnant __head = this; 15533e519524SHoward Hinnant} 15543e519524SHoward Hinnant 15553e519524SHoward Hinnanttemplate <class _Container, class _Iter> 15563e519524SHoward Hinnantvoid 15573e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__remove_owner() 15583e519524SHoward Hinnant{ 15593e519524SHoward Hinnant if (__cont) 15603e519524SHoward Hinnant { 15613e519524SHoward Hinnant __debug_iter*& __head = __cont->__get_iterator_list(this); 15623e519524SHoward Hinnant if (__head == this) 15633e519524SHoward Hinnant __head = __next; 15643e519524SHoward Hinnant else 15653e519524SHoward Hinnant { 15663e519524SHoward Hinnant __debug_iter* __prev = __head; 15673e519524SHoward Hinnant for (__debug_iter* __p = __head->__next; __p != this; __p = __p->__next) 15683e519524SHoward Hinnant __prev = __p; 15693e519524SHoward Hinnant __prev->__next = __next; 15703e519524SHoward Hinnant } 15713e519524SHoward Hinnant __cont = 0; 15723e519524SHoward Hinnant } 15733e519524SHoward Hinnant} 15743e519524SHoward Hinnant 15753e519524SHoward Hinnanttemplate <class _Container, class _Iter> 15763e519524SHoward Hinnantvoid 15773e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__remove_all(__container_type* __c) 15783e519524SHoward Hinnant{ 15793e519524SHoward Hinnant __debug_iter*& __head = __c->__get_iterator_list((__debug_iter*)0); 15803e519524SHoward Hinnant __debug_iter* __p = __head; 15813e519524SHoward Hinnant __head = 0; 15823e519524SHoward Hinnant while (__p) 15833e519524SHoward Hinnant { 15843e519524SHoward Hinnant __p->__cont = 0; 15853e519524SHoward Hinnant __debug_iter* __n = __p->__next; 15863e519524SHoward Hinnant __p->__next = 0; 15873e519524SHoward Hinnant __p = __n; 15883e519524SHoward Hinnant } 15893e519524SHoward Hinnant} 15903e519524SHoward Hinnant 15913e519524SHoward Hinnanttemplate <class _Container, class _Iter> 15923e519524SHoward Hinnantvoid 15933e519524SHoward Hinnant__debug_iter<_Container, _Iter>::swap(__container_type* __x, __container_type* __y) 15943e519524SHoward Hinnant{ 15953e519524SHoward Hinnant __debug_iter*& __head_x = __x->__get_iterator_list((__debug_iter*)0); 15963e519524SHoward Hinnant __debug_iter*& __head_y = __y->__get_iterator_list((__debug_iter*)0); 15973e519524SHoward Hinnant __debug_iter* __p = __head_x; 15983e519524SHoward Hinnant __head_x = __head_y; 15993e519524SHoward Hinnant __head_y = __p; 16003e519524SHoward Hinnant for (__p = __head_x; __p; __p = __p->__next) 16013e519524SHoward Hinnant __p->__cont = __x; 16023e519524SHoward Hinnant for (__p = __head_y; __p; __p = __p->__next) 16033e519524SHoward Hinnant __p->__cont = __y; 16043e519524SHoward Hinnant} 16053e519524SHoward Hinnant 16063e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16073e519524SHoward Hinnantbool 16083e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__is_deref(false_type) const 16093e519524SHoward Hinnant{ 16103e519524SHoward Hinnant if (__cont == 0) 16113e519524SHoward Hinnant return false; 16123e519524SHoward Hinnant return __i != __cont->end().base(); 16133e519524SHoward Hinnant} 16143e519524SHoward Hinnant 16153e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16163e519524SHoward Hinnantbool 16173e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__is_deref(true_type) const 16183e519524SHoward Hinnant{ 16193e519524SHoward Hinnant if (__cont == 0) 16203e519524SHoward Hinnant return false; 16213e519524SHoward Hinnant return __i < __cont->end().base(); 16223e519524SHoward Hinnant} 16233e519524SHoward Hinnant 16243e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16253e519524SHoward Hinnantbool 16263e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_decrement(integral_constant<int, 0>) const 16273e519524SHoward Hinnant{ 16283e519524SHoward Hinnant if (__cont == 0) 16293e519524SHoward Hinnant return false; 16303e519524SHoward Hinnant return __i != __cont->begin().base(); 16313e519524SHoward Hinnant} 16323e519524SHoward Hinnant 16333e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16343e519524SHoward Hinnantbool 16353e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_decrement(integral_constant<int, 1>) const 16363e519524SHoward Hinnant{ 16373e519524SHoward Hinnant if (__cont == 0) 16383e519524SHoward Hinnant return false; 16393e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 16403e519524SHoward Hinnant return __b < __i && __i <= __b + __cont->size(); 16413e519524SHoward Hinnant} 16423e519524SHoward Hinnant 16433e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16443e519524SHoward Hinnantbool 16453e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_decrement(integral_constant<int, 2>) const 16463e519524SHoward Hinnant{ 16473e519524SHoward Hinnant if (__cont == 0) 16483e519524SHoward Hinnant return false; 16493e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 16503e519524SHoward Hinnant return __b < __i && __i <= __b + __cont->size(); 16513e519524SHoward Hinnant} 16523e519524SHoward Hinnant 16533e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16543e519524SHoward Hinnantbool 16553e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_increment(integral_constant<int, 0>) const 16563e519524SHoward Hinnant{ 16573e519524SHoward Hinnant if (__cont == 0) 16583e519524SHoward Hinnant return false; 16593e519524SHoward Hinnant return __i != __cont->end().base(); 16603e519524SHoward Hinnant} 16613e519524SHoward Hinnant 16623e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16633e519524SHoward Hinnantbool 16643e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_increment(integral_constant<int, 1>) const 16653e519524SHoward Hinnant{ 16663e519524SHoward Hinnant if (__cont == 0) 16673e519524SHoward Hinnant return false; 16683e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 16693e519524SHoward Hinnant return __b <= __i && __i < __b + __cont->size(); 16703e519524SHoward Hinnant} 16713e519524SHoward Hinnant 16723e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16733e519524SHoward Hinnantbool 16743e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_increment(integral_constant<int, 2>) const 16753e519524SHoward Hinnant{ 16763e519524SHoward Hinnant if (__cont == 0) 16773e519524SHoward Hinnant return false; 16783e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 16793e519524SHoward Hinnant return __b <= __i && __i < __b + __cont->size(); 16803e519524SHoward Hinnant} 16813e519524SHoward Hinnant 16823e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16833e519524SHoward Hinnantbool 16843e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_add(difference_type __n, false_type) const 16853e519524SHoward Hinnant{ 16863e519524SHoward Hinnant if (__cont == 0) 16873e519524SHoward Hinnant return false; 16883e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 16893e519524SHoward Hinnant iterator_type __j = __i + __n; 16903e519524SHoward Hinnant return __b <= __j && __j <= __b + __cont->size(); 16913e519524SHoward Hinnant} 16923e519524SHoward Hinnant 16933e519524SHoward Hinnanttemplate <class _Container, class _Iter> 16943e519524SHoward Hinnantbool 16953e519524SHoward Hinnant__debug_iter<_Container, _Iter>::__can_add(difference_type __n, true_type) const 16963e519524SHoward Hinnant{ 16973e519524SHoward Hinnant if (__cont == 0) 16983e519524SHoward Hinnant return false; 16993e519524SHoward Hinnant iterator_type __b = __cont->begin().base(); 17003e519524SHoward Hinnant iterator_type __j = __i + __n; 17013e519524SHoward Hinnant return __b <= __j && __j <= __b + __cont->size(); 17023e519524SHoward Hinnant} 17033e519524SHoward Hinnant 17043e519524SHoward Hinnanttemplate <class _Container, class _Iter> 17053e519524SHoward Hinnant__debug_iter<_Container, _Iter>& 17063e519524SHoward Hinnant__debug_iter<_Container, _Iter>::operator+=(difference_type __n) 17073e519524SHoward Hinnant{ 17083e519524SHoward Hinnant assert(__can_add(__n)); 17093e519524SHoward Hinnant __i += __n; 17103e519524SHoward Hinnant return *this; 17113e519524SHoward Hinnant} 17123e519524SHoward Hinnant 17133e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17143e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17153e519524SHoward Hinnantbool 17163e519524SHoward Hinnantoperator==(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17173e519524SHoward Hinnant{ 17183e519524SHoward Hinnant assert(__x.__cont && __x.__cont == __y.__cont); 17193e519524SHoward Hinnant return __x.base() == __y.base(); 17203e519524SHoward Hinnant} 17213e519524SHoward Hinnant 17223e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17233e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17243e519524SHoward Hinnantbool 17253e519524SHoward Hinnantoperator!=(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17263e519524SHoward Hinnant{ 17273e519524SHoward Hinnant return !(__x == __y); 17283e519524SHoward Hinnant} 17293e519524SHoward Hinnant 17303e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17313e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17323e519524SHoward Hinnantbool 17333e519524SHoward Hinnantoperator<(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17343e519524SHoward Hinnant{ 17353e519524SHoward Hinnant assert(__x.__cont && __x.__cont == __y.__cont); 17363e519524SHoward Hinnant return __x.base() < __y.base(); 17373e519524SHoward Hinnant} 17383e519524SHoward Hinnant 17393e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17403e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17413e519524SHoward Hinnantbool 17423e519524SHoward Hinnantoperator>(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17433e519524SHoward Hinnant{ 17443e519524SHoward Hinnant return __y < __x; 17453e519524SHoward Hinnant} 17463e519524SHoward Hinnant 17473e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17483e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17493e519524SHoward Hinnantbool 17503e519524SHoward Hinnantoperator>=(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17513e519524SHoward Hinnant{ 17523e519524SHoward Hinnant return !(__x < __y); 17533e519524SHoward Hinnant} 17543e519524SHoward Hinnant 17553e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17563e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17573e519524SHoward Hinnantbool 17583e519524SHoward Hinnantoperator<=(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17593e519524SHoward Hinnant{ 17603e519524SHoward Hinnant return !(__y < __x); 17613e519524SHoward Hinnant} 17623e519524SHoward Hinnant 17633e519524SHoward Hinnanttemplate <class _Container, class _Iter1, class _Iter2> 17643e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17653e519524SHoward Hinnanttypename __debug_iter<_Container, _Iter1>::difference_type 17663e519524SHoward Hinnantoperator-(const __debug_iter<_Container, _Iter1>& __x, const __debug_iter<_Container, _Iter2>& __y) 17673e519524SHoward Hinnant{ 17683e519524SHoward Hinnant assert(__x.__cont && __x.__cont == __y.__cont); 17693e519524SHoward Hinnant return __x.base() - __y.base(); 17703e519524SHoward Hinnant} 17713e519524SHoward Hinnant 17723e519524SHoward Hinnanttemplate <class _Container, class _Iter> 17733e519524SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17743e519524SHoward Hinnant__debug_iter<_Container, _Iter> 17753e519524SHoward Hinnantoperator+(typename __debug_iter<_Container, _Iter>::difference_type __n, 17763e519524SHoward Hinnant const __debug_iter<_Container, _Iter>& __x) 17773e519524SHoward Hinnant{ 17783e519524SHoward Hinnant return __x + __n; 17793e519524SHoward Hinnant} 17803e519524SHoward Hinnant 17813e519524SHoward Hinnant#endif // _LIBCPP_DEBUG 17823e519524SHoward Hinnant 1783c4931c47SHoward Hinnant#if !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN) 17843e519524SHoward Hinnant 1785c003db1fSHoward Hinnanttemplate <class _Cp> 1786848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17873e519524SHoward Hinnantauto 1788c003db1fSHoward Hinnantbegin(_Cp& __c) -> decltype(__c.begin()) 17893e519524SHoward Hinnant{ 17903e519524SHoward Hinnant return __c.begin(); 17913e519524SHoward Hinnant} 17923e519524SHoward Hinnant 1793c003db1fSHoward Hinnanttemplate <class _Cp> 1794848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 17953e519524SHoward Hinnantauto 1796c003db1fSHoward Hinnantbegin(const _Cp& __c) -> decltype(__c.begin()) 17973e519524SHoward Hinnant{ 17983e519524SHoward Hinnant return __c.begin(); 17993e519524SHoward Hinnant} 18003e519524SHoward Hinnant 1801c003db1fSHoward Hinnanttemplate <class _Cp> 1802848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 18033e519524SHoward Hinnantauto 1804c003db1fSHoward Hinnantend(_Cp& __c) -> decltype(__c.end()) 18053e519524SHoward Hinnant{ 18063e519524SHoward Hinnant return __c.end(); 18073e519524SHoward Hinnant} 18083e519524SHoward Hinnant 1809c003db1fSHoward Hinnanttemplate <class _Cp> 1810848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 18113e519524SHoward Hinnantauto 1812c003db1fSHoward Hinnantend(const _Cp& __c) -> decltype(__c.end()) 18133e519524SHoward Hinnant{ 18143e519524SHoward Hinnant return __c.end(); 18153e519524SHoward Hinnant} 18163e519524SHoward Hinnant 1817c4931c47SHoward Hinnant#else // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN) 18183e519524SHoward Hinnant 1819c003db1fSHoward Hinnanttemplate <class _Cp> 1820848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1821c003db1fSHoward Hinnanttypename _Cp::iterator 1822c003db1fSHoward Hinnantbegin(_Cp& __c) 18233e519524SHoward Hinnant{ 18243e519524SHoward Hinnant return __c.begin(); 18253e519524SHoward Hinnant} 18263e519524SHoward Hinnant 1827c003db1fSHoward Hinnanttemplate <class _Cp> 1828848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1829c003db1fSHoward Hinnanttypename _Cp::const_iterator 1830c003db1fSHoward Hinnantbegin(const _Cp& __c) 18313e519524SHoward Hinnant{ 18323e519524SHoward Hinnant return __c.begin(); 18333e519524SHoward Hinnant} 18343e519524SHoward Hinnant 1835c003db1fSHoward Hinnanttemplate <class _Cp> 1836848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1837c003db1fSHoward Hinnanttypename _Cp::iterator 1838c003db1fSHoward Hinnantend(_Cp& __c) 18393e519524SHoward Hinnant{ 18403e519524SHoward Hinnant return __c.end(); 18413e519524SHoward Hinnant} 18423e519524SHoward Hinnant 1843c003db1fSHoward Hinnanttemplate <class _Cp> 1844848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1845c003db1fSHoward Hinnanttypename _Cp::const_iterator 1846c003db1fSHoward Hinnantend(const _Cp& __c) 18473e519524SHoward Hinnant{ 18483e519524SHoward Hinnant return __c.end(); 18493e519524SHoward Hinnant} 18503e519524SHoward Hinnant 1851c4931c47SHoward Hinnant#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_TRAILING_RETURN) 18523e519524SHoward Hinnant 1853c003db1fSHoward Hinnanttemplate <class _Tp, size_t _Np> 1854848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1855c003db1fSHoward Hinnant_Tp* 1856c003db1fSHoward Hinnantbegin(_Tp (&__array)[_Np]) 18573e519524SHoward Hinnant{ 18583e519524SHoward Hinnant return __array; 18593e519524SHoward Hinnant} 18603e519524SHoward Hinnant 1861c003db1fSHoward Hinnanttemplate <class _Tp, size_t _Np> 1862848a5374SHoward Hinnantinline _LIBCPP_INLINE_VISIBILITY 1863c003db1fSHoward Hinnant_Tp* 1864c003db1fSHoward Hinnantend(_Tp (&__array)[_Np]) 18653e519524SHoward Hinnant{ 1866c003db1fSHoward Hinnant return __array + _Np; 18673e519524SHoward Hinnant} 18683e519524SHoward Hinnant 18693e519524SHoward Hinnant_LIBCPP_END_NAMESPACE_STD 18703e519524SHoward Hinnant 18713e519524SHoward Hinnant#endif // _LIBCPP_ITERATOR 1872