std::rotate 是零拷贝原位循环移动的最优解：通过三步翻转在 o(n) 时间、o(1) 空间内完成，仅交换元素，不调用拷贝构造或赋值，且自动适配 adl swap；手写时须先对 k 取模防越界，并处理空区间。
用 std::rotate 实现零拷贝原位循环移动
标准库已提供最优解：std::rotate 在随机访问迭代器（如 std::vector、原生数组）上是 O(n) 时间、O(1) 空间，且不调用元素的拷贝构造或赋值——它通过三步翻转（reverse）完成，底层只做元素交换（std::swap），对 trivially copyable 类型甚至可能被编译器优化为 memmove。
常见误用是手动写三层 for 循环或逐个挪位，既易错又无法避免多次拷贝；而 std::rotate 是经过充分测试、适配各类迭代器和类型特性的工业级实现。
- 对
std::vector<int></int>或int arr[100]，直接传入迭代器/指针即可 - 移动 k 位左循环：等价于
std::rotate(first, first + k, last)（注意：k 要先对长度取模） - 若元素类型重载了
swap或支持 ADLswap，会自动调用，避免深拷贝
手写三步翻转时如何避免越界与符号错误
当不能依赖 STL（如裸数组 + freestanding 环境），需手写三步翻转。核心逻辑是：reverse(a, a+k); reverse(a+k, a+n); reverse(a, a+n);。但 k 的处理极易出错：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- k 必须先归一化为
k %= n，否则first + k可能越界 - 右循环移 m 位 ≡ 左循环移
n - m % n位，别硬套公式，统一转成左移再算 - 对空区间（
n == 0或k == 0）必须提前返回，否则reverse可能触发未定义行为 - 手写
reverse时用while (first ，而非 <code>for (int i=0; i<n>，避免整数溢出和指针算术错误</n>
移动非 trivial 类型时 swap 与 move 的实际开销差异
对于 std::string、std::vector 等含动态内存的类型，std::rotate 内部调用的是 std::swap，而现代标准库的 swap 对这些类型是 O(1) 指针交换（move-aware）。但前提是类型满足 MoveConstructible 和 MoveAssignable。
- 若类禁用了移动操作（如显式删除了移动构造函数），
std::rotate会回落到拷贝——此时必须检查是否定义了noexcept移动操作 - 自定义类型务必提供
friend void swap(T&, T&) noexcept，否则 ADL 查找失败，退化为拷贝 - 用
static_assert(std::is_nothrow_swappable_v<t>)</t>可在编译期捕获风险
原生数组指针传参时的常见陷阱
对 int arr[N] 调用 std::rotate 时，不能直接写 std::rotate(arr, arr + k, arr + N) —— 这看似正确，但若 k > N 且未取模，行为未定义；更隐蔽的问题是数组退化为指针后丢失长度信息，容易在封装函数中误算边界。
- 推荐封装为模板函数：
template<size_t n> void rotate_left(int (&arr)[N], size_t k)</size_t>，这样N是编译期常量，可做安全断言 - 避免把原生数组传给接受
int*的函数后再算长度——没有运行时长度，sizeof在函数内失效 - 若必须用指针接口，调用方要确保
k ，且文档明确标注“caller must ensure bounds”
真正难的不是写出三步翻转，而是让所有边界条件、类型特性、指针生命周期都在编译期或静态断言中暴露出来。只要没做 k %= n 或忘了 noexcept swap，就可能在线上跑几天才暴露异常行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
