iter_move(std::counted_iterator)

friend constexpr std::iter_rvalue_reference_t<I>
    iter_move( const std::counted_iterator& i )
        noexcept(noexcept(ranges::iter_move(i.base())))
            requires std::input_iterator<I>;

(с C++20)

Преобразует результат обращений к базовому итератору в соответствующий тип ссылки на rvalue. Поведение неопределено, если i.count() равно 0.

Тело функции эквивалентно return ranges::iter_move(i.base());.

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

Параметры

адаптер итератора-источника

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

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

Сложность

Постоянная.

Пример

#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>
 
void print(auto const& rem, auto const& v)
{
    std::cout << rem << '[' << size(v) << "] {";
    for (char comma[]{0, ' ', 0}; auto const& s : v)
        std::cout << comma << std::quoted(s), *comma = ',';
    std::cout << "}\n";
}
 
int main()
{
    std::vector<std::string> p{"Alpha", "Bravo", "Charlie"}, q;
 
    print("p", p), print("q", q);
 
    using RI = std::counted_iterator<std::vector<std::string>::iterator>;
 
    for (RI iter{p.begin(), 2}; iter != std::default_sentinel; ++iter)
        q.emplace_back(/* ADL */ iter_move(iter));
 
    print("p", p), print("q", q);
}

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

p[3] {"Alpha", "Bravo", "Charlie"}
q[0] {}
p[3] {"", "", "Charlie"}
q[2] {"Alpha", "Bravo"}

См. также

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

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