new关键字在java里用的算是很频繁的了,在程序员角度来看,new就是给我们生成了一个对象,所以java程序员不差对象。我们还是有必要理解的深点,到底是什么个回事。
首先new关键字被编译之后会生成四条字节码指令:new、dup、invokespecial、astore。new底层逻辑比较复杂,主要的功能就是开辟一块空间给这个对象。dup就是把这个对象的空间地址复制一个,因为invokespecial会消耗掉一个。invokespecial就是调用我们的构造函数了,所以构造函数的作用只是初始化而已,跟生成对象(开辟空间)没关系。astore就是将初始化好的对象引用赋值给我们的变量了。
重点介绍下new字节码指令,它涉及到对象的分配。
1、慢速分配:如果new后面的类是第一次被解析,则会进入慢分配直接开辟一个对象的空间
2、快速分配:如果我们开启了逃逸分析,对于热点代码,jvm则会执行栈上分配或标量替换等优化方案,栈上分配的好处是这样的对象不需要gc回收处理,方法执行完自动回收了。如果这种方式失败,则会进行TLAB(threadlocal allocate buffer)分配,TLAB属于线程独享的空间,分配不需要同步。如果TLAB分配失败则会在eden区先通过CAS的方式失败才会进行同步的方式分配,如果对象比较大就在old区分配了。
对象分配好之后就可以在里面填数据了(调构造函数)。有一个问题,因为有重排序啊。如果astore和invokespecial指令重排了怎么办?我们获取到了一个对象的引用但是里面并没有初始化值。这就是为啥volatile可以解决双重检查机制原先的问题了。
参考资料:
揭秘java虚拟机