JVM(八)：Java 对象模型
JVM(八)：Java 对象模型
本文将学习对象是如何创建的，对象的内存布局，以及如何定位访问一个对象。
对象创建
当虚拟机碰到一个new指令时，首先检查指令参数能否在常量池中定位一个类的符号引用，并且检查该符号引用对应的类是否已经被加载，解析和初始化。当一切都确定完成后，JVM就会为其分配内存(需要分配的内存大小在现在就已经确定，在 下面 中详细讲述)。
对象的内存分配方式分为以下两种：
- 指针碰撞，这种分配方式建立在堆内已用空间和剩余空间是完整的，这样的话，在两者之间放置一个指针作为分界点的指示器即可，在分配空间时，只需要移到一下指针位置就好了。
- 空闲列表，如果 JVM 内的空间不是规整的，那么就只能采用此方案了。此时 JVM 会维护一个列表，记录了哪些内存块是可用的，在分配的时候划一个大小足够的区域给对象实例，并更新列表即可。
以上两种方式采取哪种，取决于 Java 堆是否工整，而堆是否工整又取决于垃圾回收算法是否具有整理功能。
对象模型
前面说到对象在创建时就已经确定了内存大小，那么 JVM 是怎么确定对象的大小呢？对象在内存中又是如何存储的呢？
在 JVM 中 Java 的对象模型分为以下3块，对象头，实例数据，对齐填充，下面就让我们来分别介绍一下。
对象头
对象头的数据包括两部分。一部分是用于存储自身运行时数据，这部分数据被官方称为“Mark World”。其中存储数据包括Hashcode、GC 分代年龄、锁状态标志、线程持有锁、偏向线程ID、偏向时间戳等等。
对象头的另外一部分是 类型指针，即对象指向其类元数据的指针。通过这个指针，我们就可以知道该实例属于哪个类。
实例数据
实例数据就是对象真正存储的有效信息，也就是代码中定义的各种类型的字段内容，不论是父类的还是子类的，都需要记录下来。其存储顺序受到虚拟机分配策略和定义顺序影响。
对齐填充
对象填充不是必要数据。在模型中只是起到占位符的作用。因为 HotSpot 要求对象起始地址必须是8的整数倍，这样在实例数据达不到要求的时候，就需要通过对齐填充来补齐。
对象访问
对象访问的方式是通过引用来定位、访问。但 JVM 规范并没有强制要求该通过何种方式使用引用，因此具体实现还是要依赖与具体虚拟机类型。
不过目前的主流访问方式就是以下两种。
- 使用引用。其在 Java 堆中会独立创建一个句柄池，引用指向句柄，而句柄指向实例数据和类型数据。
使用这种方式来访问的优点是稳定，例如在 GC 后，实例数据需要移动，那么只需要修改句柄池中的内容即可，reference 指向的是稳定的位置，缺点是这种方式需要二次定位，速度较慢。
- 直接指针访问，引用直接堆中对象地址，堆中保存了实例数据和类型数据指针，指针直接指向另外存储的类型数据。
使用这种方式的优点是访问实例数据快，因为 reference 指向直接的对象，省去了一次内存定位开销。但缺点就是不够稳定，在对象移动后，reference 也需要修改值。
具体采用何种，不同的虚拟机有不同的实现，因为两者各有千秋，并没有强烈的优缺点，因此不同情况不同处理即可。
总结
在本文中介绍了对象的本质模型是什么，以及对象是如何创建和访问使用的，与上文的 JVM 内存模型结合来看，可以让我们了解内存泄露产生的原因，有助于高效地理解使用 Java 的自动内存管理机制。
文章在公众号“iceWang”第一手更新，有兴趣的朋友可以关注公众号，第一时间看到笔者分享的各项知识点。谢谢！笔芯！
本系列文章主要借鉴自《深入分析 Java Web 技术内幕》和《深入理解 Java 虚拟机-JVM 高级特性与最佳实践》。
