循环右移是将数组末尾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<int>& 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 模式下迭代器有效性检查更严）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 始终用
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<int>& 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 <= 3），三次翻转的函数调用开销可能超过简单循环赋值，但除非 profiler 显示它是瓶颈，否则不必特判。
立即学习“C++免费学习笔记（深入）”；
- 原始数组右移需额外传入
size参数，且翻转时用std::swap手动实现 - 含非平凡析构/构造类型的数组，确认编译器开启了移动优化（通常默认开启）
-
std::rotate对随机访问迭代器是线性时间，但对其他迭代器类型（如 list）退化为 O(n²)，所以别在std::list上套用此逻辑
实际写的时候，三次翻转法最可控；用 std::rotate 则务必把 k % n 和 n−k 换算写清楚，别靠脑补。数组长度为 0 或 1 时所有方法都该立即返回，这点容易被忽略。
