Namespaces
Variants

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

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Constrained algorithms
All names in this menu belong to namespace std::ranges
Non-modifying sequence operations
Modifying sequence operations
Partitioning operations
Sorting operations
Binary search operations (on sorted ranges)
Set operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Permutation operations
Fold operations
Operations on uninitialized storage
Return types
Определено в заголовке <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 .

Функциональные сущности, описанные на этой странице, являются algorithm function objects (неформально известными как niebloids ), то есть:

  • Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
  • Ни один из них не видим для argument-dependent lookup .
  • Когда любой из них найден с помощью normal unqualified lookup как имя слева от оператора вызова функции, argument-dependent lookup блокируется.

Содержание

Параметры

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

Смотрите также

изменяет порядок элементов в диапазоне
(функциональный объект алгоритма)
копирует диапазон элементов в новое место
(функциональный объект алгоритма)
копирует и поворачивает диапазон элементов
(шаблон функции)