jvm-类加载与字节码技术学习笔记

类加载与字节码技术

1. 类文件结构
2. 字节码指令
3. 编译期处理
4. 类加载阶段
5. 类加载器
6. 运行期优化

1. 类文件结构

2. 字节码指令

2.1 javap 工具

2.3 图解方法执行流程

1）原始 java 代码

/** * 演示 字节码指令 和 操作数栈、常量池的关系 */ 
public class Demo3_1 {    
	public static void main(String[] args) {       
 		int a = 10;        
		int b = Short.MAX_VALUE + 1;        
 		int c = a + b;        
		 System.out.println(c);    
 } }

2）编译后的字节码文件

3）常量池载入运行时常量池

4）方法字节码载入方法区

5）main 线程开始运行，分配栈帧内存
（stack=2，locals=4）

6）执行引擎开始执行字节码

常用指令

算数指令

方法调用指令

方法返回指令

bipush 10

• 将一个 byte 压入操作数栈（其长度会补齐 4 个字节），类似的指令还有
• sipush 将一个 short 压入操作数栈（其长度会补齐 4 个字节）
• ldc 将一个 int 压入操作数栈
• ldc2_w 将一个 long 压入操作数栈（分两次压入，因为 long 是 8 个字节）
• 这里小的数字都是和字节码指令存在一起，超过 short 范围的数字存入了常量池

istore_1

• 将操作数栈顶数据弹出，存入局部变量表的 slot 1

ldc #3

• 从常量池加载 #3 数据到操作数栈
• 注意 Short.MAX_VALUE 是 32767，所以 32768 = Short.MAX_VALUE + 1 实际是在编译期间计算 好的
  

istore_2

iload_1

iload_2

iadd

istore_3

getstatic #4

iload_3

invokevirtual #5

• 找到常量池 #5 项

• 定位到方法区 java/io/PrintStream.println:(I)V 方法

• 生成新的栈帧（分配 locals、stack等）

• 传递参数，执行新栈帧中的字节码
  

• 执行完毕，弹出栈帧

• 清除 main 操作数栈内容

return

• 完成 main 方法调用，弹出 main 栈帧
• 程序结束

2.4 练习 - 分析 i++

目的：从字节码角度分析 a++ 相关题目
源码：

字节码：


分析：

• 注意 iinc 指令是直接在局部变量 slot 上进行运算
• a++ 和 ++a 的区别是先执行 iload 还是 先执行 iinc
  
  
  
  
  
  
  
  
  
  
  

2.5 条件判断指令

几点说明：

• byte，short，char 都会按 int 比较，因为操作数栈都是 4 字节 goto 用来进
• 行跳转到指定行号的字节码

源码：

字节码：

2.6 循环控制指令

其实循环控制还是前面介绍的那些指令，例如 while 循环：

字节码是：

再比如 do while 循环：

字节码是
后再看看 for 循环：

字节码是：

注意

比较 while 和 for 的字节码，你发现它们是一模一样的，殊途也能同归

2.7 练习 - 判断结果

请从字节码角度分析，下列代码运行的结果：

字节码是
iload_x 将x号栈元素入操作数栈
iinc x 1 将x号元素 进行加1 iinc 指令是直接在局部变量 slot 上进行运算

此时局部变量x为1

istore_x 将操作数栈的顶部元素弹出赋值给x号元素
x再赋值为0

2.8 构造方法

1) < cinit > ()v

编译器会按从上至下的顺序，收集所有 static 静态代码块和静态成员赋值的代码，合并为一个特殊的方 法 < cinit >()V ：

2) < init >()v

编译器会按从上至下的顺序，收集所有 {} 代码块和成员变量赋值的代码，形成新的构造方法，但原始构造方法内的代码总是在最后

把 this加载进来 调用父类构造

把this加载进来 ldc将常量池 #2中 入操作数栈 将数弹出入赋值 this.a

2.9 方法调用

看一下几种不同的方法调用对应的字节码指令

字节码：

• new 是创建【对象】，给对象分配堆内存，执行成功会将【对象引用】压入操作数栈
• dup 是复制操作数栈栈顶的内容 复制一份，本例即为【对象引用】，为什么需要两份引用呢，一个是要配 合 invokespecial 调用该对象的构造方法
  “< init >”: ()V （会消耗掉栈顶一个引用），另一个要 配合 astore_1 赋值给局部变量
• 最终方法（final），私有方法（private），构造方法都是由 invokespecial 指令来调用，属于静 态绑定
• 普通成员方法是由 invokevirtual 调用，属于动态绑定，即支持多态
• 成员方法与静态方法调用的另一个区别是，执行方法前是否需要【对象引用】
• 比较有意思的是 d.test4(); 是通过【对象引用】调用一个静态方法，可以看到在调用 invokestatic 之前执行了 pop 指令，把【对象引用】从操作数栈弹掉了 尽量不要使用对象.调用静态方法 因为对象一入栈就出栈了 多了一步操作 会产生2条不必要的虚拟机指令
• 还有一个执行 invokespecial 的情况是通过 super 调用父类方法

