怎么通过 System.arraycopy() 实现数组的原地左右移动并处理重叠区域的内存安全

怎么通过 System.arraycopy() 实现数组的原地左右移动并处理重叠区域的内存安全

开门见山地说，System.arraycopy() 这个工具本身并不具备“智能”处理原地移动时内存重叠的能力。它本质上是一个高效的底层内存块搬运工，当源和目标区域重叠时，其行为完全取决于你给的参数和复制方向。这意味着，**保证逻辑正确的责任，完全落在了调用者身上**。所谓的“原地移动”，比如实现数组的循环左移或右移，其核心诀窍就在于**如何巧妙地拆分步骤，主动避开数据被意外覆盖的风险**。

为什么 arraycopy 在重叠时可能出错？

当源数组和目标数组是同一个，并且它们的复制范围有交集时，情况就变得微妙了：
• 如果执行的是从左往右复制（即 srcPos < destPos），那么后方的数据还没来得及被读取，就可能已经被前面的数据覆盖掉了。
• 反过来，如果是从右往左复制（srcPos > destPos），则前面的数据又可能被提前覆盖。
关键在于，arraycopy 不会帮你做重叠检测和智能处理，它只是忠实地、按顺序地拷贝字节，结果自然就不可靠了。

实现左移 k 位（循环左移）

我们的目标很明确：把数组 a[0..n-1] 整体循环左移 k 位，最终得到 a[k%n], a[k%n+1], ..., a[k%n-1]。
安全的做法是分三步走，通常需要两次 arraycopy 外加一个临时空间（或者巧妙地复用数组尾部）：

• 第一步：保存前哨。 先把数组前 k 个元素复制到一个临时数组中（或者，如果你够巧妙，可以暂存到原数组的末尾空闲位置）。
• 第二步：大部队前移。 将数组后 n−k 个元素，整体向前移动 k 位。此时调用参数是 (srcPos = k, destPos = 0, length = n−k)。注意，这里源位置在目标位置之后，属于“从右往左”复制，是安全的。
• 第三步：前哨归位。 最后，把第一步暂存起来的那 k 个元素，填回到数组末尾的空位上。参数为 (srcPos = 0, destPos = n−k, length = k)。此时源位置在目标位置之前，复制方向安全。

来看一个具体的例子（左移2位）：
原数组：[1, 2, 3, 4, 5]
→ 暂存前两位：[1, 2]
→ 后三位前移后：[3, 4, 5, 4, 5]（注意，末尾两位4和5是冗余的，将被覆盖）
→ 暂存数据填回末尾：[3, 4, 5, 1, 2]
看，目标达成了。

实现右移 k 位（循环右移）

循环右移其实可以转化为循环左移来处理——右移 k 位，等价于左移 n−k 位。当然，也可以直接分步操作：
• 暂存后卫： 先保存数组最后 k 个元素。
• 主力后撤： 将数组前 n−k 个元素，整体向后移动 k 位。调用参数为 (srcPos = 0, destPos = k, length = n−k)。这是“从左往右”复制，源位置在前，目标位置在后，安全。
• 后卫顶上： 最后把暂存的那 k 个元素，填回到数组的开头。这一步源和目标没有重叠，绝对安全。

更简洁：用三次反转代替拷贝（无需临时空间）

这里分享一个更优雅、无需额外临时数组的技巧：通过三次反转操作来实现循环右移 k 位。
具体步骤是：
1. 反转数组的前 n−k 个元素，即区间 [0, n−k−1]。
2. 反转数组剩余的后 k 个元素，即区间 [n−k, n−1]。
3. 反转整个数组 [0, n−1]。
每一步的反转操作，你既可以用 arraycopy 配合一个临时变量来交换首尾元素，也可以直接写一个清晰的 for 循环来完成交换。这种方法完全规避了重叠复制的问题，逻辑非常直观。

总结一下，原理其实不复杂，但很容易被忽略：arraycopy 的重叠安全性，完全由调用时的 srcPos、destPos 相对位置和 length 决定。只要理解了这个机制，通过拆分步骤、控制好复制方向，就完全可以在不分配额外完整数组的情况下，安全、高效地完成数组的原地移位。这考验的不是 API 有多智能，而是开发者对数据流向的掌控力。