原位旋转数组的数学本质是将数组分解为gcd(n,k)个不相交的环，每个元素按(i+k)%n映射至目标位置，通过环内轮换实现无额外空间的原地置换。
原位旋转数组的数学本质是什么
数组原位旋转不是靠临时变量一个个搬，而是利用“循环置换”：每个元素最终位置由 (i + k) % n 决定，但直接按顺序赋值会覆盖未处理元素。真正高效的做法是把整个数组拆成若干不相交的环——每个环内元素通过三次异或或一次临时变量轮换归位。环的数量等于 gcd(n, k)，这是避免重复计算的关键。
用三次异或实现单次交换是否安全
对整型数组可用 a ^= b; b ^= a; a ^= b; 实现无临时变量交换，但仅限于两个不同内存地址的变量。如果传入同一地址（如 swap(arr[i], arr[i])），结果是 0 —— 这在旋转中极易因环长度为 1 而触发。实际工程中应始终用临时变量，或使用 std::swap（它内部已做自交换保护）。
- 不要手写异或交换用于旋转逻辑
-
std::swap在 C++11 及以后对内置类型通常编译为最优汇编，无需担心开销 - 若需泛型支持（如自定义类），必须依赖
std::swap的 ADL 查找或特化
如何避免旋转时下标越界和索引错乱
常见错误是直接用 k 做步长却忽略 k > n 或 k 。正确做法是先规约：<code>k = ((k % n) + n) % n。否则 arr[(i + k) % n] 可能算出负索引（模运算在 C++ 中对负数结果非预期），或导致环分解失效。
- 对
vector<int>& nums</int>，先检查nums.empty()，空数组或单元素可直接返回 - 计算环数用
int cycles = gcd(n, k)，gcd可用std::gcd（C++17）或手写欧几里得算法 - 每个环从
start = 0到cycles - 1，内部用current = start，每次更新current = (current + k) % n
std::rotate 是否真的原位且高效
是的。std::rotate(first, middle, last) 是标准库提供的原位旋转接口，底层采用“三重反转法”：先反转 [first, middle)，再反转 [middle, last)，最后反转整个区间。时间复杂度 O(n)，空间 O(1)，且对所有迭代器类型（包括 vector、deque、甚至原生数组指针）都适用。
立即学习“C++免费学习笔记（深入）”；
- 要旋转左移 k 位：调用
std::rotate(nums.begin(), nums.begin() + k, nums.end()) - 注意：
k是新首元素的位置偏移，不是移动步数；左移 k 等价于以第 k 个元素为middle - 若不确定 k 是否合法，仍需提前取模，因为
std::rotate不做边界检查，越界行为未定义
真正难的是理解环分解时的索引跳转节奏，而不是写 swap；一旦搞错起始点或终止条件，就会漏元素或重复操作。调试时建议用长度为 6、k=4 的数组手推两轮，观察下标序列是否覆盖全部 0~5。
