- algorithm[meta header]
- std::ranges[meta namespace]
- function template[meta id-type]
- cpp20[meta cpp]
namespace std::ranges {
template <forward_iterator I,
sentinel_for<I> S,
weakly_incrementable O>
requires indirectly_copyable<I, O>
constexpr rotate_copy_result<I, O>
rotate_copy(I first,
I middle,
S last,
O result); // (1) C++20
template <forward_range R,
weakly_incrementable O>
requires indirectly_copyable<iterator_t<R>, O>
constexpr rotate_copy_result<borrowed_iterator_t<R>, O>
rotate_copy(R&& r,
iterator_t<R> middle,
O result); // (2) C++20
}
- forward_iterator[link /reference/iterator/forward_iterator.md]
- sentinel_for[link /reference/iterator/sentinel_for.md]
- weakly_incrementable[link /reference/iterator/weakly_incrementable.md]
- rotate_copy_result[link ranges_in_out_result.md]
- forward_range[link /reference/ranges/forward_range.md]
- iterator_t[link /reference/ranges/iterator_t.md]
- borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
middle
の要素が先頭、middle-1
の要素が末尾となるように、[first,last)
の要素の並びを回転させ、その結果を出力の範囲へコピーする。
- (1): イテレータ範囲を指定する
- (2): Rangeを直接指定する
[first,last)
と [result,result + (last - first))
の範囲は重なっていてはならない。
0 以上 last - first
未満の整数 i
について、*(result + i) = *(first + (i + (middle - first)) % (last - first))
という操作によって [first,last)
の範囲を [result,result + (last - first))
の範囲へコピーする
回転前の先頭の要素を指すイテレータresult + (last - first)
正確に last - first
回代入する。
#include <algorithm>
#include <iostream>
#include <string>
#include <iterator>
int main() {
std::string str = "rotate";
std::string result;
std::ranges::rotate_copy(str, str.begin() + 2, std::back_inserter(result));
std::cout << result << std::endl;
}
- std::ranges::rotate_copy[color ff0000]
- str.begin()[link /reference/string/basic_string/begin.md]
tatero
- C++20
- Clang: ??
- GCC: 10.1.0 [mark verified]
- ICC: ??
- Visual C++: 2019 Update 10 [mark verified]