Java 是面向对象的静态强类型语言, 声明并创建对象的代码很常见, 根据某个类声明一个引用变量指向被创建的对象, 并使用此引用变量操作该对象
在实例化对象的过程中, JVM 中发生了什么化学反应呢?
(1) 下面从最简单的
代码进行分析, 利用 javap -verbose- p 命令查看对象创建的字节码
● new : 如果找不到 Class 对象, 则进行类加载
加载成功后, 则在堆中分配内存, 从 Object 开始到本类路径上的所有属性值都要分配内存
分配完毕之后, 进行零值初始化
在分配过程中, 注意引用是占据存储空间的, 它是一个变量, 占用 4 个字节
这个指令完毕后, 将指向实例对象的引用变量压入虛拟机栈顶
● dup : 在栈顶复制该引用变量, 这时的栈顶有两个指向堆内实例对象的引用变量
如果 < init > 方法有参数, 还需要把参数压入操作栈中
两个引用变量的目的不同, 其中压至底下的引用用于赋值, 或者保存到局部变量表, 另一个栈顶的引用变量作为句柄调用相关方法
● invokespecial : 调用对象实例方法, 通过栈顶的引用变量调用 < init > 方法
- <clinit>
- 是类初始化时执行的方法
- <init>
- 是对象初始化时执行的方法
(2) 前面所述是从字节码的角度看待对象的创建过程, 现在从执行步骤的角度来分析:
● 确认类元信息是否存在
当 JVM 接收到 new 指令时, 首先在 metaspace 内检查需要创建的类元信息是否存在
若不存在, 在双亲委派模式下, 使用当前类加载器以 ClassLoader + 包名 + 类名为 Key 进行查找对应的. class 文件
如果没有找到文件, 则抛出
ClassNotFoundException
如果找到, 则进行类加载, 并生成对应的 Class 类对象
● 分配对象内存
首先计算对象占用空间大小, 如果实例成员变量是引用变量, 仅分配引用变量空间即可 (4 个字节), 接着在堆中划分一块内存给新对象
在分配内存空间时, 需要进行同步操作, 比如采用 CAS 失败重试, 区域加锁等方式保证分配操作的原子性
● 设定默认值
成员变量值都需要设定为默认值, 即各种不同形式的零值
● 设置对象头
设置新对象的哈希码, GC 信息, 锁信息对象所属的类元信息等
这个过程的具体设置方式取决于 JVM 实现
● 执行 init 方法
初始化成员变量, 执行实例化代码块, 调用类的构造方法, 并把堆内对象的首地址赋值给引用变量
1 对象的创建过程
当虚拟机遇到一条含有 new 的指令时, 会进行一系列对象创建的操作
检查常量池中是否有要创建的这个对象所属类的符号引用
若无, 说明这个类还没有被定义! 抛 ClassNotFoundException
若有, 转 2
检查这个符号引用所代表的类是否已被 JVM 加载
若否, 就找该类的 class 文件, 并加载进方法区
若是, 转 3
根据方法区中该类的信息确定该类所需的内存大小
一个对象所需的内存大小是在这个对象所属类被定义完就能确定的!
且一个类所生产的所有对象的内存大小是一样的!
JVM 在一个类被加载进方法区的时候就知道该类生产的每一个对象所需要的内存大小
从堆中划分一块对应大小的内存空间给新的对象, 分配堆中内存有两种方式
指针碰撞 (Bump the Pointer)
如果 JVM 的垃圾收集器采用复制算法或标记 - 整理算法, 那么堆中空闲内存是完整的区域, 并且空闲内存和已使用内存之间由一个指针标记.
那么当为一个对象分配内存时, 只需移动指针即可. 因此, 这种在完整空闲区域上通过移动指针来分配内存的方式就叫做 "指针碰撞"
空闲列表 (Free List)
如果 JVM 的 GC 器采用标记 - 清除算法, 那么堆中空闲区域和已使用区域交错, 因此需要用一张 "空闲列表" 来记录堆中哪些区域是空闲区域, 从而在创建对象的时候根据这张 "空闲列表" 找到空闲区域, 并分配内存
综上所述: JVM 究竟采用哪种内存分配方法, 取决于它使用了何种 GC 器
为对象中的成员变量赋上初始值 (默认初始化)
设置对象头 (Object Header)
调用对象的构造函数进行初始化
至此, 整个对象的创建过程就完成了
2 对象的内存布局
一个对象从逻辑角度看, 由域和方法构成
从物理角度来看, 对象是存储在堆中的一串二进制数
对象在内存中存储的布局分三部分
对象头 (Header)
实例数据 (Instance Data)
对齐补充 (Padding)
2.1 对象头
存储对象在运行过程中自身所需要的一些数据
哈希码, GC 分代年龄, 锁状态标志, 线程持有的锁, 偏向线程 ID, 偏向时间戳等
类型指针
即对象指向它的类元数据的指针, JVM 通过该指针能确定这个对象是哪个类的实例.
另外, 如果对象是一个数组, 那么对象头中还要包含数组长度 (因为从数组的元数据无法确定数组的大小).
2.2 实例数据
实例数据部分就是程序定义的各种字段的内容, 包含父 / 子类的都会记录下来
2.3 对齐填充 (并非必然存在, 无特别含义, 仅起占位符作用)
HotSpot 要求对象的大小必须是 8 字节的整数倍
由于对象起始地址必须是 8 字节的整数倍, 但实例数据部分的长度是任意的, 因此需要对齐补充字段确保整个对象的总长度为 8 的整数倍
3 访问对象的过程
栈上的 reference 数据存放的是一个地址, 那么根据地址类型的不同, 对象有不同的访问方式
句柄访问方式
Java 堆中需要有一块叫做 "句柄池" 的内存, 存放所有对象的地址和所有对象所属类的类信息
reference 中存放的是对象在句柄池中的地址.
访问对象时, 首先需要通过 reference 找到该对象的句柄, 然后根据句柄中对象的地址再访问对象
直接指针访问方式
reference 直接存放对象地址, 从而不需要句柄池, 通过引用能够直接访问对象
但对象所在的内存空间中需要额外的策略存储对象所属的类信息的地址
两种方式的比较
使用句柄最大好处是 reference 中存储的是稳定的句柄地址, 在对象被移动时也只改变句柄中的实例数据指针, 而 reference 本身不需要修改
而 HotSpot 采用直接指针访问方式, 因为它只需一次寻址操作, 节省了一次指针定位的时间开销, 对象的访问又十分频繁, 从而性能比句柄访问方式快一倍
来源: http://www.jianshu.com/p/148b8f04b03a