从字节码角度看待new对象
我们new一个对象,发生在字节码层的大概是这三步:
-
1.分配空间
-
2.初始化
-
3.引用赋值
下面看看javap反编译之后的结果。
-
0: new 代表在堆内存中开辟一块空间(注意!由于未进行初始化,所以空间中的对象只是个空壳) 这个空间里存储的是对象头信息,比如对象的地址,全类名等。 并且让一个引用指向这块空间。
-
3: dup 复制这个引用,并把这个复制的引用入栈。为什么要执行这步呢?因为下一步要执行默认构造方法,执行默认构造方法需要用到this指针,这个复制压入栈的值就是为了这个目的。
-
8: invokespecial指令进行对象的初始化,初始化完成后这个对象才算是完整的对象了
-
11: astore_1 pop出栈顶元素,即完整对象的指针,将完整对象的指针赋值给局部变量表中index=1位置的元素
分析一下就可以知道,假如发生指令重排 如果程序计数器 = 11位置的代码 先于程序计数器 = 8处的代码被执行,就会导致有的线程拿到的对象不完整。所以我们要加入volatile禁止指令重排。