std::rotate 是首选方案，因其为标准库提供的零额外内存、O(n) 时间原位解法，内部采用三步翻转法，兼容各类随机访问迭代器，避免手写易错的环状索引问题。
为什么直接用 std::rotate 是首选方案
绝大多数场景下，不需要手写循环移动逻辑——std::rotate 就是标准库为这个问题提供的零额外内存、O(n) 时间的原位解法。它内部采用三步翻转法（reverse(reverse(first, mid), reverse(mid, last)), reverse(first, last)），不依赖额外分配，且对所有随机访问迭代器生效。
常见错误是手动实现时试图用单个临时变量做“逐个搬运”，结果陷入环状索引死循环或漏元素；而 std::rotate 已处理好环分解与起始点选择，兼容 vector、原始数组指针、deque 等。
- 使用方式：
std::rotate(v.begin(), v.begin() + k % v.size(), v.end())（右移 k 位） - k 可为负数或超长，
std::rotate自动模运算并选最优方向 - 对原始数组：传入指针，如
std::rotate(arr, arr + k, arr + n)
手写三步翻转法时最容易错的边界和符号
当必须手写（比如裸机环境、禁用 STL、教学目的），核心是三次 reverse：先翻 [0, n-k)，再翻 [n-k, n)，最后翻整个 [0, n)。关键陷阱不在逻辑，而在 k 的归一化和区间开闭。
典型错误现象：arr = {1,2,3,4,5} 想右移 2 得 {4,5,1,2,3}，但得到 {3,2,1,5,4} 或越界崩溃——多半是 k 没取模，或翻转区间写成 [0, k) 而非 [0, n-k)。
立即学习“C++免费学习笔记（深入）”；
- 务必先算
k = k % n，且处理 k==0 边界（避免空翻转） - 右移 k 等价于把后 k 个挪到前面 → 第一次翻转区间是
[0, n-k)，不是[0, k) - 翻转函数必须支持半开区间：
reverse(first, last)翻[first, last)，别写成reverse(first, last-1)
std::rotate 在小数组或 POD 类型上的性能真实表现
有人担心 std::rotate 有函数调用开销或模板实例化膨胀，实测在优化开启（-O2）下，编译器通常将其实现内联为紧凑指令序列，尤其对 int、float 等 POD 类型，性能与手写无异。
但要注意：若移动对象是非 trivially copyable（如含虚函数、自定义析构的类），std::rotate 仍安全，但会调用移动/交换操作——此时性能取决于类型移动构造成本，而非算法本身。
- 对
vector<int>，Clang/GCC 下std::rotate生成的汇编与手写三步翻转几乎一致 - 对
vector<string>，移动语义启用时开销可控；若禁用移动（C++98 风格），则退化为拷贝，此时应确认是否真需原位——否则考虑 swap+resize 更清晰 - 切勿为“看起来更快”而用
memcpy替代std::rotate处理类对象，这会绕过构造/析构，导致未定义行为
原地循环移动无法避免的隐式成本：缓存局部性断裂
无论用 std::rotate 还是手写，原位移动本质是大量非顺序内存访问：三步翻转中每次 reverse 都是双向遍历，中间步骤会破坏 CPU 缓存行预取模式。对超大数组（GB 级），实际吞吐可能显著低于顺序 memcpy + 临时缓冲。
这不是 bug，而是原位约束下的物理限制。如果 profiling 确认该操作是瓶颈，且内存允许，宁可放弃“零额外内存”要求，用 std::vector 临时存储后整体拷贝——现代机器上 1MB 临时缓冲的延迟远低于反复 cache miss。
真正需要死守原位的场景极少：嵌入式 RAM 极度受限、实时系统堆分配被禁、或算法题强制要求空间复杂度 O(1)。其余情况，“高效”应优先指运行快，而非内存字节少。
