泛型是编译期语法糖，无运行时对象头；数组是jvm一等公民，对象头含mark word、klass pointer和array length字段。
Java 中泛型和数组在 JVM 内存模型层面根本不是同一类东西：泛型是编译期的类型擦除机制，不参与运行时对象结构；数组是实际存在的堆对象，有完整、带长度字段的对象头。它们在内存分配和对象头（Mark Word / Klass Pointer）上不存在可比性，但差异非常关键。
泛型不生成真实类型，无独立对象头
泛型如 List<string></string> 或 ArrayList<integer></integer> 在字节码中被擦除为原始类型（如 List、ArrayList），JVM 运行时只看到裸类型。这意味着：
- 泛型本身不对应任何堆对象，也不占用对象头空间
- 没有自己的 Mark Word 或 Klass Pointer —— 它们属于底层容器对象（如 ArrayList 实例），而非泛型参数
- 类型信息仅保留在 .class 文件的 Signature 属性中，供反射或编译器校验用，运行时不参与内存布局
- 泛型数组（如
T[]）必须通过类型转换（如(T[]) new Object[n]）构造，实际创建的是Object[]，其对象头仍是普通数组结构，不含泛型元数据
数组是真实对象，对象头多出 Array Length 字段
所有数组（int[]、String[]、MyClass[][]）在 JVM 中都是对象，继承自 java.lang.Object，但对象头比普通对象多一个固定字段：
- 普通对象头 = Mark Word（8 字节） + Klass Pointer（4 字节，开启压缩指针时）
- 数组对象头 = Mark Word + Klass Pointer + Array Length（4 字节，32 位整数，不可修改）
- Array Length 字段让
array.length可以零开销访问，也支撑 JVM 的边界检查（如array[5]越界抛ArrayIndexOutOfBoundsException） - 数组的 Klass Pointer 指向特殊类元数据，如
[I（int[]）、[Ljava.lang.String;（String[]），这些在元空间中真实存在
内存分配行为完全不同
泛型不触发任何堆分配；数组则严格按对象规范分配，并受对齐规则约束：
- 泛型集合（如
new ArrayList<string>()</string>）分配的是ArrayList实例 —— 对象头（12B）+ 实例字段（如Object[] elementData引用 +int size等）+ 填充，与泛型参数无关 - 数组分配直接生成连续内存块：对象头（16B 或 12B）+ 元素数据区（如
int[10]占 40B）+ 对齐填充（凑整到 8 字节倍数） - 基本类型数组（
int[]）元素内联存储；引用类型数组（String[]）只存引用（4B/个），对象本身在别处分配 - 泛型无法规避类型擦除带来的运行时类型丢失，而数组在运行时保留确切组件类型，这也是为什么
new List<string>[10]</string>编译失败（泛型不能实例化），但new String[10]合法
关键结论：泛型是语法糖，数组是运行时实体
Mark Word 和 Klass Pointer 描述的是 JVM 中真实对象的运行时身份与状态。泛型不产生新对象，自然没有专属对象头；数组则是 JVM 对象模型的一等公民，其对象头结构明确、稳定、可测量。混淆二者，常源于误将泛型声明当作类型存在，而忽略了擦除机制的本质。真正影响内存布局的，永远是实际创建的类实例或数组对象，而非尖括号里的类型占位符。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
