对象的实例化
- 创建对象的方式:
- new Object();
- Class的newInstance()
- Constructor的newInstance()
- 使用clone
- 使用反序列化
- 第三方Objeneis
- 创建对象的步骤
- 判断对象对应的类是否被加载,链接,初始化
- 虚拟机遇到一条new指令,首先去检查这个指令的参数能否在MetaSpace的常量池中定位到一个类的符号引用,并且检查这个符号引用的类是否已经被加载,解析和初始化,即判断这个类的原信息是否存在,如果没有,那么在双亲委派机制下,使用当前类加载器以ClassLoader + 包名 + 类名为Key 进行查找对应的.class文件,如果没有找到该文件,则抛出ClassNotFountException异常,如果找到,则加载类。并生成对应的Class类对象。
- 为对象分配内存,首先计算对象占用空间大小,接着在堆中划分一块内存给新对象,如果实例成员变量是引用类型,仅分配引用变量空间即可,即 4 个字节大小
- 如果内存规整,指针碰撞(虚拟机采用的是指针碰撞的方式来为对象分配内存,意思就是所有用过的内存放一边,空闲的内存在另一边,中间放着一个指针作为分界点的指示器,分配内存就仅仅把指针往空闲的地方挪动一段和对象大小相同内存的距离。如果垃圾收集器选择的是 Serial, ParNew这种基于压缩算法的,虚拟机采用这种分配方式,一般带有compact(整理)过程的收集器时,使用指针碰撞。)
- 如果内存不规整,1. 虚拟机需要维护一个列表,2.空闲列表分配(如果内存不是规整的,那么虚拟机将采用的空闲列表法来为对象分配内存,意思就是虚拟机维护了一个列表,列表上记录了那些内存是可用的,再分配的时候从列表中找到足够大的内存划分给对象,并更新表上的内容,这种分配方式成为空闲列表(Free List))
- 选择哪种方式由JAVA堆是否规整来决定,而JAVA堆是否规整,又需要所采用的JAVA垃圾收集器是否带有压缩整理功能决定
- 处理并发问题
- 采用CAS配上失败重试保证更新的原子性
- 每个线程分配一块TLAB
- 初始化分配的内存:
- 所有属性设置默认值,保证对象实例字段不赋值时可以使用。
- 设置对象的对象头
- (将对象的所属类,即类的元数据信息,对象的HashCode 和 对象的GC信息,锁信息等数据存储在对象的头中,这个过程的具体设置方式取决于JVM实现)。
- 执行init方法执行初始化
- 在JAVA程序的视角看来,初始化才正式开始,初始化成员变量,执行实例化代码,调用类的构造方法,并把堆内对象的首地址赋值给引用变量,因此一般来说(由字节码是否跟随invkespecial指令所决定),new 指令之后会接着就是执行方法,把对象按照程序员的意愿进行初始化,这样一个可用的对象才算完全创建出来。
- 判断对象对应的类是否被加载,链接,初始化
简单来说就是
- 加载类元信息
- 为对象分配内存
- 属性的默认初始化(零值初始化)
- 设置对象头的信息
- 属性的显示初始化。 程序员自身定义的操作
对象的内存布局
- 对象头(Header) :
- 非数组:
- 运行时元数据(Mark Word)
- 哈希值(HashCode)
- GC分代年龄
- 锁状态标记
- 线程持有的锁
- 偏向线程ID
- 偏向时间戳
- 类型指针:(指向类元数据instanceKlass, 确定该对象所属的类型)
- 运行时元数据(Mark Word)
- 数组: 除了上述还需要记录数组的长度。
- 非数组:
- 实例数据: Instance Data
- 说明:他是对象真正存储的有效信息,包括程序代码定义的各种类型的字段(包括从父类继承下来的本身拥有的字段)
- 规则:
- 相同宽度的字段总是分配在一起
- 父类中的字段会出现在子类之前
- 如果CompactFields参数为true(默认为true): 子类的窄变量可能插入到父类变量的空隙
- 对齐填充(Padding) : 不是必须的,也没特别含义,仅仅起到占位符的作用
下面看张图
这段代码的内存分布
public class Customer() {
int id = 1001;
String name = "gaosongsong";
Account acct;
public static void main(String[] args) {
Customer cust = new Customer();
}
}
class Account {}
上图
对象访问定位
JVM 是如何通过栈帧中的对象引用访问到其内部的对象实例的呢?
- 定位通过栈上 reference 访问
- 访问对象主要有两种方式
- 句柄访问
- 直接指针(HotSpot 采用), 图片参考上面对象内存分布
- 句柄访问