std::rotate是唯一专为区间循环移位设计且不产生额外拷贝的标准算法,通过三次反转支持重叠区间,时间o(n)、空间o(1),对trivially copyable类型常优化为memmove,对可移动类型调用移动构造/赋值。

直接用 std::rotate —— 它是标准库中唯一专为区间循环移位设计、且不产生额外对象拷贝的算法。
为什么 std::rotate 是首选,而不是 std::move 或 std::copy
std::move 不移动内存,只转换单个对象为右值引用;它不能处理“把一段连续元素整体挪到别处”这种需求。误用 std::move(first, last, dest) 移动重叠区间,会提前覆盖未读取的源元素,导致未定义行为(UB)。
std::copy 在源目标重叠时行为未定义,哪怕加了 std::make_move_iterator 也一样 —— 标准明确禁止。很多人以为“用了 move 就安全”,其实只是掩盖了越界或覆盖问题。
-
std::rotate内部通过三次反转实现,天然支持重叠,时间 O(n)、空间 O(1) - 对 trivially copyable 类型(如
int、float、POD struct),编译器通常内联为memmove或更优指令 - 对可移动类型(如
std::string、自定义类),它会调用移动构造/赋值,而非拷贝——前提是类真正实现了T(T&&)且未被=delete
怎么写才不出错:参数顺序与边界细节
std::rotate 的三个迭代器参数含义是:[first, middle) 和 [middle, last) 两段交换位置。不是“左移 k 位”或“右移 k 位”的直觉接口,必须换算。
- 把后 k 个元素移到开头(等效循环右移 k):
std::rotate(v.begin(), v.end() - k, v.end()),注意先做k %= v.size() - 把前 k 个元素移到末尾(等效循环左移 k):
std::rotate(v.begin(), v.begin() + k, v.end()) - 对原生数组:
std::rotate(arr, arr + offset, arr + size),不能传错指针,尤其arr + size必须是合法末尾地址 - 若
middle超出[first, last)范围(比如 k 超长又没取模),行为未定义
自定义类型移动失效?检查这三点
表面调用了 std::rotate,但性能暴跌,大概率是移动语义没生效,退化成深拷贝。
- 类必须声明移动构造函数
T(T&&)且未被=delete;成员变量也得支持移动(例如std::vector成员默认支持,裸指针需手动管理) - 移动操作应标记
noexcept,否则某些标准库实现(如std::vector::resize内部)会回避移动而选拷贝 - 确认是否真走移动路径:加断点或在移动构造函数里打日志,避免依赖“看起来像移动了”的错觉
什么情况下该放弃 std::rotate,改用 memmove
仅当同时满足以下条件时,memmove 才是更优选择:
- 目标是裸数组(非容器),且元素类型是
trivially_copyable(如int[1024]、struct {double x,y;}) - 编译器老旧(C++11 之前),或你明确需要零抽象开销(比如嵌入式、高频实时路径)
- 你已用 profiler 确认
std::rotate是瓶颈,且memmove实测更快
注意:memcpy 不行——它不处理重叠内存;memmove 才是安全替代。但绝大多数现代代码,std::rotate 已足够快,且更安全、更可读。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











