Warning: This file is not a C or C++ file. It does not have highlighting.
| 1 | // -*- C++ -*- |
|---|---|
| 2 | //===----------------------------------------------------------------------===// |
| 3 | // |
| 4 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 5 | // See https://llvm.org/LICENSE.txt for license information. |
| 6 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | |
| 10 | #ifndef _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H |
| 11 | #define _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H |
| 12 | |
| 13 | #include <__cxx03/__config> |
| 14 | #include <__cxx03/__iterator/iterator_traits.h> |
| 15 | #include <__cxx03/__type_traits/conditional.h> |
| 16 | #include <__cxx03/__type_traits/enable_if.h> |
| 17 | #include <__cxx03/__type_traits/is_assignable.h> |
| 18 | #include <__cxx03/__type_traits/is_constructible.h> |
| 19 | #include <__cxx03/__type_traits/is_convertible.h> |
| 20 | #include <__cxx03/__type_traits/is_reference.h> |
| 21 | #include <__cxx03/__type_traits/is_same.h> |
| 22 | #include <__cxx03/__type_traits/remove_reference.h> |
| 23 | #include <__cxx03/__utility/declval.h> |
| 24 | #include <__cxx03/__utility/move.h> |
| 25 | |
| 26 | #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) |
| 27 | # pragma GCC system_header |
| 28 | #endif |
| 29 | |
| 30 | _LIBCPP_PUSH_MACROS |
| 31 | #include <__cxx03/__undef_macros> |
| 32 | |
| 33 | _LIBCPP_BEGIN_NAMESPACE_STD |
| 34 | |
| 35 | template <class _Iter> |
| 36 | class _LIBCPP_TEMPLATE_VIS move_iterator { |
| 37 | public: |
| 38 | typedef _Iter iterator_type; |
| 39 | typedef _If< __has_random_access_iterator_category<_Iter>::value, |
| 40 | random_access_iterator_tag, |
| 41 | typename iterator_traits<_Iter>::iterator_category > |
| 42 | iterator_category; |
| 43 | typedef typename iterator_traits<iterator_type>::value_type value_type; |
| 44 | typedef typename iterator_traits<iterator_type>::difference_type difference_type; |
| 45 | typedef iterator_type pointer; |
| 46 | |
| 47 | typedef typename iterator_traits<iterator_type>::reference __reference; |
| 48 | typedef __conditional_t<is_reference<__reference>::value, __libcpp_remove_reference_t<__reference>&&, __reference> |
| 49 | reference; |
| 50 | |
| 51 | _LIBCPP_HIDE_FROM_ABI explicit move_iterator(_Iter __i) : __current_(std::move(__i)) {} |
| 52 | |
| 53 | _LIBCPP_HIDE_FROM_ABI move_iterator& operator++() { |
| 54 | ++__current_; |
| 55 | return *this; |
| 56 | } |
| 57 | |
| 58 | _LIBCPP_HIDE_FROM_ABI pointer operator->() const { return __current_; } |
| 59 | |
| 60 | _LIBCPP_HIDE_FROM_ABI move_iterator() : __current_() {} |
| 61 | |
| 62 | template <class _Up, __enable_if_t< !is_same<_Up, _Iter>::value && is_convertible<const _Up&, _Iter>::value, int> = 0> |
| 63 | _LIBCPP_HIDE_FROM_ABI move_iterator(const move_iterator<_Up>& __u) : __current_(__u.base()) {} |
| 64 | |
| 65 | template <class _Up, |
| 66 | __enable_if_t< !is_same<_Up, _Iter>::value && is_convertible<const _Up&, _Iter>::value && |
| 67 | is_assignable<_Iter&, const _Up&>::value, |
| 68 | int> = 0> |
| 69 | _LIBCPP_HIDE_FROM_ABI move_iterator& operator=(const move_iterator<_Up>& __u) { |
| 70 | __current_ = __u.base(); |
| 71 | return *this; |
| 72 | } |
| 73 | |
| 74 | _LIBCPP_HIDE_FROM_ABI _Iter base() const { return __current_; } |
| 75 | |
| 76 | _LIBCPP_HIDE_FROM_ABI reference operator*() const { return static_cast<reference>(*__current_); } |
| 77 | _LIBCPP_HIDE_FROM_ABI reference operator[](difference_type __n) const { |
| 78 | return static_cast<reference>(__current_[__n]); |
| 79 | } |
| 80 | |
| 81 | _LIBCPP_HIDE_FROM_ABI move_iterator operator++(int) { |
| 82 | move_iterator __tmp(*this); |
| 83 | ++__current_; |
| 84 | return __tmp; |
| 85 | } |
| 86 | |
| 87 | _LIBCPP_HIDE_FROM_ABI move_iterator& operator--() { |
| 88 | --__current_; |
| 89 | return *this; |
| 90 | } |
| 91 | _LIBCPP_HIDE_FROM_ABI move_iterator operator--(int) { |
| 92 | move_iterator __tmp(*this); |
| 93 | --__current_; |
| 94 | return __tmp; |
| 95 | } |
| 96 | _LIBCPP_HIDE_FROM_ABI move_iterator operator+(difference_type __n) const { return move_iterator(__current_ + __n); } |
| 97 | _LIBCPP_HIDE_FROM_ABI move_iterator& operator+=(difference_type __n) { |
| 98 | __current_ += __n; |
| 99 | return *this; |
| 100 | } |
| 101 | _LIBCPP_HIDE_FROM_ABI move_iterator operator-(difference_type __n) const { return move_iterator(__current_ - __n); } |
| 102 | _LIBCPP_HIDE_FROM_ABI move_iterator& operator-=(difference_type __n) { |
| 103 | __current_ -= __n; |
| 104 | return *this; |
| 105 | } |
| 106 | |
| 107 | private: |
| 108 | template <class _It2> |
| 109 | friend class move_iterator; |
| 110 | |
| 111 | _Iter __current_; |
| 112 | }; |
| 113 | _LIBCPP_CTAD_SUPPORTED_FOR_TYPE(move_iterator); |
| 114 | |
| 115 | template <class _Iter1, class _Iter2> |
| 116 | inline _LIBCPP_HIDE_FROM_ABI bool operator==(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 117 | return __x.base() == __y.base(); |
| 118 | } |
| 119 | |
| 120 | template <class _Iter1, class _Iter2> |
| 121 | inline _LIBCPP_HIDE_FROM_ABI bool operator!=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 122 | return __x.base() != __y.base(); |
| 123 | } |
| 124 | |
| 125 | template <class _Iter1, class _Iter2> |
| 126 | inline _LIBCPP_HIDE_FROM_ABI bool operator<(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 127 | return __x.base() < __y.base(); |
| 128 | } |
| 129 | |
| 130 | template <class _Iter1, class _Iter2> |
| 131 | inline _LIBCPP_HIDE_FROM_ABI bool operator>(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 132 | return __x.base() > __y.base(); |
| 133 | } |
| 134 | |
| 135 | template <class _Iter1, class _Iter2> |
| 136 | inline _LIBCPP_HIDE_FROM_ABI bool operator<=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 137 | return __x.base() <= __y.base(); |
| 138 | } |
| 139 | |
| 140 | template <class _Iter1, class _Iter2> |
| 141 | inline _LIBCPP_HIDE_FROM_ABI bool operator>=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 142 | return __x.base() >= __y.base(); |
| 143 | } |
| 144 | |
| 145 | template <class _Iter1, class _Iter2> |
| 146 | inline _LIBCPP_HIDE_FROM_ABI typename move_iterator<_Iter1>::difference_type |
| 147 | operator-(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) { |
| 148 | return __x.base() - __y.base(); |
| 149 | } |
| 150 | |
| 151 | template <class _Iter> |
| 152 | inline _LIBCPP_HIDE_FROM_ABI move_iterator<_Iter> |
| 153 | operator+(typename move_iterator<_Iter>::difference_type __n, const move_iterator<_Iter>& __x) { |
| 154 | return move_iterator<_Iter>(__x.base() + __n); |
| 155 | } |
| 156 | |
| 157 | template <class _Iter> |
| 158 | inline _LIBCPP_HIDE_FROM_ABI move_iterator<_Iter> make_move_iterator(_Iter __i) { |
| 159 | return move_iterator<_Iter>(std::move(__i)); |
| 160 | } |
| 161 | |
| 162 | _LIBCPP_END_NAMESPACE_STD |
| 163 | |
| 164 | _LIBCPP_POP_MACROS |
| 165 | |
| 166 | #endif // _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H |
| 167 |
Warning: This file is not a C or C++ file. It does not have highlighting.
