java类的加载机制

最新推荐文章于 2024-03-27 21:17:32 发布

toprobust

最新推荐文章于 2024-03-27 21:17:32 发布

阅读量127

点赞数

分类专栏： JVM 文章标签：双亲委派 Java类加载

本文链接：https://blog.csdn.net/jiushiNeil/article/details/103351811

版权

JVM 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

概述

我们平时写的java文件编译后都会生成对应的class文件，那java虚拟机又是如何加载class文件到内存并运行的呢？这些都是本章将要讲解的内容。

与那些在编译时需要进行连接工作的语言不同，在Java语言里面，类型的加载、连接和初始化过程都是在程序运行期间完成的(也就是说是lazyLoading的)，这种策略虽然会令类加载时稍微增加一些性能开销，但是会为Java应用程序提供高度的灵活性，Java里天生可以动态扩展的语言特性就是依赖运行期动态加载和动态连接这个特点实现的。例如：我们写程序时用到了一个第三方的类库，且只引用其中一个甚至几个类，如果不是lazyLoading的话则需要把整个类库的class文件都加载到内存，实际情况显然不是。

类加载的时机

什么情况下需要开始类加载过程的第一个阶段：加载？Java虚拟机规范中并没有进行强制约束，这点可以交给虚拟机的具体实现来自由把握。但是对于初始化阶段，虚拟机规范则是严格规定了有且只有5种情况必须立即对类进行“初始化”(而加载、验证、准备自然需要在此之前开始)：

遇到new、getstatic、putstatic或invokestatic这4条字节码指令时，如果类没有进行过初始化，则需要先触发其初始化。生成这4条指令的最常见的Java代码场景是：使用new关键字实例化对象的时候、读取或设置一个类的静态字段(被final修饰、已在编译期把结果放入常量池的静态字段除外)的时候，以及调用一个类的静态方法的时候。
使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没有进行过初始化，则需要先触发其初始化。
当初始化一个类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
当虚拟机启动时，用户需要指定一个要执行的主类(包含main()方法的那个类)，虚拟机会先初始化这个主类。
当使用JDK 的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。

对于这5种会触发类进行初始化的场景，虚拟机规范中使用了一个很强烈的限定语：“有且只有”，这5种场景中的行为称为对一个类进行主动引用。除此之外，所有引用类的方式都不会触发初始化，称为被动引用。下面举3个例子来说明何为被动引用，分别见代码清单1-1～代码清单1-3。

代码清单1-1　被动引用的例子之一

/**
*被动使用类字段演示一：
*通过子类引用父类的静态字段，不会导致子类初始化
**/
public class SuperClass{
	static{
		System.out.println("SuperClass init！");
	}
	public static int value=123;
}
public class SubClass extends SuperClass{
	static{
		System.out.println("SubClass init！");
	}
}
/**
*非主动使用类字段演示
**/
public class NotInitialization{
	public static void main(String[]args){
		System.out.println(SubClass.value);
	}
}

对于静态字段，只有直接定义这个字段的类才会被初始化，因此通过其子类来引用父类中定义的静态字段，只会触发父类的初始化而不会触发子类的初始化。

对于Sun HotSpot虚拟机来说，可通过-XX：+TraceClassLoading参数观察到此操作会导致子类的加载。

代码清单1-2　被动引用的例子之二

/**
*被动使用类字段演示二：
*通过数组定义来引用类，不会触发此类的初始化
**/
public class NotInitialization{
	public static void main(String[]args){
		SuperClass[]sca=new SuperClass[10];
	}
}

