Java数组长度不可变是JVM为兼顾内存、安全与性能而做的底层设计选择：其定长内存布局支持O(1)寻址、精确GC、JIT优化；length作为final字段构成对象身份核心，保障语义一致性、反射与泛型正确性；边界检查、JNI及安全机制均依赖长度静态可知；变长需求由ArrayList等上层集合封装实现。
Java 数组长度不可变，不是语法上的“限制”，而是 JVM 层面对内存、安全与性能三者权衡后做出的底层设计选择。
数组是 JVM 原生对象，需要确定的内存布局
Java 数组（如 int[]、String[]）在 JVM 中属于第一类对象，由 newarray 或 anewarray 指令直接创建，在堆上分配连续、定长的内存块。这种结构必须在创建时就明确总大小，原因包括：
- 地址计算依赖固定偏移：下标访问 arr[i] 的物理地址 = 起始地址 + i × 单元素字节数，无需查表或跳转，保证 O(1) 时间复杂度
- GC 需精确识别对象边界：JVM 垃圾回收器靠对象头和长度推断内存范围；若长度可变，边界将动态漂移，极易漏回收或越界扫描
- JIT 编译器可据此优化：比如循环展开、边界检查消除（BCE），都建立在 length 是 final 且恒定 的前提上
类型系统与对象语义要求 length 具有身份一致性
数组的长度不是普通字段，而是其逻辑身份的一部分。一旦创建，它就定义了该对象的容量契约：
- length 是 final 字段，JVM 保证其值从不改变——这使 equals/hashCode 等方法能可靠实现，也避免“同一个数组对象在不同时间具有不同容量”的语义混乱
- 编译期和反射机制均依赖长度信息：比如多维数组维度校验、泛型擦除后的运行时类型推导、MethodHandle 绑定等，都需要 length 在对象生命周期内稳定
- 若允许修改 length，等于允许篡改对象本质结构，破坏 Java 对象“状态封闭性”的基本模型
安全与并发模型建立在长度不可变基础之上
Java 的边界检查、沙箱机制、JNI 互操作，全都隐式假设数组长度静态可知：
立即学习“Java免费学习笔记（深入）”；
- 每次数组访问前的 ArrayIndexOutOfBoundsException 检查，都基于创建时确定的 length 值；若 length 可变，检查与实际访问之间可能因多线程竞争而错位，引发越界读写
- JNI 接口直接暴露数组底层数组指针和长度字段给 C/C++ 代码；Java 层若动态改长，本地代码无法同步感知，极易造成内存踩踏或缓冲区溢出
- 模块系统和安全管理器依赖数组结构的可预测性来实施访问控制，动态扩容会引入不可控的内存行为
变长需求由更高层抽象分担
Java 并未忽视灵活性需求，而是将“可变长度”职责交给语义更丰富、实现更复杂的集合类：
- ArrayList 封装数组并管理扩容逻辑（复制+新建），把内存重分配成本显式化、可控化
- Arrays.copyOf() 等工具方法提供便捷的“扩容假象”，但本质仍是创建新对象，不破坏原数组语义
- 这种分层设计让底层保持简洁高效，上层按需扩展功能，符合 Unix 哲学中的“做一件事，并做好”
