对象创建的过程就是内存分配的过程,而对象创建依赖于对象所属类是否已加载(是否存在于方法区)
1 类加载机制
1.1 类在JVM中的生命周期
加载 — 验证 — 准备 — 解析 — 初始化 — 使用 — 卸载
验证、准备、解析三个阶段又名连接阶段
1.2 类加载的时机
-
new、getstatic、putstatic、invokestatic;
-
使用java.lang.reflect包的方法对类进行反射调用时;
-
初始化类时,若父类还未初始化,则先触发父类的初始化;
-
JVM启动时,若程序指定main入口,则先初始化入口类;
-
动态语言支持时,若java.lang.invoke.MethodHandle实例最后解析结果REF_getStatic\REF_putStatic\REF_invokeStatic方法句柄,且这个方法句柄所对应的类没有初始化,则需先触发其初始化。
2 类加载过程
2.1 加载
-
通过类全限定名来获取定义该类的二进制字节流;
-
将字节流代表的静态存储结构转化为方法区的运行时数据结构;
-
内存中生成一个代表该类的java.lang.Class对象,最为方法区这个类的数据访问入口。
2.1.1 实现加载方式
-
ZIP、JAR、EAR、WAR;
-
网络中获取,如Applet;
-
运行时动态生成,如动态代理技术;
-
其他文件生成类,如JSP文件生成对应的Class类;
-
从数据库中获取,如程序文件存储在中间件服务器在集群中分发;
…….
2.1.2 数组类的加载遵循的规则
数组类本身不通过类加载器创建,由JVM直接创建。
-
若数组的组件类型(Component Type:数组去掉维度的类型)是引用类型,那就递归采用普通类加载过程加载这个组件类型,数组将在加载该组件类型的类加载器的类名称空间上被标识;
-
若数组的组件类型不是引用类型(int[]),JVM将会把数组标记为与引导类加载器关联;
-
数组类的可见性与它的组件类型的可见性一致,若组件类型不是引用类型,那数组类的可见性默认为public。
2.2 验证
-
文件格式:以魔数0xCAFEBABE开头、主次版本号、常量池中是否有不支持的常量类型……
-
与数据验证:是否有父类、父类是否继承了不允许被继承的类….
-
字节码验证:任意时刻操作数栈的数据类型与指令代码序列都能配合工作、保证跳转指令不会跳到方法体外的字节码指令上….
-
符号引用验证:符号引用中通过字符串描述的全限定名是否能找到该类…
2.3 准备
-
内存分配:static修饰的变量直接分配内存到方法区的常量池;
-
赋类型的0值:int -> 0 float -> 0.0f boolean -> false ref -> null,特殊情况:被final修饰的变量直接赋值为用户的赋值
2.4 解析
JVM将常量池内的符号引用替换为直接引用。
符号引用:以一组符号来描述所引用的目标。
直接引用:直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。
2.5 初始化
真正开始执行类中定义的Java程序,根据开发人员计划初始化变量和其他资源。
3 类唯一性的确定
任意一个类,需由加载他的类加载器和这个类本身一同确立其在JVM中的唯一性,每个类加载器,都拥有一个独立的类命名称空间。
4 类加载器类型
4.1 从JVM角度来看
-
一种是启动类加载器Bootstrap ClassLoader,是JVM自身的一部分;
-
另一种是其他类加载器,由Java实现,独立于JVM外部,全继承java.lang.ClassLoader
4.2 从开发人员
-
启动类加载器,在/lib目录;
-
扩展类加载器Extension ClassLoader,在/lib/ext目录下;
-
应用程序类加载器。