这段代码没有触发类SuperClass的初始化阶段。但是这段代码里面触发了另外一个名为“[L*.*.*.SuperClass”的类的初始化阶段，对于用户代码来说，这并不是一个合法的类名称，它是一个由虚拟机自动生成的、直接继承于java.lang.Object的子类，创建动作由字节码指令newarray触发。

代码清单7-3　被动引用的例子之三

/**
*被动使用类字段演示三：
*常量在编译阶段会存入调用类的常量池中，本质上并没有直接引用到定义常量的类，因此不会触发定义常量的类的初始化。
**/
public class ConstClass{
	static{
		System.out.println("ConstClass init！");
	}
	public static final String HELLOWORLD="hello world";
}
/**
*非主动使用类字段演示
**/
public class NotInitialization{
	public static void main(String[]args){
		System.out.println(ConstClass.HELLOWORLD);
	}
}

这是因为虽然在Java源码中引用了ConstClass类中的常量HELLOWORLD，但其实在编译阶段通过常量传播优化，已经将此常量的值“hello world”存储到了NotInitialization类的常量池中，以后NotInitialization对常量ConstClass.HELLOWORLD的引用实际都被转化为NotInitialization类对自身常量池的引用了。也就是说，实际上NotInitialization的Class文件之中并没有ConstClass类的符号引用入口，这两个类在编译成Class之后就不存在任何联系了。可通过jclasslib插件进行查看,在Constant Pool里会有hello world常量存在。

接口的加载过程与类加载过程稍有一些不同，针对接口需要做一些特殊说明：接口也有初始化过程，这点与类是一致的，上面的代码都是用静态语句块“static{}”来输出初始化信息的，而接口中不能使用“static{}”语句块，但编译器仍然会为接口生成“＜clinit＞（）”类构造器，用于初始化接口中所定义的成员变量。接口与类真正有所区别的是前面讲述的5种“有且仅有”需要开始初始化场景中的第3种：当一个类在初始化时，要求其父类全部都已经初始化过了，但是一个接口在初始化时，并不要求其父接口全部都完成了初始化，只有在真正使用到父接口的时候（如引用接口中定义的常量）才会初始化。

类加载的过程

接下来我们详细讲解一下Java虚拟机中类加载的全过程，也就是加载、连接(验证、准备、解析)和初始化这3个阶段所执行的具体动作。

加载
“加载”是“类加载”（Class Loading）过程的一个阶段，希望读者没有混淆这两个看起来很相似的名词。在加载阶段，虚拟机需要完成以下3件事情：

通过一个类的全限定名来获取定义此类的二进制字节流。
将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

验证
验证是连接阶段的第一步，这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。
```
从整体上看，验证阶段大致上会完成下面4个阶段的检验动作：文件格式验证、元数据验证、字节码验证、符号引用验证。
```
- 文件格式验证
  第一阶段要验证字节流是否符合Class文件格式的规范，并且能被当前版本的虚拟机处理。这一阶段可能包括下面这些验证点：
  
  是否以魔数0xCAFEBABE开头。
  
  主、次版本号是否在当前虚拟机处理范围之内。
  
  常量池的常量中是否有不被支持的常量类型（检查常量tag标志）。
  
  指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量。
  
  CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据。
  
  Class文件中各个部分及文件本身是否有被删除的或附加的其他信息。
  
  ……
- 元数据验证
  第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求，这个阶段可能包括的验证点如下：
  
  这个类是否有父类（除了java.lang.Object之外，所有的类都应当有父类）。
  
  这个类的父类是否继承了不允许被继承的类（被final修饰的类）。
  
  如果这个类不是抽象类，是否实现了其父类或接口之中要求实现的所有方法。
  
  类中的字段、方法是否与父类产生矛盾（例如覆盖了父类的final字段，或者出现不符合规则的方法重载，例如方法参数都一致，但返回值类型却不同等）。
  
  ……
```
 第二阶段的主要目的是对类的元数据信息进行语义校验，保证不存在不符合Java语言规范的元数据信息。
```
- 字节码验证
  第三阶段是整个验证过程中最复杂的一个阶段，主要目的是通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的。在第二阶段对元数据信息中的数据类型做完校验后，这个阶段将对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的事件
- 符号引用验证
  最后一个阶段的校验发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将在连接的第三阶段——解析阶段中发生。符号引用验证可以看做是对类自身以外（常量池中的各种符号引用）的信息进行匹配性校验
准备
准备阶段是正式为类变量(static变量)分配内存并设置类变量默认值的阶段。
引用《深入理解JAVA虚拟机第二版》中的一张默认值说明
解析
简单来说：将类、方法、属性等符号引用解析为直接引用，常量池中的各种符号引用解析为指针、偏移量等内存地址的直接引用

解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程，符号引用在前一章讲解Class文件格式的时候已经出现过多次，在Class文件中它以CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info等类型的常量出现，那解析阶段中所说的直接引用与符号引用又有什么关联呢？

符号引用（Symbolic References）：符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关，引用的目标并不一定已经加载到内存中。各种虚拟机实现的内存布局可以各不相同，但是它们能接受的符号引用必须都是一致的，因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。

直接引用（Direct References）：直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是和虚拟机实现的内存布局相关的，同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用，那引用的目标必定已经在内存中存在。

虚拟机规范之中并未规定解析阶段发生的具体时间，只要求了在执行anewarray、checkcast、getfield、getstatic、instanceof、invokedynamic、invokeinterface、invokespecial、invokestatic、invokevirtual、ldc、ldc_w、multianewarray、new、putfield和putstatic这16个用于操作符号引用的字节码指令之前，先对它们所使用的符号引用进行解析。所以虚拟机实现可以根据需要来判断到底是在类被加载器加载时就对常量池中的符号引用进行解析，还是等到一个符号引用将要被使用前才去解析它。
初始化
类初始化阶段是类加载过程的最后一步，前面的类加载过程中，除了在加载阶段用户应用程序可以通过自定义类加载器参与之外，其余动作完全由虚拟机主导和控制。到了初始化阶段，才真正开始执行类中定义的Java程序代码（或者说是字节码）。
在准备阶段，变量已经赋过一次系统要求的默认值，而在初始化阶段，则根据程序员通过程序制定的主观计划去初始化类变量(赋初始值)和其他资源，或者可以从另外一个角度来表达：初始化阶段是执行类构造器＜clinit＞（）方法的过程。
```
简单来说就是：调用类初始化代码 ＜clinit＞，给静态成员变量赋初始值
```

类加载器

启动类加载器，负责加载%JAVA_HOME%\bin目录下的所有jar包，或者是-Xbootclasspath参数指定的路径；
扩展类加载器：负责加载%JAVA_HOME%\bin\ext目录下的所有jar包，或者是java.ext.dirs参数指定的路径；
应用程序类加载器：负责加载用户类路径上(classpath)所指定的类库，如果应用程序中没有自定义加载器，那么此加载器就为默认加载器。

下面用一张简图来描述自定义类加载器是如何通过双亲委派机制来加载一个类的：
在这里插入图片描述
上图在ClassLoader中的源码中简要概括为：
findInCache -> parent.loadClass -> findClass()

那么我们如何自定义一个类加载器呢？

extends ClassLoader
overwrite findClass() -> defineClass(byte[] -> Class clazz)

扩展问题：

parent是如何指定的
protected ClassLoader(ClassLoader parent) {
this(checkCreateClassLoader(), parent);
}
ClassLoader提供了一个以ClassLoader为参数的构造器，我们只要在自定义类加载器中调用super(parent)就可以了
如何打破双亲委派机制

自定义ClassLoader都必须重写loadClass()
ThreadContextClassLoader可以实现基础类调用实现类代码，通过thread.setContextClassLoader指定
热启动、热部署
osgi tomcat 都有自己的模块指定classloader（可以加载同一类库的不同版本）

小结

类加载过程：load->默认值->初始值
new类实例过程(和JMM相关)：申请内存-默认值-初始值

toprobust

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
java类的加载机制

概述我们平时写的java文件编译后都会生成对应的class文件，那java虚拟机又是如何加载class文件到内存并运行的呢？这些都是本章将要讲解的内容。与那些在编译时需要进行连接工作的语言不同，在Java语言里面，类型的加载、连接和初始化过程都是在程序运行期间完成的(也就是说是lazyLoading的)，这种策略虽然会令类加载时稍微增加一些性能开销，但是会为Java应用程序提供高度的灵活性，...
复制链接

扫一扫