java基本类型数组的连续性指元素数据区逻辑连续、紧密排列,而非物理内存绝对连片;其寻址公式baseaddress+16+i×4依赖该逻辑连续性实现o(1)访问,并带来缓存友好和不可扩容等特性。

Java中基本类型数组的“连续性”不是指物理内存绝对连成一片,而是指数组对象内部元素数据区逻辑连续、紧密排列。理解这一点,才能真正吃透寻址公式和性能表现。
连续性的真实含义:逻辑连续 ≠ 物理连续
基本类型数组(如 int[]、double[])在堆中作为一个整体对象分配。它的内存布局固定包含三部分:
- 对象头(Header):含 Mark Word 和 Klass Pointer,通常占12字节(开启压缩指针时)
- length 字段:4字节,存储数组长度
- 元素数据区(Data):从 length 后紧挨着开始,按类型大小一字排开,无空隙
例如 int[] arr = new int[3];,JVM 会申请一块至少 12 + 4 + 3×4 = 28 字节的内存空间,其中后12字节就是存放 0, 0, 0 的连续区域。虽然 GC 可能将这块对象分散到不同内存页(物理不连续),但 JVM 保证该数据区在对象内偏移可预测、无间隙——这正是寻址可行的前提。
寻址公式怎么来的?为什么是 base + i × size
访问 arr[i] 时,JVM 不查表也不遍历,而是直接计算地址:
简化为常见形式:
-
baseAddress是整个数组对象起始位置(即对象头开头) - 前16字节是对象头(12字节)+ length(4字节);不同 JVM 配置下可能为12或24,但恒定不变
- 因为元素紧密排列,第
i个int必然距数据区起点i × 4字节
这个线性关系成立,才让访问时间稳定为 O(1)。若中间有填充或跳变,就无法用简单乘法定位。
连续性如何影响实际编码行为
连续布局带来两个关键后果,开发者必须意识到:
-
CPU 缓存友好:读取
arr[0]时,CPU 往往预加载后续几十字节(一个 cache line),接着访问arr[1]、arr[2]几乎无需新内存访问,大幅提升遍历性能 -
无法原地扩容:想在末尾加一个元素?当前数据区后未必有空闲空间。所以
Arrays.copyOf()实际是申请新连续块、复制数据、丢弃旧对象——本质是“换地重建”,不是“伸展原地” -
越界检查成本低:只需比对
i ,无需扫描内存,因 length 字段就在对象头后固定偏移处
对比引用类型数组,突显基本类型的“真连续”
String[] s = new String[3]; 的数据区也连续,但它存的是三个 4 字节(压缩指针)的地址,比如 0x1a2b、null、0x3c4d。这些地址指向的字符串对象本身散落在堆各处——数组连续,但所指对象不连续。
而 int[] a = {1, 2, 3}; 的数据区里,就是实实在在的 0x00000001、0x00000002、0x00000003 这12个字节紧挨着。这是基本类型数组独有的“值连续”特性,也是它成为高性能底层载体的根本原因。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











