iter_move(std::common_iterator)

friend constexpr decltype(auto) iter_move( const std::common_iterator& i )
    noexcept(noexcept(ranges::iter_move(std::declval<const I&>()))
        requires std::input_iterator<I>;

(начиная с C++20)

Преобразует результат разыменования базового итератора в соответствующий ему тип rvalue-ссылки.

Эквивалентно return std::ranges::iter_move(std::get<I>(i.var));.

Если i.var не содержит объект I (то есть итератор), поведение не определено.

(до C++26)

Если i.var не содержит объект I (то есть итератор):

Если реализация усилена проверками, происходит нарушение контракта.
Если реализация не усилена проверками, поведение не определено.

(начиная с C++26)

Эта функция не видна при обычном неквалифицированном или квалифицированном поиске и может быть найдена только с помощью поиска, зависящего от аргументов, если std::common_iterator<I,S> является ассоциированным классом аргументов.

Параметры

адаптер исходного итератора

Возвращаемое значение

Rvalue-ссылка или временный prvalue-объект.

Сложность

Константная.

Пример

#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>

void print(const auto& rem, const auto& v)
{
    std::cout << rem << '[' << size(v) << "] { ";
    for (int o{}; auto const& s : v)
        std::cout << (o++ ? ", " : "") << std::quoted(s);
    std::cout << " }\n";
}

int main()
{
    std::vector<std::string> p{"Andromeda", "Cassiopeia", "Phoenix"}, q;
    print("p", p);
    print("q", q);
    
    using CTI = std::counted_iterator<std::vector<std::string>::iterator>;
    using CI = std::common_iterator<CTI, std::default_sentinel_t>;
    CI last{std::default_sentinel};
    
    for (CI first{{p.begin(), 2}}; first != last; ++first)
        q.emplace_back(/* ADL */ iter_move(first));
    
    print("p", p);
    print("q", q);
}

Возможный вывод:

p[3] { "Andromeda", "Cassiopeia", "Phoenix" }
q[0] {  }
p[3] { "", "", "Phoenix" }
q[2] { "Andromeda", "Cassiopeia" }

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены ретроспективно к ранее опубликованным стандартам C++.

Отчёт об ошибке	Применён к	Опубликованное поведение	Корректное поведение
LWG 3953	C++20	возвращаемым типом был std::iter_rvalue_reference_t<I>	изменён на decltype(auto)

См. также

ranges::iter_move (C++20)	преобразует результат разыменования объекта в соответствующий ему тип rvalue-ссылки (объект точки настройки)
iter_move (C++20)	преобразует результат разыменования базового итератора в соответствующий ему тип rvalue-ссылки (функция)
move (C++11)	преобразует аргумент в xvalue (шаблон функции)
move_if_noexcept (C++11)	преобразует аргумент в xvalue, если конструктор перемещения не выбрасывает исключений (шаблон функции)
forward (C++11)	пересылает аргумент функции, используя аргумент-шаблон типа для сохранения категории значения (шаблон функции)
ranges::move (C++20)	перемещает диапазон элементов в новое место (функциональный объект алгоритма)
ranges::move_backward (C++20)	перемещает диапазон элементов в новое место в обратном порядке (функциональный объект алгоритма)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/iterator/common_iterator/iter_move