不能直接用 std::rotate 因其依赖迭代器类型、老编译器可能退化为 O(n) 搬移，且嵌入式场景需确定性行为；三步翻转法需先 k %= n，再依次翻转整体、前 k 个、后 n−k 个元素，并处理 n==0 或 k==0 的边界。
为什么不能直接用 std::rotate？
多数人第一反应是调用 std::rotate，它确实原位、O(n) 时间、O(1) 空间。但问题在于：它的实现依赖迭代器类型——对原始数组（如 int*）必须包装成 std::span 或用指针构造迭代器，且某些老编译器（如 GCC 4.8）的 std::rotate 在随机访问迭代器上未必走最优的三步翻转，可能退化为逐个搬移。如果你在嵌入式环境或需确定性行为的场景下，手动实现更可控。
三步翻转法怎么写才不出错？
核心逻辑是：将长度为 n 的数组向右移动 k 步，等价于先翻转整个数组，再翻转前 k 个元素，最后翻转后 n-k 个元素。左移则把 k 替换为 n - k % n。关键细节：
-
k必须先取模：k = k % n，否则k >= n时翻转逻辑崩溃 - 翻转函数必须严格处理边界：翻转区间
[left, right)还是[left, right]？标准做法是[first, last)，即last指向末尾+1位置 - 当
n == 0或k == 0时必须提前返回，避免空区间操作引发未定义行为
示例（右移 k 步）：
void rotate_right(int* arr, int n, int k) {
if (n <= 1 || k == 0) return;
k = k % n;
auto reverse = [](int* a, int i, int j) {
while (i < j) {
std::swap(a[i++], a[--j]);
}
};
reverse(arr, 0, n);
reverse(arr, 0, k);
reverse(arr, k, n);
}用 GCD 分组交换法时，i % n 和 (i + k) % n 怎么配对？
这是真正零辅助内存、缓存友好、且无需额外翻转函数的方法，适合大数组或对指令级性能敏感的场景。本质是把数组看作一个置换环，环的数量等于 gcd(n, k)，每个环内做轮换。常见坑：
立即学习“C++免费学习笔记（深入）”；
- 起始点必须遍历
0到gcd(n,k)-1，而不是从0开始跑一遍 —— 否则会漏环 - 环内移动时，临时变量只存一个元素，用
temp = arr[i]启动，然后不断把arr[(i + k) % n]赋给arr[i]，再更新i = (i + k) % n - 循环终止条件不是
i == 0，而是当回到起点时，该环结束；需记录已处理位置数，或用计数器控制总移动次数为n
简版实现（右移）：
void rotate_gcd(int* arr, int n, int k) {
if (n <= 1 || k == 0) return;
k = k % n;
int cycles = std::gcd(n, k);
for (int start = 0; start < cycles; ++start) {
int temp = arr[start];
int i = start;
do {
i = (i + k) % n;
std::swap(temp, arr[i]);
} while (i != start);
}
}移动距离 k 是负数或运行时未知怎么办？
C++ 不支持负索引模运算直接得出等效正偏移，-k % n 在 C++ 中结果可能为负（取决于编译器），必须手动规整：
- 统一转为非负等效值：
k = ((k % n) + n) % n - 如果
k来自用户输入或网络，务必检查n == 0再做模运算，否则除零 - 若
k极大（比如LLONG_MAX），先模n再调整，避免溢出
别指望编译器帮你优化掉冗余模运算——在循环体内反复计算 (i + k) % n 会拖慢性能，应提前算好 k_mod = ((k % n) + n) % n 并复用。
真正难的不是写出能跑的代码，而是确保 k 的符号、大小、与 n 的关系在每一步都显式可控；一旦漏掉 % n 或误用闭区间翻转，数组就 quietly 错位了。
