std::ranges::rotate_copy, std::ranges::rotate_copy_result

Определено в заголовке `<algorithm>`
Сигнатура вызова
template< std::forward_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O > requires std::indirectly_copyable<I, O> constexpr rotate_copy_result<I, O> rotate_copy( I first, I middle, S last, O result );	(1)	(начиная с C++20)
template< ranges::forward_range R, std::weakly_incrementable O > requires std::indirectly_copyable<ranges::iterator_t<R>, O> constexpr rotate_copy_result<ranges::borrowed_iterator_t<R>, O> rotate_copy( R&& r, ranges::iterator_t<R> middle, O result );	(2)	(начиная с C++20)
Вспомогательные типы
template< class I, class O > using rotate_copy_result = in_out_result<I, O>;	(3)	(начиная с C++20)

Копирует левый циклический сдвиг [first, last) в result.

1) Копирует элементы из исходного диапазона [first, last) так, что в целевом диапазоне элементы из [first, middle) располагаются после элементов из [middle, last), при этом порядок элементов в обоих диапазонах сохраняется.

Поведение не определено, если [first, middle) или [middle, last) не является допустимым диапазоном либо исходный и целевой диапазоны перекрываются.

2) То же, что и (1), но в качестве исходного диапазона используется r, как если бы ranges::begin(r) использовался в качестве first, а ranges::end(r) — в качестве last.

Описанные на этой странице функциональные объекты являются объектами-функциями алгоритмов (неофициально называемыми niebloids), то есть:

При вызове любого из них нельзя указывать явные списки аргументов шаблона.
Ни один из них не виден для поиска, зависящего от аргументов.
Если любой из них найден при обычном неквалифицированном поиске как имя слева от оператора вызова функции, поиск, зависящий от аргументов, подавляется.

Параметры

first, last	-	пара итератор–сентинел, задающая исходный диапазон элементов для копирования
r	-	исходный диапазон элементов для копирования
middle	-	итератор на элемент, который должен оказаться в начале целевого диапазона
result	-	начало целевого диапазона

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

{last, result + N}, где N = ranges::distance(first, last).

Сложность

Линейная: ровно N присваиваний.

Примечания

Если тип значения является TriviallyCopyable, а типы итераторов удовлетворяют требованиям contiguous_iterator, реализации ranges::rotate_copy обычно избегают множественных присваиваний, используя функцию «массового копирования», например std::memmove.

Возможная реализация

См. также реализации в libstdc++ и MSVC STL.

struct rotate_copy_fn
{
    template<std::forward_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O>
    requires std::indirectly_copyable<I, O>
    constexpr ranges::rotate_copy_result<I, O>
        operator()(I first, I middle, S last, O result) const
    {
        auto c1 {ranges::copy(middle, std::move(last), std::move(result))};
        auto c2 {ranges::copy(std::move(first), std::move(middle), std::move(c1.out))};
        return {std::move(c1.in), std::move(c2.out)};
    }

    template<ranges::forward_range R, std::weakly_incrementable O>
    requires std::indirectly_copyable<ranges::iterator_t<R>, O>
    constexpr ranges::rotate_copy_result<ranges::borrowed_iterator_t<R>, O>
        operator()(R&& r, ranges::iterator_t<R> middle, O result) const
    {
        return (*this)(ranges::begin(r), std::move(middle),
                       ranges::end(r), std::move(result));
    }
};

inline constexpr rotate_copy_fn rotate_copy {};

Пример

#include <algorithm>
#include <iostream>
#include <iterator>
#include <vector>

int main()
{
    std::vector<int> src {1, 2, 3, 4, 5};
    std::vector<int> dest(src.size());
    auto pivot = std::ranges::find(src, 3);

    std::ranges::rotate_copy(src, pivot, dest.begin());
    for (int i : dest)
        std::cout << i << ' ';
    std::cout << '\n';

    // copy the rotation result directly to the std::cout
    pivot = std::ranges::find(dest, 1);
    std::ranges::rotate_copy(dest, pivot, std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

Вывод:

3 4 5 1 2
1 2 3 4 5

См. также

ranges::rotate (C++20)	циклически сдвигает порядок элементов в диапазоне (объект-функция алгоритма)
ranges::copyranges::copy_if (C++20)(C++20)	копирует диапазон элементов в новое место (объект-функция алгоритма)
rotate_copy	копирует и циклически сдвигает диапазон элементов (шаблон функции)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/algorithm/ranges/rotate_copy