c++中如何实现数组的循环右移_c++数组元素位置变换算法【详解】

循环右移是将数组末尾k个元素移至开头,std::rotate默认左旋需换算为n−k步且必须先取模,易出错;三次翻转法(全翻转→前k翻转→后n−k翻转)更直观高效。

什么是循环右移,为什么不能直接用 std::rotate 就完事?

循环右移 k 位,是指把数组末尾 k 个元素整体移到开头,其余元素顺次后移。比如 [1,2,3,4,5] 右移 2 位变成 [4,5,1,2,3]。C++ 标准库确实提供了 std::rotate,但它默认按“左旋”语义设计:传入 std::rotate(begin, new_first, end),其中 new_first 是新序列的起始位置——要实现右移,得先算出等效的左旋点,不是直觉上 “右移 k 就传 k”。容易错算下标,尤其当 k > size 时没取模,会导致越界或逻辑错误。

手写高效原地右移:三次翻转法(O(1) 空间 + O(n) 时间)

核心思路是利用翻转操作的可逆性:右移 k 位 ≡ 先翻转整个数组,再翻转前 k 个,最后翻转后 n−k 个。比逐个移动或额外开数组更省内存,也避免了 std::rotate 的语义混淆。

  • 必须先对 k 取模:k = k % n,否则 k=7 在长度为 5 的数组上会出错
  • 翻转函数要自己写(或用 std::reverse),注意左右边界是闭区间还是左闭右开——std::reverse 用的是迭代器范围 [first, last)
  • 三次翻转顺序不能颠倒,否则得不到右移效果
void rotateRight(std::vector& arr, int k) {
    if (arr.empty()) return;
    int n = arr.size();
    k = k % n; // 关键!防止 k 超出范围
    std::reverse(arr.begin(), arr.end());
    std::reverse(arr.begin(), arr.begin() + k);
    std::reverse(arr.begin() + k, arr.end());
}

std::rotate 实现右移的正确姿势

如果坚持用标准库,就得把“右移 k”转换成“左旋 n−k”,即让第 n−k 个元素成为新起点。但要注意:当 k==0k==n 时,n−k 为 0 或 n,此时 arr.begin() + (n−k) 可能等于 arr.end()std::rotate 接受该迭代器,行为合法,但初学者常在这里触发断言失败(Debug 模式下迭代器有效性检查更严)。

  • 始终用 k = k % n 再计算 left_rotate_steps = n - k
  • 调用形式固定为:std::rotate(arr.begin(), arr.begin() + left_rotate_steps, arr.end())
  • 不要写成 std::rotate(arr.begin(), a

    rr.end() - k, arr.end())
    —— 当 k==0arr.end() - 0 没问题,但易读性差且易漏 %n
void rotateRightStd(std::vector& arr, int k) {
    if (arr.empty()) return;
    int n = arr.size();
    k = k % n;
    int left_steps = n - k;
    std::rotate(arr.begin(), arr.begin() + left_steps, arr.end());
}

边界与性能陷阱:指针数组、自定义类型、小数组优化

如果操作的是原始指针数组(如 int* a),不能直接用 std::vector 版本,需手动管理长度;若元素是大对象(如 std::string),三次翻转中的交换会触发多次拷贝,此时应确保类型支持移动语义(C++11 后默认有),否则性能骤降。另外,对极小数组(n ),三次翻转的函数调用开销可能超过简单循环赋值,但除非 profiler 显示它是瓶颈,否则不必特判。

  • 原始数组右移需额外传入 size 参数,且翻转时用 std::swap 手动实现
  • 含非平凡析构/构造类型的数组,确认编译器开启了移动优化(通常默认开启)
  • std::rotate 对随机访问迭代器是线性时间,但对其他迭代器类型(如 list)退化为 O(n²),所以别在 std::list 上套用此逻辑

实际写的时候,三次翻转法最可控;用 std::rotate 则务必把 k % nn−k 换算写清楚,别靠脑补。数组长度为 0 或 1 时所有方法都该立即返回,这点容易被忽略。