java数组在堆中逻辑连续但物理地址未必连续，其内存布局含对象头、length字段和元素数据，元素按类型大小紧密排列，索引访问时间复杂度为o(1)。
Java数组在堆内存中是连续存储的，但这种“连续”仅体现在逻辑上，而非物理地址的绝对连续。JVM规范不强制要求物理内存必须连续，现代垃圾收集器（如G1、ZGC）常使用分代、分区或压缩机制，导致数组对象的实际内存页可能分散。不过，对开发者而言，数组元素在对象内部布局中是紧密排列的，JVM保证其索引访问的时间复杂度为O(1)，这依赖于可预测的偏移量计算。
数组对象在堆中的内存布局
一个Java数组对象由三部分组成：对象头（Header）、数组长度（length字段）和实际元素数据（Data）。其中：
- 对象头包含Mark Word和Klass Pointer，占用固定大小（通常12字节，开启指针压缩时）
- length字段占4字节（int类型），紧跟对象头之后
- 元素数据从length之后开始，按元素类型大小紧密排列，无填充间隙（除对齐需要）
元素地址的计算方式
给定数组引用arr和索引i，JVM通过以下公式计算第i个元素的起始地址（伪代码逻辑）：
elementAddress = baseAddress(arr) + arrayHeaderSize + i × elementSize
其中：
- baseAddress(arr) 是数组对象首地址（即对象头起始位置）
- arrayHeaderSize 一般为16字节（12字节对象头 + 4字节length字段），具体取决于JVM配置（如是否开启UseCompressedOops）
- elementSize 取决于元素类型：byte/boolean为1，short/char为2，int/float为4，long/double为8，引用类型（如String[]）在64位JVM中通常为4字节（开启压缩指针）或8字节（未开启）
为什么不能直接获取或操作数组地址
Java语言层屏蔽了内存地址细节，所有数组访问都经由字节码指令（如iaload、aaload）完成，由JVM运行时保障安全性和一致性：
- 越界访问会触发ArrayIndexOutOfBoundsException，而非野指针错误
- JIT编译器可能将简单循环中的数组访问优化为无边界检查的机器码（配合range check elimination）
- Unsafe类虽提供getLong(array, offset)等底层操作，但需绕过Java安全模型，且offset必须基于arrayBaseOffset动态计算，不可硬编码
实际影响与注意事项
理解该机制有助于写出更高效的数组代码：
- 优先使用基本类型数组（如int[]）而非包装类数组（如Integer[]），避免对象头和引用间接开销
- 多维数组推荐用一维模拟（int[rows * cols]），减少对象创建和引用跳转
- 大数组分配可能触发堆内存整理，若频繁创建销毁，考虑对象池或复用数组实例
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
