对象的实例化过程
类的生命周期
一个类的完整生命周期如下:
其中使用就是对象的过程
加载
类加载过程的第一步,主要完成下面3件事情
- 通过全类名获取定义此类的二进制字节流
- 将字节流所代表的静态存储结构转换为方法区的运行时数据结构
- 在内存中生成一个代表该类的 Class 对象,作为方法区这些数据的访问入口
加载阶段和连接阶段的部分内容是交叉进行的,加载阶段尚未结束,连接阶段可能就已经开始了。
验证
准备
准备阶段是正式为类变量(静态变量)分配内存并设置类变量初始值的阶段,这些内存都将在方法区中分配。对于该阶段有以下几点需要注意:
- 这时候进行内存分配的仅包括类变量(static),而不包括实例变量,实例变量会在对象实例化时随着对象一块分配在 Java 堆中。
- 这里所设置的初始值"通常情况"下是数据类型默认的零值(如0、0L、null、false等),比如我们定义了
public static int value=111
,那么 value 变量在准备阶段的初始值就是 0 而不是111(类初始化阶段才会赋值)。特殊情况:比如给 value 变量加上了 fianl 关键字public static final int value=111
,那么准备阶段 value 的值就被赋值为 111。 - 查看对应的方法 可知其主要工作就是为静态变量实例化变量计算空间并且为静态变量赋初值
//给类变量分配空间并赋予初始值
private void prepare(ZClass clazz) {
// 计算实例化字段需要的slot值
calcInstanceFieldSlotIds(clazz);
// 计算静态变量需要的slot的值
calcStaticFieldSlotIds(clazz);
// 分配并且初始化静态变量的值,这里只是给零值 如 int=>0 object=>null
allocAndInitStaticVars(clazz);
}
如果静态变量是final 修饰的那么需要给其直接赋值
// 为静态变量申请空间,注意:这个申请空间的过程,就是将所有的静态变量赋值为0或者null;
// 如果是 static final 的基本类型或者 String,其值会保存在ConstantValueAttribute属性中
private void allocAndInitStaticVars(ZClass clazz) {
// new 出对象对java程序来说会默认赋值
clazz.staticVars = new Slots(clazz.staticSlotCount);
for (ZField field : clazz.fileds) {
// 如果是 static final 类型 那么就直接赋值
if (field.isStatic() && field.isFinal()) {
//报错了无法解决,暂时注释掉
initStaticFinalVar(clazz, field);
}
}
}
基本数据类型的零值:
解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用限定符7类符号引用进行。
- 符号引用就是一组符号来描述目标,可以是任何字面量。
- 直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄。
在程序实际运行时,只有符号引用是不够的,举个例子:在程序执行方法时,系统需要明确知道这个方法所在的位置。Java 虚拟机为每个类都准备了一张方法表来存放类中所有的方法。当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法了。通过解析操作符号引用就可以直接转变为目标方法在类中方法表的位置,从而使得方法可以被调用。
综上,解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程,也就是得到类或者字段、方法在内存中的指针或者偏移量。
类的初始化
初始化是类加载的最后一步,也是真正执行类中定义的 Java 程序代码(字节码),初始化阶段是执行类构造器 <clinit> ()
方法的过程。
对于<clinit>()
方法的调用,虚拟机会自己确保其在多线程环境中的安全性。因为 <clinit>()
方法是带锁线程安全,所以在多线程环境下进行类初始化的话可能会引起死锁(这里是死锁不是线程安全问题注意理解区别)
对于初始化阶段,虚拟机严格规范了有且只有5种情况下,必须对类进行初始化(只有主动去使用类才会初始化类):
- 当遇到 new 、 getstatic、putstatic或invokestatic 这4条直接码指令时,比如 new 一个类,读取一个静态字段(未被 final 修饰)、或调用一个类的静态方法时。
-
- 当jvm执行new指令时会初始化类。即当程序创建一个类的实例对象。
- 当jvm执行getstatic指令时会初始化类。即程序访问类的静态变量(不是静态常量,常量会被加载到运行时常量池)。
- 当jvm执行putstatic指令时会初始化类。即程序给类的静态变量赋值。
- 当jvm执行invokestatic指令时会初始化类。即程序调用类的静态方法。
- 使用
java.lang.reflect
包的方法对类进行反射调用时如Class.forname("..."),newInstance()等等。 ,如果类没初始化,需要触发其初始化。 - 初始化一个类,如果其父类还未初始化,则先触发该父类的初始化。
- 当虚拟机启动时,用户需要定义一个要执行的主类 (包含 main 方法的那个类),虚拟机会先初始化这个类。
- MethodHandle和VarHandle可以看作是轻量级的反射调用机制,而要想使用这2个调用,
就必须先使用findStaticVarHandle来初始化要调用的类。 - 当一个接口中定义了JDK8新加入的默认方法(被default关键字修饰的接口方法)时,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。
卸载
卸载类即该类的Class对象被GC。
卸载类需要满足3个要求:
- 该类的所有的实例对象都已被GC,也就是说堆不存在该类的实例对象。
- 该类没有在其他任何地方被引用
- 该类的类加载器的实例已被GC
所以,在JVM生命周期类,由jvm自带的类加载器加载的类是不会被卸载的。但是由我们自定义的类加载器加载的类是可能被卸载的。
只要想通一点就好了,jdk自带的BootstrapClassLoader,PlatformClassLoader,AppClassLoader负责加载jdk提供的类,所以它们(类加载器的实例)肯定不会被回收。而我们自定义的类加载器的实例是可以被回收的,所以使用我们自定义加载器加载的类是可以被卸载掉的。
案例分析
演示代码
public class CLassInit {
{
int a = 1;
}
static {
int b = 2;
}
int c =3;
static int d =4;
static final int e =5;
Object object= new Object();
static Object object2 = new Object();
}
观察并说明各个变量的初始化时机?
准备阶段:
由前面的知识可以知道,在准备阶段会为所有的类变量赋予初始值,如上所示这时候其中
b = 0;
d = 0;
object2 = null;
而被 final 修饰的变量此时会直接从局部变量表中获取初值
e=5
初始化阶段:
public com.wangzhen.jvmTest.other.CLassInit();
descriptor: ()V
flags: ACC_PUBLIC
Code:
stack=3, locals=2, args_size=1
0: aload_0
1: invokespecial #1 // Method java/lang/Object."<init>":()V
4: iconst_1
5: istore_1
6: aload_0
7: iconst_3
8: putfield #2 // Field c:I
11: aload_0
12: new #3 // class java/lang/Object
15: dup
16: invokespecial #1 // Method java/lang/Object."<init>":()V
19: putfield #4 // Field object:Ljava/lang/Object;
22: return
LineNumberTable:
line 8: 0
line 10: 4
line 15: 6
line 18: 11
static {};
descriptor: ()V
flags: ACC_STATIC
Code:
stack=2, locals=1, args_size=0
0: iconst_2
1: istore_0
2: iconst_4
3: putstatic #5 // Field d:I
6: new #3 // class java/lang/Object
9: dup
10: invokespecial #1 // Method java/lang/Object."<init>":()V
13: putstatic #6 // Field object2:Ljava/lang/Object;
16: return
LineNumberTable:
line 13: 0
line 16: 2
line 19: 6
}
如上内容(反编译显示的class文件),当执行到new 关键词的时候会执行对象的初始化操作,NEW 指令的实现会先查看类是否已经初始化。如果没有的话那么就会执行<cinit> 方法,该构造方法会收集类中的所有静态变量对其进行赋值操作(如下),如果没有静态变量那么不会有<cinit>构造方法。此时
b=2;
e=5
Object object2 = new Object()
对象的初始化化阶段:
在类的初始化操作完成后,就会执行对象的初始化操作。和类的构造方法类似,对象的构造方法也是收集所有成员变量,将其纳入到构造方法中,为其赋值(查看构造方法)。
a=1;
c=3;
Object object= new Object()