对象怎么创建,这个太熟悉了,new一下(其实还有很多途径,比如反射、反序列化、clone等,这里拿最简单的new来讲):
Dog dog = new Dog();
我们总是习惯于固定语句的执行,却对于背后的实现过程缺乏认知,而理解这个过程对后面晦涩难懂的反射和代理其实会有很大帮助,所以请务必学好这块内容。
在看这篇文章之前,啰嗦一句:如果你死记硬背下面所说的流程等于白看,就算现在记住了,一个礼拜后呢,一个月后你又能记得多少,因为对象创建过程这个知识点平常的工作中基本不会涉及到,太底层了,背熟的知识点不经常加以运用容易遗忘,所以我的建议是什么呢,流程做到心里大概有个数,其中涉及到关键的知识点记牢就可以了。
JVM内存
先简单说下java虚拟机内存模型和存放内容的区别,两部分:
- 栈内存 存放基本类型数据和对象的引用变量,数据可以直接拿来访问,速度比堆快
- 堆内存 存放创建的对象和数组,会由java虚拟机的自动垃圾回收来管理(GC),创建一个对象放入堆内的同时也会在栈中创建一个指向该对象堆内存中的地址引用变量,下面说的对象就是存在该内存中
下面我们就按照对象生成的过程来一一讲解参与其中过程的各个概念
首先有这么一个类,后面的初始化基于这个讲解:
/**
* @author 炜哥
* @since 2021-04-18 11:01:41
*
* 执行顺序:(优先级从高到低。)静态代码块>构造代码块>构造方法>普通方法。
* 其中静态代码块只执行一次。构造代码块在每次创建对象是都会执行。
*/
public class Dog {
//默认狗狗的最大年龄是16岁
private static int dog_max_age = 16;
//狗狗的名字
private String dog_name;
{
System.out.println("狗狗的构造代码块");
}
static {
System.out.println("狗狗的静态代码块");
}
//无参构造器故意没设
//有参构造器
public Dog(String dog_name) {
this.dog_name = dog_name;
}
public void getDogInfo(){
System.out.println("名字是:"+dog_name + " 年龄:" + dog_max_age);
}
//狗叫
public static void barking(){
System.out.println("汪汪汪~~~");
}
}
JVM生成.class文件
一个java文件会在编译期间被初始化生成.class字节码文件,字节码文件是专门给JVM阅读的,我们平时吭哧吭哧写的一行行代码最终都会被编译成机器能看懂的语句,这个文件后面会被类加载器加载到内存。
image.png类加载器加载.class文件
《深入理解Java的虚拟机》中大概有这么一句话:在虚拟机遇到一条new的指令时,会去检查一遍在静态常量池中能否定位到一个类的符号引用 (就这个类的路径+名字),并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果不是第一次使用,那必须先执行相应的类加载过程,这个过程由类加载器来完成。
类加载字面意思就可以理解成加载class文件,更准确点的说法就是会把class文件变成一个二进制流加载到内存中,即把类的描述信息加载到Metaspace,至于类加载器如何找到并把一个class文件转成IO流加载到内存中,我后面会专门写一篇关于类加载器的文章,这里就只要理解创建对象中有这么一步就行了。不过这里面有很重要的概念不得不讲:Class对象
知识扩展:Class对象
划重点,这是个非常重要的概念,理解它对于理解后面的反射和代理会有很大的帮助
类加载器 ClassLoader 加载class文件时,会把类里的一些数值常量、方法、类信息等加载到内存中,称之为类的元数据,最终目的是为了生成一个Class对象用来描述类,这个对象会被保存在.class文件里,可能有新手看到这里会比较懵逼,class也有对象?
当然了,Class是个实实在在的类(用来描述类的类,比较拗口),有构造方法( private ,意味着可以生成对象,但不能手动生成,由JVM自动创建Class对象),类加载器会给每个java文件都创建一个Class对象,用来描述类,我画个图:
image.png//以下操作只能由jvm完成,我们手动做不了
Class cls1 = new Class(Dog.class.getClassLoader());
Class cls2 = new Class(Cat.class.getClassLoader());
Class cls3 = new Class(People.class.getClassLoader());
image.png
这个Class对象除了描述对应的类之外还有什么作用呢?也可以生成对象,就是java的反射概念(通过Class实例获取类信息) 上面说了,Class类是用来描述像People.Class类的类,那么它里面肯定包含了所有能够描述该class的所有属性,比如类名、方法、接口等,我们先到Class类源码中瞄一眼:
image.png这里面有个方法 newInstance()
,即创建对象, 我把源代码贴出来并简单解析下:
@CallerSensitive
public T newInstance()
throws InstantiationException, IllegalAccessException
{
if (System.getSecurityManager() != null) {
checkMemberAccess(Member.PUBLIC, Reflection.getCallerClass(), false);
}
if (cachedConstructor == null) {
if (this == Class.class) {
throw new IllegalAccessException(
"Can not call newInstance() on the Class for java.lang.Class"
);
}
try {
Class<?>[] empty = {};
//声明无参构造对象
final Constructor<T> c = getConstructor0(empty, Member.DECLARED);
// Disable accessibility checks on the constructor
// since we have to do the security check here anyway
// (the stack depth is wrong for the Constructor's
// security check to work)
java.security.AccessController.doPrivileged(
new java.security.PrivilegedAction<Void>() {
public Void run() {
c.setAccessible(true);
return null;
}
});
cachedConstructor = c;
} catch (NoSuchMethodException e) {
//如果class中没有无参构造方法,那么抛InstantiationException错误
throw (InstantiationException)
new InstantiationException(getName()).initCause(e);
}
}
Constructor<T> tmpConstructor = cachedConstructor;
// Security check (same as in java.lang.reflect.Constructor)
int modifiers = tmpConstructor.getModifiers();
if (!Reflection.quickCheckMemberAccess(this, modifiers)) {
Class<?> caller = Reflection.getCallerClass();
if (newInstanceCallerCache != caller) {
Reflection.ensureMemberAccess(caller, this, null, modifiers);
newInstanceCallerCache = caller;
}
}
// Run constructor
try {
//最终还是调用了无参构造器对象的newInstance方法
return tmpConstructor.newInstance((Object[])null);
} catch (InvocationTargetException e) {
Unsafe.getUnsafe().throwException(e.getTargetException());
// Not reached
return null;
}
}
首先搞清楚 newInstance 两种方法区别:
Class.newInstance()
只能够调用无参的构造函数,即默认的构造函数,我们在Class源码里也看到了其实最终还是调用了无参构造器对象 Constructor
的 newInstance
方法,举个栗子:Dog.class 中是没有无参构造方法,那么会直接抛出 InstantiationException
异常:
//Dog类中只有一个dog_name的有参构造方法
Class c = Class.forName("com.service.ClassAnalysis.Dog");
Dog dog = (Dog) c.newInstance();//直接抛InstantiationException异常
image.png
Constructor.newInstance()
可以根据传入的参数,调用任意构造构造函数,也可以反射私有构造器(了解就行)
//Dog类中只有一个dog_name的有参构造方法
Constructor cs = Dog.class.getConstructor(String.class);
Dog dog = (Dog) cs.newInstance("小黑");//执行没有问题
但是这里面的 newInstance
跟我们这次要说的 new 方法存在区别,两者创建对象的方式不同,创建条件也不同:
- 使用
newInstance
时必须要保证这类已经加载并且已经建立连接,就是已经被类记载器加载完毕,而 new 不需要 - class对象的
newInstance
方法只能用无参构造,上面已经提到了,而 new 不需要 - 前者使用的是类加载机制,是一种方法,后者是创建一个新类,一种关键字
这个不能说newInstance
不方便,相反它在反射、工厂设计模式、代理中发挥了重要作用,后续我也会写下代理和反射,因为理解起来确实有点绕。还有一点需要注意,不管以哪种方式创建对象,对应的Class对象都是同一个
Dog dog1 = new Dog("旺财");
Dog dog2 = new Dog("小黑");
Class c = Class.forName("com.service.classload.Dog");//为了测试,加了无参构造
Dog dog3 = (Dog) c.newInstance();
System.out.println(dog1.getClass() == dog2.getClass());
System.out.println(dog1.getClass() == dog3.getClass());
image.png
连接和初始化
在此阶段首先为静态static变量内存中分配存储空间,设立初始值(还未被初始化)比如:
public static int i = 666;//被类加载器加载到内存时会执行,赋予一个初始值
public static Integer ii = new Integer(666);//也被赋值一个初始值
但请注意,实际上i 的初始值是0,不是666,其他基本数据类型比如boolean的初始值就是false,以此类推。如果是引用类型的成员变量 ii 那么初始值就是null。
Dog dog = new Dog("旺财");//在这里打个断点
执行,首先会执行静态成员变量初始化,默认值是0:
image.png但有例外,如果加上了 final 修饰词那么初始值就是设定的值。
image.png接着对已经分配存储空间的静态变量真正赋值,比如为上面的dog_max_age 赋值16,还有执行静态代码块,也就是类似下面的代码:
static {
System.out.println("狗狗的静态代码块");
}
到这为止,类的加载过程才算完成。
创建实例
在加载类完毕后,对象的所需大小根据类信息就可以确认了,具体创建的步骤如下:
- 先给对象分配内存(包括本类和父类的所有实例变量,不包括上面的静态变量),并设置默认值,如果有引用对象那么会在栈内存中申请一个空间用来指向的实际对象。
- 执行初始化代码实例化,先初始化父类再初始化子类,赋予给定值(尊重长辈是java的传统美德)
- 对象实例化完毕后如果存在引用对象的话还需要把第一步的栈对象指向到堆内存中的实际对象,这样一个真正可用的对象才被创建出来。
说了这么多估计很多人都没概念,懵逼状态中,其实很简单,我们只要记住new的创建对象就两步:初始化和实例化,再给你们搞一张图:可以简单理解②③④为初始化⑤实例化(可恶,我这该死的责任感!)
image.png本文不指望你能使劲弄懂java虚拟机底层加载创建对象的过程(其实有些步骤我都懒得讲了,因为说出来也都非常理论化,没多大意思),是想让你知道对象的诞生过程有哪几个重要概念参与了,弄懂这些概念比起单单知道对象创建的过程有意义的多:
- 类加载器,可以找找网上的资料,蛮多的,这块内容做个了解就行
- Class类和Class对象的概念,请重点掌握,不然理解反射和动态代理很费劲,spring的源码也会难以理解
- 栈内存和堆内存以及对应的基本类型和引用类型,也很重要,争取能基本理解
网友评论