如何通过 System.arraycopy() 实现数组原地扩容及探究其内存搬运效率原理？

本文共计791个文字，预计阅读时间需要4分钟。

相关专题

system.arraycopy() 本身不能直接实现“就地扩容”，因为 java 数组在创建后长度固定，内存空间不可伸缩；所谓“就地扩容”是一种常见误解。真正高效的做法是：**分配一个更大的新数组，再用 arraycopy 把旧数据快速复制过去，最后让引用指向新数组**——这看似两步，但核心性能优势正来自 arraycopy 的底层实现。

为什么 arraycopy 比 for 循环快？关键在本地方法与内存块搬运

System.arraycopy() 是 JVM 提供的 本地方法（native），由 C/C++ 实现，不经过 Java 字节码解释或 JIT 编译的通用循环逻辑。它直接调用类似 memcpy 或 memmove 的底层内存操作：

• 一次指令批量搬运连续内存块，避免逐个元素读写、边界检查和类型校验的开销
• 可利用 CPU 的 SIMD 指令（如 SSE/AVX）并行拷贝多个字节
• 对齐优化：当源/目标地址和长度满足对齐条件时，采用更高效的搬运路径
• 对于对象数组，JVM 还能跳过 write barrier 的部分场景（如年轻代内拷贝），进一步提速

模拟“就地扩容”的标准写法（以 int[] 为例）

下面是一个安全、简洁的扩容辅助方法：

（注意：不是真正在原数组上扩容，而是替换引用）

public static int[] grow(int[] original, int minCapacity) { if (minCapacity <= original.length) return original; int newLength = Math.max(original.length + (original.length >> 1), minCapacity); // 1.5倍增长 int[] grown = new int[newLength]; System.arraycopy(original, 0, grown, 0, original.length); // 关键：高效搬运 return grown; }

调用示例：

int[] arr = {1, 2, 3}; arr = grow(arr, 10); // arr 现在指向长度为 10 的新数组，前3个元素保留

避开常见误区

• 不要尝试“原数组扩容”：Java 中 new int[5] 和 new int[10] 是两块完全独立的堆内存，无法通过 arraycopy 把旧数组“变长”
• srcPos + length 超出源数组范围会抛 ArrayIndexOutOfBoundsException，务必校验
• 目标数组必须已存在且足够大：arraycopy 不负责分配，只搬运；目标长度不足会导致静默截断或异常（取决于偏移）
• 对象数组要注意引用语义：arraycopy 复制的是引用值，不是对象本身，不会触发 clone 或构造

对比 for 循环：实测差距明显

在百万级 int 数组拷贝中，arraycopy 通常比等效 for 循环快 3–10 倍，尤其在大数组时优势更显著。这不是 JVM 优化 for 循环不够好，而是 memcpy-级操作天然比解释执行的循环少几个数量级的指令数和分支预测失败开销。