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

将 [ first , last ) 的 左旋转 复制到 result 。

本页面描述的函数式实体是 算法函数对象 （非正式称为 niebloids ），即：

• 在调用其中任何一个时，都不能指定显式模板实参列表。
• 它们对 实参依赖查找 均不可见。
• 当通过 常规非限定查找 将其中任何一个作为函数调用运算符左侧的名称找到时，会抑制 实参依赖查找 。

参数

返回值

{ last, result + N } ，其中 N = ranges:: distance ( first, last ) 。

复杂度

线性 ：精确执行 N 次赋值操作。

注释

若值类型满足 可平凡复制 且迭代器类型满足 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';
    // 将旋转结果直接复制到 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

参见