Java数组拷贝本质是堆内存中对象的复制行为，基本类型数组拷贝数值实现深拷贝，引用类型数组仅拷贝地址属浅拷贝；System.arraycopy调用native内存指令，Arrays.copyOf先堆分配再搬运，clone()基于对象头位拷贝。
Java 数组拷贝方法与内存模型不是割裂的两套体系，而是紧密咬合的设计：数组作为堆中连续分配的对象，其拷贝行为直接受限于 JVM 的内存布局、类型安全机制和运行时校验逻辑。理解这种兼容性，关键在于看清每种拷贝方式如何与堆内存、引用语义、类型检查层级协同工作。
数组在堆中的存储结构决定拷贝本质
所有数组（无论基本类型还是引用类型）都是堆中对象，包含 length 字段和连续元素块。拷贝操作不改变这个结构，只是复制这块内存区域的内容：
- 基本类型数组（如 int[]）：拷贝的是数值本身，新旧数组在堆中占据不同地址，互不影响
- 引用类型数组（如 String[]）：拷贝的是每个元素的引用值（即对象地址），而非对象实例——这天然就是浅拷贝
- 多维数组（如 int[][]）：外层数组是对象，内层数组也是对象；copyOf 或 arraycopy 只复制外层引用，内层数组仍共享
System.arraycopy 与 JVM 内存搬运指令直接对齐
它绕过 Java 层循环和边界检查，调用 native 级内存指令（如 memmove），因此必须严格遵循内存模型约束：
- 源与目标数组必须位于可寻址堆内存范围内，否则触发 ArrayIndexOutOfBoundsException
- 类型兼容性检查发生在 native 入口前：JVM 验证 src 和 dest 的 Class 对象是否匹配（如 Integer[] → Object[] 允许，但 Integer[] → String[] 在写入时才抛 ArrayStoreException）
- 当 src == dest 时，属于原地重排——JVM 根据 srcPos 与 destPos 大小关系自动选择正向或逆向搬运，避免覆盖，这依赖于内存地址的线性顺序保证
Arrays.copyOf 等封装方法隐含堆分配行为
它们先调用 new 在堆上创建目标数组，再调用 arraycopy 搬运数据，因此涉及两次内存操作：
立即学习“Java免费学习笔记（深入）”；
- 扩容时（newLength > original.length），新增位置按类型填默认值：0（数值）、false（boolean）、null（引用）——这是 JVM 堆初始化语义的体现
- 泛型擦除后，<T> T[] copyOf(T[], int) 实际生成的是具体运行时类型数组，编译器通过桥接方法确保类型安全，但最终仍由堆对象承载
- 若原数组为局部变量引用，拷贝后新数组仍存活在堆中，不受栈帧销毁影响
clone() 方法体现对象头与数组元数据一致性
数组继承自 Object，其 clone() 是 JVM 特殊支持的浅拷贝实现，直接复用对象头信息：
- 返回数组与原数组具有完全相同的运行时类型（包括维度），例如 byte[][].clone() 结果仍是 byte[][]，不可赋给 Object[][] 而不转型
- 不检查元素内容合法性——哪怕 Object[] 中混入非法类型，克隆后仍能通过编译；真正校验延后到后续赋值或 arraycopy 时
- 该方法不触发 finalize 或构造函数，符合堆对象“位拷贝”语义，是内存模型下最轻量的副本生成方式
