std::ranges:: rotate_copy, std::ranges:: rotate_copy_result
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
>
|
(1) | (начиная с C++20) |
|
template
<
ranges::
forward_range
R,
std::
weakly_incrementable
O
>
requires
std::
indirectly_copyable
<
ranges::
iterator_t
<
R
>
, O
>
|
(2) | (начиная с C++20) |
|
Вспомогательные типы
|
||
|
template
<
class
I,
class
O
>
using rotate_copy_result = in_out_result < I, O > ; |
(3) | (начиная с C++20) |
Копирует
левый поворот
диапазона
[
first
,
last
)
в
result
.
[
first
,
last
)
таким образом, что в целевом диапазоне элементы из
[
first
,
middle
)
размещаются после элементов из
[
middle
,
last
)
при сохранении порядка элементов в обоих диапазонах.
[
first
,
middle
)
либо
[
middle
,
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
Смотрите также
|
(C++20)
|
изменяет порядок элементов в диапазоне
(функциональный объект алгоритма) |
|
(C++20)
(C++20)
|
копирует диапазон элементов в новое место
(функциональный объект алгоритма) |
|
копирует и поворачивает диапазон элементов
(шаблон функции) |