类加载的时机
其中验证,准备,解析三个部分统称为连接
1.遇到new,getstatic,putstatic或invokestatic这四条字节码指令时,如果类没有进行过初始化,则需要先触发其初始化。生成这四条指令的最常见的Java代码场景是:使用new关键字实例化对象的时候,读取或设置一个类的静态字段的时候,以及调用一个类的静态方法的时候。
2.使用java.lang.reflect包的方法对类进行反射调用的时候,如果没有进行过初始化,则需要先触发其初始化
3.当初始化一个类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化
4.当虚拟机启动时,用户需指定一个要执行的主类,虚拟机会先初始化这个类
5.当使用JDK1.7的动态语言支持的时候,如果一个java.lang.invoke.MethodHandle实例后的解析结果REF_getStatic,REF_putStatic,REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行过初始化,则需要先触发其初始化。
类加载过程
加载
在加载阶段,虚拟机需要完成下面三件事情:
1.通过一个类的全限定名来获取定义此类的二进制字节流
2.将这个字节流所代表的静态存储结构转化为方法区的运行时结构数据
3.在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口。
一个数组类的创建遵循以下规则:
1.如果数组的组件类型是引用类型,那就递归采用本节中定义的加载过程去加载这个组件类型,数组C将在加载该组件类型的类加载器的类名称空间上被标识。
2.如果数组的组件类型不是引用类型,Java虚拟机将会把数组C标记为与引导类加载器关联
3.数组类的可见性与它的组件类型的可见性一致,如果组件类型不是引用类型,那数组类关于可见性将默认为public。
验证
文件格式验证
是否以魔数0XCAFEBABE开头
主,次版本号是否在当前虚拟机处理范围之内
常量池的常量是否由不被支持的常量类型
指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量
CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据
Class文件中的各个部分及文件本身是否有被删除的或附加的其他信息
元数据验证
这个类是否有父类
这个类的父类是否继承了不允许被继承的类
如果这个类不是抽象类,是否实现了其父类或者接口之中要求实现的所有方法
类中的字段,方法是否与父类产生矛盾
字节码验证
保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作
保证跳转指令不会跳转到方法体以外的字节码指令上
保证方法体中的类型转换是有效的
符号引用验证
符号引用中通过字符串描述的全限定名是否能找到对应的类
在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段
符号引用中的类,字段,方法的访问性是否可以被当前类访问
准备
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存 都将在方法区中进行分配。
解析
符号引用
符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关,引用的目标并不一定已经加载到内存中。各种虚拟机实现的内存布局可以各不相同,但是他们能接受的符号引用必须一致,因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。
直接引用
直接引用可以是直接指向目标的指针,相对偏移量或者是一个能间接定位到目标的句柄。直接引用是和虚拟机实现的内存布局相关的,同一个符号引用在不同的虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用,那么引用的目标必定已经在内存中存在
1.类或接口的解析
如果C不是一个数组类型,那虚拟机将会把代表N的全限定名传递给D的类加载器去加载这个类C。在加载过程中,由于元数据验证,字节码验证的需要,又可能触发其他相关类的加载动作。
如果C是一个数组类型,并且数组的元素类型为对象,也就是N的描述符会是类似“【Ljava/lang/Integer”的形式,那将会按照第一点的规则加载数组元素类型。
如果上面的步骤没有出现任何异常,那么C在虚拟机中实际上已经成为了一个有效的类或者接口了,但是在解析完成前还要进行符号引用验证,确认D是否具备对C的访问权限。
2.字段解析
如果C本身就包含了简单的名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束
否则,如果C中实现了接口,将会按照继承关系从下往上递归搜索各个接口和它的父接口,如果接口中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束
否则,如果C不是java.lang.Object的话,将会按照继承关系从下往上递归搜索其父类,如果在父类中包含了简单名称和字段描述符都与目标相匹配的字段,则返回这个字段的直接引用,查找结束
否则,查找失败
3.类方法解析
类方法和接口方法符号引用的常量类型定义是分开的
如果通过了第一步,在类C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束
否则,在类C的父类中查找是否有简单名称与描述符与目标相匹配的方法,如果有,则返回这个方法的直接引用,查找结束
否则,在类C实现的接口列表及它们的父接口之中递归查找是否有简单名称与描述符都相匹配的方法,如果存在匹配的方法,说明类C是一个抽象类,这时查找结束,抛出异常
否则,宣告方法查找失败
4.接口方法解析
接口方法和类方法符号引用的常量类型定义是分开的
如果通过了第一步,在接口C中查找是否有简单名称和描述符都与目标相匹配的方法,如果有则返回这个方法的直接引用,查找结束
否则,在接口C的父接口中查找是否有简单名称与描述符与目标相匹配的方法,如果有,则返回这个方法的直接引用,查找结束
否则,宣告方法查找失败
初始化
()方法