std::rotate不能直接使用是因为其内部实现不保证纯循环移位语义，当k与n不互质时可能采用三次反转而非循环链置换；需手动按gcd(n,k)个独立循环链处理，每链长度n/gcd(n,k)，并注意k取模、零值特判及避免循环内取模以优化性能。
为什么不能直接用 std::rotate 就完事？
多数人第一反应是调 std::rotate，它确实原位、O(n) 时间、O(1) 空间。但问题在于：标准库实现不保证“纯循环移位”语义——比如当移动步长 k 与数组长度 n 不互质时，std::rotate 内部可能用三次反转（reverse）实现，而非真正按循环链走。这本身没问题，但如果你需要精确控制每轮置换的轨迹（比如调试、嵌入式环境验证、或配合特定硬件访存模式），就得自己写基于最大公约数分解的循环置换。
怎么手动拆解成独立循环链？
核心思路是把长度为 n 的数组、左移 k 位（等价于右移 n-k），看作一个置换：每个下标 i 映射到 (i + k) % n。这个置换可分解为 gcd(n, k) 个不相交的循环，每个循环长度为 n / gcd(n, k)。必须逐个处理每个循环，否则会漏元素或重复覆盖。
- 先算
g = std::gcd(n, k)（C++17 起有std::gcd；老标准可用欧几里得手写） - 外层循环跑
g次，起始点分别是0, 1, ..., g-1 - 对每个起点
start，用临时变量tmp拉出首元素，然后沿循环链：start → (start + k) % n → (start + 2*k) % n → ...，直到回到start
示例：数组 [1,2,3,4,5,6] 左移 2 位（n=6, k=2, g=2），循环链是 0→2→4→0 和 1→3→5→1，共两轮。
容易踩的坑：k 超出范围或为 0
k 未取模就直接参与计算，会导致 (i + k) % n 中 k 过大，虽不影响结果但增加取模开销；更危险的是 k == 0 或 k == n 时，gcd(n,0) 是 n，导致外层循环跑 n 次，每轮只动 1 个元素——O(n²) 时间退化。必须提前规约：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 用
k = k % n，若结果为 0 直接返回 - 避免对
k == 0做任何循环 - 注意
std::gcd对第二个参数为 0 的行为：C++17 规定std::gcd(a,0) == std::abs(a)，所以std::gcd(n,0)得n，不是想要的 1
性能关键：别在循环里反复取模
每次算 (i + k) % n 都是除法，慢。实际中 k 已确保，所以可用条件减法替代：
int next = i + k; if (next >= n) next -= n;
这比取模快得多，尤其在嵌入式或高频调用场景。另外，编译器未必能自动优化 % n 成减法，特别是当 n 非 2 的幂时。手动展开更可控。
真正难的不是写对逻辑，而是确认你面对的是哪种移位需求：是否要兼容 k > n？是否要支持负移位？是否要求严格 O(n) 且常数因子极小？这些细节一变，边界处理和循环结构就得重审。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
