对象在堆中的创建、布局和访问

一、对象的创建

在Java语言中，通常使用new关键字进行对象的创建。当Java虚拟机遇到一条字节码new指令时，会首先检查该类是否已被加载、解析和初始化过，如果没有，就会先执行相应的类加载过程。

随后即为对象分配内存，对象所需内存的大小在类加载完成后已确定，虚拟机会在堆中划分出对应大小的内存空间。划分内存有指针碰撞和空闲列表两种方式：

• 指针碰撞通常在Java堆中的内存是完全规整的设计中使用，所有被使用过的内存在一边，而未被使用的内存在另一边，中间使用一个指针作为分界点的指示器，当需要划分新的内存出来使用时，移动中间的指针即可；
• 而空闲列表的方式通常在Java堆中的可用内存是零散分布的时候使用，虚拟机通过维护一个列表，用于记录哪些内存块是可用的，在分配的时候就从列表中找出一块足够的内存空间划分给对象，然后更新列表上的记录。

Java堆是否规整由虚拟机所采用的垃圾收集器是否带有空间压缩整理的能力决定，例如Serial、ParNew等收集器带有空间压缩整理的功能，就采用的是指针碰撞算法，而CMS基于的是清除算法，采用的就是空闲列表的方式。

TLAB（Thread Local Allocation Buffer），即本地线程分配缓冲，如果对象创建在虚拟机中是非常频繁的行为，可能会出现正在给对象A分配内存，指针还没来得及修改，而对象B又同时使用了原来的指针来分配内存，导致线程不安全。因此虚拟机可采用在Java堆中为每个线程预先分配一小块内存的方式，这一小块内存就称为本地线程分配缓冲，线程只有在本地缓冲区用完了，分配新的缓存区时才需要同步锁定。可用通过-XX：+/-UseTLAB参数来设定是否使用TLAB。

内存分配之后，虚拟机就会对分配到的内存空间进行值的初始化。随后是对对象进行类信息、元数据信息、GC分代年龄等信息进行设置，这些信息会存放在对象头中。

经过上述步骤后，一个没有属性值的对象就已经创建完毕了，因此下一步，会接着执行new指令后的init指令，相当于执行构造函数进行对象构造。

二、对象的内存布局

对象在堆内存中的布局大致可以划分为对象头、实例数据、对齐填充三个部分。

• 对象头Header：对象头中包含两类信息，第一类是用于存储对象自身的运行时数据，如哈希码、GC年龄分代、锁状态标志位、线程持有的锁、偏向时间戳等；第二类数据时类型指针，指向该对象对应类的类型元数据指针，虚拟机可通过该指针来判断该对象是哪个类的实例。
• 实例数据：实例数据即对象的各个属性值数据，包括从父类继承下来的和自己本身定义的。
• 对齐填充：对齐填充仅仅起一个占位符的作用，以使任何对象的大小都是满足指定字节的整数倍。

三、对象的访问定位

Java程序通过栈上的reference数据来操作堆上的具体对象，reference类型数据是一个指向对象的引用，而对象的具体访问方式使由虚拟机实现而定的，主流的访问方式有使用句柄和直接指针两种：

• 使用句柄：Java堆中可能会划分出一块内存来作为句柄池，reference中存储的就是对象的句柄地址，而句柄中包含了对象实例数据与类型数据各自具体的地址信息；
• 直接指针：直接指针，顾名思义，reference中存储的直接就是对象地址。

两种方式各有优劣，使用句柄带来的好处就是reference中存储的是稳定句柄地址，在对象被移动时只会改变句柄中的实例数据指针，而reference本身不需要改变。使用直接指针的方式最大的好处就是访问速度更快。