2.10 多态的原理

2.11 异常处理

try-catch

注意
为了抓住重点，下面的字节码省略了不重要的部分

• 可以看到多出来一个 Exception table 的结构，[from, to) 是前闭后开的检测范围，一旦这个范围 内的字节码执行出现异常，则通过 type 匹配异常类型，如果一致，进入 target 所指示行号
• 8 行的字节码指令 astore_2 是将异常对象引用存入局部变量表的 slot 2 位置

多个 single-catch 块的情况


因为异常出现时，只能进入 Exception table 中一个分支，所以局部变量表 slot 2 位置被共用

multi-catch 的情况

finally


可以看到 finally 中的代码被复制了 3 份，分别放入 try 流程，catch 流程以及 catch 剩余的异常类型流 程

2.12 练习 - finally 面试题

finally 出现了 return

• 由于 finally 中的 ireturn 被插入了所有可能的流程，因此返回结果肯定以 finally 的为准
• 至于字节码中第 2 行，似乎没啥用，且留个伏笔，看下个例子
• 跟上例中的 finally 相比，发现没有 athrow 了，这告诉我们：如果在 finally 中出现了 return，会 吞掉异常，可以试一下下面的代码

finally 对返回值影响
同样问问自己，下面的题目输出什么？

2.13 synchronized

对象操作指令
类变量(static字段)和实例变量的操作指令

注意
方法级别的 synchronized 不会在字节码指令中有所体现

3. 编译期处理

所谓的 语法糖 ，其实就是指 java 编译器把 .java 源码编译为 .class 的过程中，自动生成 和转换的一些代码，主要是为了减轻程序员的负担，算是 java 编译器给我们的一个额外福利（给糖吃 嘛）

注意，以下代码的分析，借助了 javap 工具，idea 的反编译功能，idea 插件 jclasslib 等工具。另外， 编译器转换的结果直接就是 class 字节码，只是为了便于阅读，给出了 几乎等价 的 java 源码方式，并 不是编译器还会转换出中间的 java 源码，切记。

3.1 默认构造

3.2 自动拆装箱

这个特性是 JDK 5 开始加入的， 代码片段1 ：

3.3 泛型集合取值

泛型也是在 JDK 5 开始加入的特性，但 java 在编译泛型代码后会执行 泛型擦除 的动作，即泛型信息 在编译为字节码之后就丢失了，实际的类型都当做了 Object 类型来处理：

所以在取值时，编译器真正生成的字节码中，还要额外做一个类型转换的操作：

如果前面的 x 变量类型修改为 int 基本类型那么终生成的字节码是

还好这些麻烦事都不用自己做。
擦除的是字节码上的泛型信息，可以看到 LocalVariableTypeTable 仍然保留了方法参数泛型的信息

使用反射，仍然能够获得这些信息：

###3.4 可变参数

可变参数也是 JDK 5 开始加入的新特性： 例如：

可变参数 String… args 其实是一个 String[] args ，从代码中的赋值语句中就可以看出来。 同 样 java 编译器会在编译期间将上述代码变换为：

3.5 foreach 循环

仍是 JDK 5 开始引入的语法糖，数组的循环：


而集合的循环：

实际被编译器转换为对迭代器的调用：

3.6 switch 字符串

从 JDK 7 开始，switch 可以作用于字符串和枚举类，这个功能其实也是语法糖，例如：

注意 switch 配合 String 和枚举使用时，变量不能为null，原因分析完语法糖转换后的代码应当自 然清楚

会被编译器转换为：

可以看到，执行了两遍 switch，第一遍是根据字符串的 hashCode 和 equals 将字符串的转换为相应 byte 类型，第二遍才是利用 byte 执行进行比较。

为什么第一遍时必须既比较 hashCode，又利用 equals 比较呢？hashCode 是为了提高效率，减少可 能的比较；而 equals 是为了防止 hashCode 冲突，例如 BM 和 C. 这两个字符串的hashCode值都是 2123 ，如果有如下代码：

会被编译器转换为：

3.7 switch 枚举

switch 枚举的例子，原始代码：

转换后代码：

3.8 枚举类

JDK 7 新增了枚举类，以前面的性别枚举为例：

转换后代码：

3.9 try-with-resources

