探秘JVM——类加载机制

一、类加载过程

什么时候触发类加载

• 使用new关键字实例化对象的时候。
• 读取或设置一个类型的静态字段。
• 调用一个类型的静态方法。
• 对一个未初始化的类进行反射化调用的时候。
• 初始化一个类，发现其父类还没有初始化，需要先初始化其父类。
• 执行一个main方法时，需要先加载其主类。
• 当一个接口定义了默认方法，如果这个接口的实现类发生了初始化，那接口应该在这之前进行初始化。

1 类加载

• 通过一个类的全限定名来获取定义此类的二进制字节流，获取源可以是压缩包、网络上、动态代理、其他文件、数据库、加密文件等等。
• 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
• 在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

2 验证

确保Class文件的字节流中包含的信息符合约束要求，保证这些信息被当作代码运行后不会危害虚拟机自身的安全。

• 1 文件格式验证：保证输入的字节流能正确地解析并存储于方法区以内。
  是否以魔数0xCAFEBABE开头。
  主、次版本号是否在当前Java虚拟机接受范围之内。
  常量池的常量中是否有不被支持的常量类型。
  Class文件中各个部分及文件本身是否有被删除的或附加的其他信息。
  ……

• 2 元数据验证：对字节码描述的信息进行语义分析，以保证其描述的信息符合规范要求。
  这个类是否有父类(除了java.lang.Object之外，所有的类都应当有父类)。
  这个类的父类是否继承了不允许被继承的类（被final修饰的类)。
  如果这个类不是抽象类，是否实现了其父类或接口之中要求实现的所有方法。
  类中的字段、方法是否与父类产生矛盾（例如覆盖了父类的final字段，或者出现不符合规则的方法重载，例如方法参数都一致，但返回值类型却不同等)。

• 3 字节码验证：通过数据流分析和控制流分析，确定程序语义是合法的、符合逻辑的。
  阶段要对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的行为。

• 4 符号引用验证：验证符号引用与类进行匹配性校验。

3 准备

为类中静态变量分配内存（方法区），并定义初始值。

4 解析

将方法区中的符号引用替换（在还不知道所引用的对象在哪里，先用符号代替）为直接引用（指向目标的指针）。

5 初始化

直到初始化阶段，Java虚拟机才真正开始执行类中编写的Java程序代码，将主导权移交给应用程序。

假如这个类还没有被加载和连接，则程序先加载并连接该类
假如该类的直接父类还没有被初始化，则先初始化其直接父类
假如类中有初始化语句，则系统依次执行这些初始化语句（静态初始化块 -> 初始化块 -> 构造器）

二、类加载器

比较两个类是否“相等”，只有在这两个类是由同一个类加载器加载的前提下才有意义，否则，即使这两个类来源于同一个Class文件，被同一个Java虚拟机加载，只要加载它们的类加载器不同,那这两个类就必定不相等。

双亲委派模型

双亲委派模型的工作过程是： 如果一个类加载器收到了类加载的请求，它首先不会自己去尝试加载这个类，而是把这个请求委派给父类加载器去完成，每一个层次的类加载器都是如此，因此所有的加载请求最终都应该传送到最顶层的启动类加载器中，只有当父加载器反馈自己无法完成这个加载请求（它的搜索范围中没有找到所需的类）时，子加载器才会尝试自己去完成加载。

双亲委派模型能确保类加载的唯一性。

破坏双亲委派模型

自定义加载器的话，需要继承 ClassLoader 。如果我们不想打破双亲委派模型，就重写 ClassLoader 类中的 findClass() 方法即可，无法被父类加载器加载的类最终会通过这个方法被加载。但是，如果想打破双亲委派模型则需要重写 loadClass() 方法。