java数组长度不可变，根本原因是其作为jvm原生类型，长度值硬编码在对象头后固定偏移位置，不参与反射、不可继承、无法安全修改，且o(1)访问和精确gc依赖该值恒定，修改将破坏内存寻址契约。
Java数组长度“锁死”，不是靠语法限制或程序员约定，而是由JVM底层内存布局和对象模型直接决定的——它根本没留修改的入口。
长度信息藏在对象头后面，不是普通字段
数组对象在堆中不是像普通Java类那样有实例变量。它的长度值被JVM硬编码在对象头之后、元素数据之前的一个固定偏移位置（32位JVM占4字节，64位开启指针压缩也还是4字节）。这个区域：
- 不参与反射：
getDeclaredFields()查不到 length 字段 - 不能被继承或重写：数组没有父类，也不是Class的子类
- 无法用
Unsafe安全修改：强行覆写会导致后续所有访问指令（如iaload）校验失败，直接抛出ArrayIndexOutOfBoundsException
创建即定长，初始化就是一次内存拍板
无论你用哪种方式初始化，长度都在那一刻永久写入：
-
int[] a = new int[8];→ JVM立即按“头信息+8×4字节”分配连续内存，长度8写进头后槽位 -
String[] b = {"x", "y"};→ JVM扫描字面量个数，确定长度为2，再分配对应空间 -
int[] c;→ 此时c是null，连对象都没诞生，更谈不上长度
之后哪怕把所有元素设为0或null，那个4字节长度槽里的数字也不会变，堆里那块连续内存也不会自动缩容。
改长度等于破坏JVM的寻址契约
数组能实现O(1)随机访问，靠的是地址计算公式：起始地址 + index × 单元素字节宽。这个公式成立的前提是：
- 元素在内存中严格连续
- 总长度已知且不变，才能算出边界（否则每次访问都得动态查长度）
- GC需要精确识别对象末尾，避免扫描越界或漏回收
如果允许运行时改length，JVM就得重新计算内存边界、搬移数据、更新所有引用——这会彻底瓦解数组作为原生高效结构的设计根基。
所谓“可变”，只是换了引用，不是动了原数组
你看到的“长度变了”，其实是让数组变量指向了一个新数组：
-
arr = new int[10];→ 原来长度5的数组还在堆里（等待GC），arr现在指向一块全新的、长度10的内存 - 旧数组对象本身从没被修改过，它的length字段始终是5
- 这种“假扩容”本质是对象替换，不是结构变形
真正想改大小，只能手动新建+复制——因为JVM压根没提供任何接口去触碰那个埋在对象头后面的长度值。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
