深入理解对象创建过程

首先我们要明白一点：运行时常量池里面究竟存放了哪些东西？

Class文件中除了有类的版本、字段、方法、接口等信息以外，还有一项信息就是静态常量池（Constant Pool Table），这个常量池存放编译期生成的各种字面量和符号引用，这部分内容将在类加载进入方法区的运行时常量池存放。

所以运行时常量池存放了基本类型数据(只存一个字节的常量，像int类型，就只能存-128~127，超出这个范围就不在常量池里了)、包装类型（Float和Double这两种没有）、String类型、字面量（相当于Java类型常量）、符号引用（引用类时不知道类的具体地址，使用符号引用来代替具体引用地址，比如全限定名）。

因此当虚拟机遇到一条new指令时，首先将去检查整改指令的参数是否能在常量池中定位到一个类的符号引用，并检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有，那么就要进行该类的加载。

当类加检查通过时，虚拟机会为新生的对象分配内存。对象所需的内存的大小在类加载完成后便可以完全确定。在这之前需要考虑当前这个对象创建在虚拟机中是否是非常频繁的行为，因为多个线程在争取内存的时候会产生线程安全，如果同步那么会产生阻塞，进而影响性能。所以虚拟机采用一种称为本地线程分配缓冲（Thread Local Allocation Buffer，TLAB）的方法，具体是让每个线程在Java堆中预先分配一块内存。这样新建对象时就会先在该线程所属的TLAB上新建，如果TLAB空间不够了，才会到堆内存上去申请空间。

如果Java堆中的内存是完全规整的，一边是使用过的内存，一边是空闲的内存，中间放着一个指针作为分界点的指示器。那么分配内存只需要把那根指针向空闲空间方向挪动一段与对象大小相等的距离。这种分配过程称为”指针碰撞“（Bump the Pointer）。如果Java堆不是规整的，那么虚拟机就必须维护一个列表，记录上哪些内存块是可用的，在分配的是后从列表中找到一块足够大的空间划分给对象实例，并更新列表上的记录，这种分配方式称为”空闲列表“（Free List）。具体用哪种分配方式是根据垃圾收集器来决定的。

 

以上所诉都是在堆内存中申请内存空间进行新建对象。其实在堆内存分配之前还会检查是否可以栈上内存的内存，栈上分配依靠两点技术基础：

1. 逃逸分析 逃逸分析的目的是判断对象的作用域是否有可能逃逸出函数体。
2. 标量替换 是指允许将对象打散分配到栈上，比如若一个对象拥有两个字段，会将这两个字段视作局部变量进行分配。

如果确定一个对象的作用域不会逃逸出方法之外，那可以将这个对象分配在栈上，这样，对象所占用的内存空间就可以随栈帧出栈而销毁。减少垃圾收集的负载。

所以从这里可以看出，new出来的对象并不一定都是分配在堆内存上的。

 

到这里，内存已经分配完了，虚拟机需要将分配到的内存空间都初始化为零值（不包括对象头）。这一步操作保证了对象的实力字段在Java代码中可以不赋初始值就直接使用，程序能访问到这些字段的数据类型所对应的零值。

接下来，虚拟机就要对对象进行对象头设置。

在HotSpot虚拟机中，对象在内存中存储的布局可以分为3块区域：对象头（Header）、实例数据（Instance Data）和对齐填充（Padding）。

HotSpot虚拟机的对象头包括两部分信息，第一部分用户存储对象自身的运行时数据，如哈希码（HashCode）、GC分代年龄、锁状态标致、线程持有的锁、偏向线程ID、偏向时间戳等。所以Mark Word（标记字）主要用来表示对象的线程锁状态，另外还可以用来配合GC、存放该对象的hashCode。同时因为对象头存储的都是与对象自身定义的数据无关的额外存储成本，所以考虑到空间效率，Mark Word被设计成一个可以根据状态复用自己的存储空间，也就是不同状态下存储的内容是不一样的。

lock:2位的锁状态标记位，由于希望用尽可能少的二进制位表示尽可能多的信息，所以设置了lock标记。该标记的值不同，整个Mark Word表示的含义不同。biased_lock和lock一起，表达的锁状态含义如下：

 

 

 

对象头的另一部分就是类型指针，即对象指向它的类元数据的指针。

所以当对象刚生成的时候，Mark Word存放的锁标志位就是01，未锁定的状态。也就会把对象哈希码和对象分代年龄填入。

完成上面工作，以虚拟机的视角来看，一个新的对象已经产生了，但从Java程序的视角来看，对象创建才刚刚开始。接下去就要调用对象<init>方法，开始填充对象的字段和执行代码段。

 

参考资料：《深入理解Java虚拟机：JVM高级特性与最佳实践》