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