不能直接用 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 <h3>用 GCD 分组交换法时，<code>i % n</code> 和 <code>(i + k) % n</code> 怎么配对？</h3><p>这是真正零辅助内存、缓存友好、且无需额外翻转函数的方法，适合大数组或对指令级性能敏感的场景。本质是把数组看作一个置换环，环的数量等于 <code>gcd(n, k)</code>，每个环内做轮换。常见坑：</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/gongju/2823" title="C++14"><img
src="https://img.php.cn/upload/manual/001/431/639/6ac8b33c327c4749.png" alt="C++14" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="overflowclass">C++14</a>
<p class="overflowclass">C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。</p>
</div>
<a rel="nofollow" href="/xiazai/gongju/2823" title="C++14" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div>
- 起始点必须遍历
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 <h3>移动距离 <code>k</code> 是负数或运行时未知怎么办？</h3><p>C++ 不支持负索引模运算直接得出等效正偏移，<code>-k % n</code> 在 C++ 中结果可能为负（取决于编译器），必须手动规整：</p>
- 统一转为非负等效值：
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 错位了。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
