167 lines · c
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-exception7//8//===----------------------------------------------------------------------===//9 10#ifndef _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H11#define _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H12 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_header28#endif29 30_LIBCPP_PUSH_MACROS31#include <__cxx03/__undef_macros>32 33_LIBCPP_BEGIN_NAMESPACE_STD34 35template <class _Iter>36class _LIBCPP_TEMPLATE_VIS move_iterator {37public: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 107private:108 template <class _It2>109 friend class move_iterator;110 111 _Iter __current_;112};113_LIBCPP_CTAD_SUPPORTED_FOR_TYPE(move_iterator);114 115template <class _Iter1, class _Iter2>116inline _LIBCPP_HIDE_FROM_ABI bool operator==(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {117 return __x.base() == __y.base();118}119 120template <class _Iter1, class _Iter2>121inline _LIBCPP_HIDE_FROM_ABI bool operator!=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {122 return __x.base() != __y.base();123}124 125template <class _Iter1, class _Iter2>126inline _LIBCPP_HIDE_FROM_ABI bool operator<(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {127 return __x.base() < __y.base();128}129 130template <class _Iter1, class _Iter2>131inline _LIBCPP_HIDE_FROM_ABI bool operator>(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {132 return __x.base() > __y.base();133}134 135template <class _Iter1, class _Iter2>136inline _LIBCPP_HIDE_FROM_ABI bool operator<=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {137 return __x.base() <= __y.base();138}139 140template <class _Iter1, class _Iter2>141inline _LIBCPP_HIDE_FROM_ABI bool operator>=(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {142 return __x.base() >= __y.base();143}144 145template <class _Iter1, class _Iter2>146inline _LIBCPP_HIDE_FROM_ABI typename move_iterator<_Iter1>::difference_type147operator-(const move_iterator<_Iter1>& __x, const move_iterator<_Iter2>& __y) {148 return __x.base() - __y.base();149}150 151template <class _Iter>152inline _LIBCPP_HIDE_FROM_ABI move_iterator<_Iter>153operator+(typename move_iterator<_Iter>::difference_type __n, const move_iterator<_Iter>& __x) {154 return move_iterator<_Iter>(__x.base() + __n);155}156 157template <class _Iter>158inline _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_STD163 164_LIBCPP_POP_MACROS165 166#endif // _LIBCPP___CXX03___ITERATOR_MOVE_ITERATOR_H167