JDK 7 开始新增了对需要关闭的资源处理的特殊语法 try-with-resources`：

为什么要设计一个 addSuppressed(Throwable e) （添加被压制异常）的方法呢？是为了防止异常信 息的丢失（想想 try-with-resources 生成的 fianlly 中如果抛出了异常）：

输出：

3.10 方法重写时的桥接方法

我们都知道，方法重写时对返回值分两种情况：
父子类的返回值完全一致
子类返回值可以是父类返回值的子类（比较绕口，见下面的例子）

对于子类，java 编译器会做如下处理：

其中桥接方法比较特殊，仅对 java 虚拟机可见，并且与原来的 public Integer m() 没有命名冲突，可以 用下面反射代码来验证：

3.11 匿名内部类

引用局部变量的匿名内部类，源代码：

转换后代码：

4.类加载的阶段

4.1 加载

将类的字节码载入方法区中，内部采用 C++ 的 instanceKlass 描述 java 类，它的重要 field 有：

• _java_mirror 即 java 的类镜像，例如对 String 来说，就是 String.class，作用是把 klass 暴 露给 java 使用
• _super 即父类
• _fields 即成员变量
• _methods 即方法
• _constants 即常量池
• _class_loader 即类加载器
• _vtable 虚方法表
• _itable 接口方法表
• 如果这个类还有父类没有加载，先加载父类
• 加载和链接可能是交替运行的

注意

• instanceKlass 这样的【元数据】是存储在方法区（1.8 后的元空间内），但 _java_mirror 是存储在堆中

• 可以通过前面介绍的 HSDB 工具查看

4.2 链接

验证

验证类是否符合 JVM规范，安全性检查
用 UE 等支持二进制的编辑器修改 HelloWorld.class 的魔数，在控制台运行

准备

为 static 变量分配空间，设置默认值

• static 变量在 JDK 7 之前存储于 instanceK lass 末尾，从 JDK 7 开始，存储于 _java_mirror 末尾
• static 变量分配空间和赋值是两个步骤，分配空间在准备阶段完成，赋值在初始化阶段完成
• 如果 static 变量是 final 的基本类型，以及字符串常量，那么编译阶段值就确定了，赋值在准备阶 段完成
• 如果 static 变量是 final 的，但属于引用类型，那么赋值也会在初始化阶段完成

默认类型

解析

:将常量池中的符号引用解析为直接引用

4.3 初始化

< cinit >()V 方法
初始化即调用 < cinit >()V ，虚拟机会保证这个类的『构造方法』的线程安全

发生的时机
概括得说，类初始化是【懒惰的】

• main 方法所在的类，总会被首先初始化
• 首次访问这个类的静态变量或静态方法时
• 子类初始化，如果父类还没初始化，会引发
• 子类访问父类的静态变量，只会触发父类的初始化
• Class.forName
• new 会导致初始化

不会导致类初始化的情况

• 访问类的static final静态常量(基本类型和字符串)不会触发初始化·
• 类对象.class不会触发初始化
• 创建该类的数组不会触发初始化
• 类加载器的loadClass方法
• Class.forName的参数2为false时

实验

验证（实验时请先全部注释，每次只执行其中一个）

4.4 练习

从字节码分析，使用 a，b，c 这三个常量是否会导致 E 初始化

第三个会导致类的初始化

典型应用 - 完成懒惰初始化单例模式

以上的实现特点是：

• 懒惰实例化
• 初始化时的线程安全是有保障的

5. 类加载器

以 JDK 8 为例：

命名空间

测试不同类的加载器

双亲委派模型

ClassLoader加载器源码分析

• public final ClassLoader getParent()

getParent()
返回该类加载器的超类加载器

双亲委派的实现 核心

• public Class<?> loadclass(String nalme) throws ClassNotFoundException

loadclass(String nalme)

加载名称为name的类，返回结果为java.lang.Class类的实例。如果找不到类，则返回ClassNotFoundException异常。该方法中的逻辑就是双亲委派模式的实现。

• protected class<?> findclass(string name) throws ClassNotFoundException

findclass(string name)

查找二进制名称为name的类，返回结果为java.lang.Class类的实例。这是一个受保护的方法，

JVM鼓励我们重写此方法，需要自定义加载器遵循双亲委托机制，该方法会在检查完父类加载器之后被loadClass()方法调用。

• protected final Class<?> defineClass(String name， byte[] b, int off， int len)

defineClass(String name， byte[] b, int off， int len)
:
根据给定的字节数组b转换为Class的实例，off和len参数表示实际Class信息在byte数组中的位置和长度，
其中byte数组b是ClassLoader从外部获取的。这是受保护的方法，只有在自定义ClassLoader子类中可以使用。

• protected final Class<?> findLoadedclass(String name)

findLoadedclass(String name)

查找名称为name的已经被加载过的类，返回结果为java.lang.Class类的实例。这个方法是final方法，无法被修改

• protected fina1 void resolveclass(class<?> c)

链接指定的一个Java类。使用该方法可以使用类的Class对象创建完成的同时也被解析。
前面我们说链接阶段主要是对字节码进行验证，为类变量分配内存并设置初始值同时将字节码文件中的符号引用转换为直接引用。

解析: loadClass()的剖析

protected Class<?> loadClass(String name, boolean resolve) 
		 throws ClassNotFoundException { 
	 synchronized (getClassLoadingLock(name)) {      
	     // 1. 在缓存中检查该类是否已经加载 
	    Class<?> c = findLoadedClass(name);        
	    if (c == null) {
	     	long t0 = System.nanoTime();            
	     	try {   
	     	//获取当前类加载器的上级加载器
	     	   if (parent != null) {                    
	     		    // 2. 有上级的话，委派上级 loadClass
	     			c = parent.loadClass(name, false);
	     		} else {                    
	     		  // 3. parent为null，父类加载器是引导类加载器 BootstrapClassLoader
	     		  c = findBootstrapClassOrNull(name);   
	   	  } } catch (ClassNotFoundException e) { 
	     	             } 
	     	    if (c == null) {             
	     	       long t1 = System.nanoTime();
	             // 4. 每一层找不到，调用 findClass 方法（每个类加载器自己扩展）来加载                
					c = findClass(name);
					
					// 5. 记录耗时                
					sun.misc.PerfCounter.getParentDelegationTime().addTime(t1 - t0);                
					sun.misc.PerfCounter.getFindClassTime().addElapsedTimeFrom(t1);                
					sun.misc.PerfCounter.getFindClasses().increment(); 
					}        
			}        
			if (resolve) { 
			     resolveClass(c);
			 }        
			 return c; 
	    } 
   } 

ClassLoader子类源码分析

SecureClassLoader与URLClassLoader
URLClassLoader 重写了findClass(String) 方法
中

接着SecureClassLoader扩展了ClassLoader，新增了几个与使用相关的代码源(对代码源的位置及其证书的验证)和权限定义类验证(主要指对class源码的访问权限)的方法，一般我们不会直接跟这个类打交道，更多是与它的子类
URLClassLoader有所关联。

双亲委派机制优劣势

优势

• 避免类的重复加载，确保一个类的全局唯一性

Java类随着它的类加载器一起具备了一种带有优先级的层次关系，通过这种层级关可以避免类的重复加载，当父亲已经加载了该类时，就没有必要子classLoader再加载一次。

• 保护程序安全，防止核心API被随意篡改

弊端

破坏双亲委派机制

默认上下文加载器就是应用类加载器，这样以上下文加载器为中介，使得启动类加载器中的代码也可以访问应用类加载器中的类。

5.5 自定义类加载器

问问自己，什么时候需要自定义类加载器

• 1）想加载非 classpath 随意路径中的类文件
• 2）都是通过接口来使用实现，希望解耦时，常用在框架设计
• 3）这些类希望予以隔离，不同应用的同名类都可以加载，不冲突，常见于 tomcat 容器
• 4）防止源码泄露

步骤：

1. 继承 ClassLoader 父类
2. 要遵从双亲委派机制，重写 findClass 方法
   * * 注意不是重写 loadClass 方法，否则不会走双亲委派机制
3. 读取类文件的字节码
4. 调用父类的 defineClass 方法来加载类
5. 使用者调用该类加载器的 loadClass 方法

public class MyClassloader extends ClassLoader{

    private String byteCodePath;

    public MyClassloader(ClassLoader parent, String byteCodePath) {
        super(parent);
        this.byteCodePath = byteCodePath;
    }

    public MyClassloader(String byteCodePath) {
        this.byteCodePath = byteCodePath;
    }

    @Override
    protected Class<?> findClass(String className) throws ClassNotFoundException {
        BufferedInputStream bis=null;
        ByteArrayOutputStream baos=null;

        //获取字节码完整路径
        String filename=byteCodePath + className +".class";

        try {
            //获取一个输入流
            bis=new BufferedInputStream(new FileInputStream(filename));
            //获取一个输出流
            baos=new ByteArrayOutputStream();

            //具体读入数据并写出的过程
            int len;
            byte[] data=new byte[1024];
            while ((len=bis.read(data))!=-1){
                baos.write(data,0,len);
            }
            //获取内存中的完整的字节数组
            byte[] byteCodes=baos.toByteArray();
            ///调用defineclass()，将字节数组的数据转换为CLass的实例。
            Class<?> aClass = defineClass(className, byteCodes, 0, byteCodes.length);
            return aClass;

        } catch (IOException e) {
            e.printStackTrace();
            throw new ClassNotFoundException("类文件未找到",e);
        }finally {
            try {
                if (baos !=null) {
                    baos.close();
                }
            } catch (IOException e) {
                e.printStackTrace();
            }
            try {
                if (bis!=null) {
                    bis.close();
                }
            } catch (IOException e) {
                e.printStackTrace();
            }
        }

    }
}

或者