Класс move_iterator
Шаблон класса move_iterator является программой-оболочкой для итератора. Move_iterator обеспечивает то же поведение, что итератор, который он упаковывает (хранит), за исключением того, что оператор деиферации хранимого итератора преобразуется в ссылку rvalue, превращая копию в перемещение. Дополнительные сведения о rvalues см. в разделе Оператор объявления ссылки Rvalue: &&.
Синтаксис
class move_iterator;
Замечания
Шаблон класса описывает объект, который ведет себя как итератор, за исключением случаев разыменования. Он хранит итератор произвольного доступа типа Iterator, доступный посредством функции-члена base(). Все операции с итератором move_iterator выполняются непосредственно в сохраненном итераторе, за исключением того, что результат operator* явным образом приводится к value_type&& для создания ссылки rvalue.
Может move_iterator быть способен выполнять операции, которые не определены оболочкой итератора. Эти операции не следует использовать.
Конструкторы
| Конструктор | Description |
|---|---|
| move_iterator | Конструктор для объектов типа move_iterator. |
Определения типов
| Введите имя | Description |
|---|---|
| iterator_type | Синоним параметра шаблона RandomIterator. |
| iterator_category | Синоним более длинного выражения typename с таким же именем, iterator_category определяет общие возможности данного итератора. |
| value_type | Синоним более длинного выражения typename с таким же именем, value_type описывает тип элементов итератора. |
| difference_type | Синоним более длинного выражения typename с таким же именем, difference_type описывает целочисленный тип, необходимый для выражения разницы между элементами. |
| pointer | Синоним параметра шаблона RandomIterator. |
| reference | Синоним ссылки rvaluevalue_type&&. |
Функции элементов
| Функция-член | Description |
|---|---|
| base | Функция-член возвращает сохраненный итератор, инкапсулированный данным итератором move_iterator. |
Операторы
| Operator | Description |
|---|---|
| move_iterator::operator* | Возвращает (reference)*base(). |
| move_iterator::operator++ | Увеличивает значение сохраненного итератора. Точное поведение зависит от того, является ли это операция предварительного увеличения или последующего увеличения. |
| move_iterator::operator-- | Уменьшает значение сохраненного итератора. Точное поведение зависит от того, является ли это предопределение или операция после добавочного увеличения. |
move_iterator::operator-> |
Возвращает &**this. |
| move_iterator::operator- | Возвращает move_iterator(*this) -= путем вычитания правого значения из текущей позиции. |
| move_iterator::operator[] | Возвращает (reference)*(*this + off). Позволяет указать смещение с текущей базы для получения значения в этом местоположении. |
| move_iterator::operator+ | Возвращает move_iterator(*this) += значение. Позволяет добавить смещение в текущую базу для получения значения в этом местоположении. |
| move_iterator::operator+= | Добавляет правое значение к сохраненному итератору и возвращает *this. |
| move_iterator::operator-= | Вычитает правое значение из сохраненного итератора и возвращает *this. |
Требования
Заголовок:<итератор>
Пространство имен: std
move_iterator::base
Возвращает сохраненный итератор для этого move_iterator.
RandomIterator base() const;
Замечания
Эта функция-член возвращает сохраненный итератор.
move_iterator::difference_type
Тип difference_type основан move_iterator typedef на признаке difference_typeитератора и может использоваться взаимозаменяемо с ним.
typedef typename iterator_traits<RandomIterator>::difference_type difference_type;
Замечания
Этот тип — синоним для признака итератора typename iterator_traits<RandomIterator>::pointer.
move_iterator::iterator_category
Тип iterator_category основан move_iterator typedef на признаке iterator_categoryитератора и может использоваться взаимозаменяемо с ним.
typedef typename iterator_traits<RandomIterator>::iterator_category iterator_category;
Замечания
Этот тип — синоним для признака итератора typename iterator_traits<RandomIterator>::iterator_category.
move_iterator::iterator_type
Тип iterator_type основан на параметре шаблона RandomIterator для шаблона класса move_iterator и может использоваться вместо него.
typedef RandomIterator iterator_type;
Замечания
Этот тип является синонимом для параметра шаблона RandomIterator.
move_iterator::move_iterator
Создает итератор перемещения. Использует параметр в качестве сохраненного итератора.
move_iterator();
explicit move_iterator(RandomIterator right);
template <class Type>
move_iterator(const move_iterator<Type>& right);
Параметры
right
Итератор, который требуется использовать в качестве сохраненного итератора.
Замечания
Первый конструктор инициализирует сохраненный итератор с помощью его конструктора по умолчанию. Остальные конструкторы инициализируют сохраненный итератор с использованием base.base().
move_iterator::operator+=
Добавляет смещение к сохраненному итератору, чтобы он указывал на данный элемент в новом текущем расположении. Затем оператор перемещает новый текущий элемент.
move_iterator& operator+=(difference_type _Off);
Параметры
_От
Смещение, добавляемое к текущей позиции, для определения новой текущей позиции.
Возвращаемое значение
Возвращает новый текущий элемент.
Замечания
Оператор добавляет _Off в сохраненный итератор. Затем возвращает *this.
move_iterator::operator-=
Выполняет переход через заданное число предыдущих элементов. Этот оператор вычитает смещение из сохраненного итератора.
move_iterator& operator-=(difference_type _Off);
Параметры
Замечания
Оператор вычисляет *this += -_Off. Затем возвращает *this.
move_iterator::operator++
Увеличивает сохраненный итератор, принадлежащий этому move_iterator. К текущему элементу обращается оператор postincrement. Доступ к следующему элементу осуществляется префиксным оператором.
move_iterator& operator++();
move_iterator operator++(int);
Параметры
Замечания
Первый (префиксный) оператор увеличивает сохраненный итератор. Затем возвращает *this.
Второй (постфиксный) оператор создает копию *this и вычисляет ++*this. Затем возвращает эту копию.
move_iterator::operator+
Возвращает позицию итератора, увеличенную на любое число элементов.
move_iterator operator+(difference_type _Off) const;
Параметры
Замечания
Оператор возвращает move_iterator(*this) += _Off.
move_iterator::operator[]
Разрешает доступ индексу массива к элементам во всем диапазоне move iterator.
reference operator[](difference_type _Off) const;
Параметры
Замечания
Оператор возвращает (reference)*(*this + _Off).
move_iterator::operator--
Предекрементные и постдекрементные операторы-члены уменьшают сохраненный итератор на единицу.
move_iterator& operator--();
move_iterator operator--();
Параметры
Замечания
Первый оператор-член (предекрементный) уменьшает сохраненный итератор. Затем возвращает *this.
Второй (постдекрементный) оператор создает копию *this и вычисляет --*this. Затем возвращает эту копию.
move_iterator::operator-
Уменьшает значение сохраненного итератора и возвращает указанное значение.
move_iterator operator-(difference_type _Off) const;
Параметры
Замечания
Оператор возвращает move_iterator(*this) -= _Off.
move_iterator::operator*
Разыменовывает сохраненный итератор и возвращает значение. Оператор похож на rvalue reference и выполняет присваивание с перемещением. Оператор передает текущий элемент из базового итератора. Следующий элемент становится текущим.
reference operator*() const;
Замечания
Оператор возвращает (reference)*base().
move_iterator::operator->
Как правило RandomIterator operator->, он предоставляет доступ к полям, принадлежащим текущему элементу.
pointer operator->() const;
Замечания
Оператор возвращает &**this.
move_iterator::pointer
Тип pointer — это typedef, основанный на произвольном итераторе RandomIterator для move_iterator, и может использоваться с ним взаимозаменяемым образом.
typedef RandomIterator pointer;
Замечания
Тип является синонимом RandomIterator.
move_iterator::reference
Тип reference — typedef на основе value_type&& для move_iterator, его можно использовать вместо value_type&&.
typedef value_type&& reference;
Замечания
Этот тип является синонимом value_type&&, который представляет собой ссылку rvalue.
move_iterator::value_type
Тип value_type основан move_iterator typedef на признаке value_typeитератора и может использоваться взаимозаменяемо с ним.
typedef typename iterator_traits<RandomIterator>::value_type value_type;
Замечания
Этот тип — синоним для признака итератора typename iterator_traits<RandomIterator>::value_type.
См. также
<iterator>
Lvalues и Rvalues
Конструкторы перемещения и операторы присваивания перемещением (C++)
Справочник по стандартной библиотеке C++