类加载机制概述
虚拟机把类的数据从Class文件加载到内存,并对数据进行校验,解析和初始化,最终形成可以被虚拟机直接使用的Java类型。
Java虚拟机的类加载是一种懒加载机制。
类的生命周期
加载 ===》链接 ===》初始化 ===》使用 ===》卸载
其中链接又分为3个阶段: 验证 准备 解析
关于类什么时候初始化
- 遇到new、getstatic、putstatic或者invokestatic这4条字节码指令时,如类没有进行过初始化,则需要先触发其初始化。生成这4条指令最常见的Java代码场景是:使用了new在实例化对象的时候、读取或者设置一个类的静态字段(被final修饰、已在编译器把结果放入常量池的静态字段除外)的时候,以及调用一个类的静态方法的时候。
- 使用Java.lang.reflect包的方法对类进行反射调用的时候,如果类没有进行过初始化,则需要先触发其初始化。
- 当初始化一个类的时候,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。
- 当虚拟机启动时,用户需要指定一个要执行的主类(包含main方法的那个类),虚拟机会先初始化这个类。
不被初始化例子
- 通过子类引用父类的静态字段,子类不会被初始化
- 通过数组定义来引用类
- 调用类的常量
1、加载
- 通过一个类的全限定名来获取此类的二进制流
- 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构
- 在内存中生成一个代表这个类的class对象,作为这个类的各种数据的访问入口
二进制流的加载源
- 文件
- class文件
- jar文件
- 网络
- 计算生成一个二进制流
- $Proxy(反射)
- 由其他文件生成
- jsp
- 数据库
2、连接
- 验证
验证是连接阶段的第一步,这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并不会危害虚拟机的自身安全。
-
- 文件格式验证: (1)是否以魔数0xCAFEBABE开头。 (2)主、次版本号是否在当前虚拟机处理范围之内。 (3)常量池的常量中是否有不被支持的常量类型(检查常量tag标志)。 (4)指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量。 (5)CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据。 (6)Class文件中各个部分及文件本身是否有被删除的或附加的其他信息。 ......
- 元数据验证: (1)这个类是否有父类(除了java.lang.Object之外,所有类都应当有父类)。 (2)这个类是否继承了不允许被继承的类(被final修饰的类)。 (3)如果这个类不是抽象类,是否实现了其父类或接口之中所要求实现的所有方法。 (4)类中的字段、方法是否与父类产生矛盾(例如覆盖了父类的final字段,或者出现不符合规则的方法重载,例如方法参数都一致,但返回值类型却不同等等)。 ......
- 字节码验证: 主要目的是通过数据流和控制流分析,确定程序语义是合法的、符合逻辑的。这个阶段将对类的方法体进行校验分析,保证被校验类的方法在运行时不会产生危害虚拟机安全的事件,例如: (1)保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作,例如不会出现类似这样的情况:在操作数栈放置了一个int类型的数据,使用时却按long类型来加载入本地变量表中。 (2)保证跳转指令不会跳转到方法体以外的字节码指令上。 (3)保证方法体中的类型转换是有效的,例如可以把一个子类对象赋值给父类数据类型,但是把父类对象赋值给子类数据类型,甚至把对象赋值给与它毫无继承关系、完全不相干的一个数据类型,则是危险不合法的。 ...... (Halting Problem:通过程序去校验程序逻辑是无法做到绝对准确的——不能通过程序准确的检查出程序是否能在有限时间之内结束运行。)
- 符号引用验证: 符号引用验证可以看作是类对自身以外(常量池中的各种符号引用)的信息进行匹配性校验,通常需要校验以下内容: (1)符号引用中通过字符串描述的全限定名是否能够找到对应的类。 (2)在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段。 (3)符号引用中的类、字段、方法的访问性(private、protected、public、default)是否可被当前类访问。
- 准备
- 准备阶段正式为类变量(static修饰)分配内存并设置变量的初始值。这些变量使用的内存都将在方法区中进行分配。
- 这里的初始值并非我们指定的值,而是其默认值,但是如果被final修饰,那么在这个过程中,常量值会被一同指定。
- 解析
- 虚拟机将常量池中的符号引用替换为直接引用的过程
3、初始化
就是执行clinit方法的过程(就是类的class文件的初始化过程)
类加载器
Java的类加载器:通过一个类的权限定名来获取此类的二进制字节流,这个动作是放到虚拟机外部去实现,以便让应用存现自己决定如何去获取所需要的类。实现这个动作的代码模块称之为类加载器。
只有被同一个类加载器加载的类才有可能会相同,相同的字节码被不同的类加载器加载的类不相等。
类加载器的分类:
- 启动类加载器(由C++实现,是虚拟机的一部分,用于加载Javahome下的lib目录下的类)
- 扩展类加载器(加载Javahome下lib/ext目录中的类)
- 应用程序类加载器(加载用户类路径上所指定的类库)
- 自定义类加载器
自定义类加载器的优势:
高度的灵活性
通过自定义加载器可以实现热部署
代码加密
Java类加载的双亲委派模型
- 从jdk1.2开始,Java虚拟机规范推荐开发者使用双亲委派模式其加载过程如下。
(1)如果一个类加载器收到了类加载请求,它首先不会自己去尝试加载这个类,而是把类加载请求委派给父类加载器去完成。
(2)每一层的类加载器都把类加载请求委派给父类加载器,直到所有的类加载请求都应该传递给顶层启动的类加载器。
(3)如果顶层启动类加载器无法完成加载请求,子类加载器尝试去加载,如果连最初发起类加载请求的类加载器也无法完成加载请求时,将会抛出classnotfindexception,而不再调用其子类加载器去进行类加载。
方法调用
解析调用
静态分配调用
动态分配调用