循环右移是将数组末尾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==0 或 k==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(), arr.end() - k, arr.end())—— 当k==0时arr.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 显示它是瓶颈,否则不必特判。
立即学习“C++免费学习笔记(深入)”;
- 原始数组右移需额外传入
size参数,且翻转时用std::swap手动实现 - 含非平凡析构/构造类型的数组,确认编译器开启了移动优化(通常默认开启)
-
std::rotate对随机访问迭代器是线性时间,但对其他迭代器类型(如 list)退化为 O(n²),所以别在std::list上套用此逻辑
实际写的时候,三次翻转法最可控;用 std::rotate 则务必把 k % n 和 n−k 换算写清楚,别靠脑补。数组长度为 0 或 1 时所有方法都该立即返回,这点容易被忽略。










