【JVM】class文件全解析

一、从class文件开始

1、手撕字节码文件

一个简单的Java源文件

package jvmClass;

public class jvmClass{
   
	private String name;
	
	public String getName() {
   
		return name;
	}
}

javac编译后得到字节码文件

class文件概述

Class文件是一组以8个字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑地排列在文件之中，中间没有添加任何分隔符，这使得整个Class文件中存储的内容几乎全部是程序运行的必要数据，没有空隙存在。当遇到需要占用8个字节以上空间的数据项时，则会按照高位在前的方式分割成若干个8个字节进行存储。

（11 00 在class文件中，11 00 进行存储。高位在前，低位在后。 有一些其他的操作系统的存储方式，低位在前，高位在后，存储成 00 11.）

Class文件格式采用一种类似于C语言结构体的伪结构来存储数据，这种伪结构中只有两种数据类型：“无符号数”和“表”。

字节码文件结构

字节码文件结构中存在两种数据类型
（1）无符号数属于基本的数据类型，以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节的无符号数，无符号数可以用来描述数字、索引引用、数量值或者按照UTF-8编码构成字符串值。

（2）表是由多个无符号数或者其他表作为数据项构成的复合数据类型，为了便于区分，所有表的命名都习惯性地以“_info”结尾。表用于描述有层次关系的复合结构的数据，整个Class文件本质上也可以视作是一张表

魔数与次主版本号

（1）魔数

每个Class文件的头4个字节被称为魔数（Magic Number），它的唯一作用是确定这个文件是否为一个能被虚拟机接受的Class文件。

不仅是Class文件，很多文件格式标准中都有使用魔数来进行身份识别的习惯，譬如图片格式，如GIF或者JPEG等在文件头中都存有魔数。使用魔数而不是扩展名来进行识别主要是基于安全考虑，因为文件扩展名可以随意改动。

CAFEBABE（咖啡宝贝）。

（2）次主版本号

JDK版本号

1.1 常量池计数器

字节码文件中，魔数和版本号之后是常量池入口。

概述：

常量池可以比喻为class文件里的资源仓库，是class文件结构中于其他项目关联最多的数据。通常也是占用Class文件空间最大的数据项目之一，另外，它还是在Class文件中第一个出现的表类型数据项目。
由于常量池中的常量的数量是不固定的，所以需要在常量池入口处放置一项u2类型的数据，代表常量池容量计数值。

class文件中常量计数器从1开始，而不是从0开始

	与Java中语言习惯不同，这个容量计数是从1而不是0开始的。在Class文件格式规范制定之时，设计者将第0项常量空出来是有特殊考虑的，这样做的目的在于，如果后面某些指向常量池的索引值的数据在特定情况下需要表达“不引用任何一个常量池项目”的含义，可以把索引值设置为0来表示。Class文件结构中只有常量池的容量计数是从1开始，对于其他集合类型，包括接口索引集合、字段表集合、方法表集合等的容量计数都与一般习惯相同，是从0开始。
	
例子1 ：Object类没有父类，他的父类索引指向哪里呢？指向 00 00 （指向常量池里的第 0 个常量，第0个常量什么都没有，这个第 0个，就是为了给所有无法指向的情况提供的一个空常量指向）
例子2： 匿名内部类。 （类名称指向哪里？指向 00 00）

1.2 常量池

常量池主要存放两大类常量：

• 字面量（Literal）
• 符号引用（Symbolic References）：类加载中会存在解析的过程，即符号引用——>直接引用

字面量：
	看上去是啥就存储啥
	比较接近于Java语言层面的常量概念，如文本字符串、被声明为final的常量值等。

符号引用
	则属于编译原理方面的概念，主要包括下面几类常量：
·被模块导出或者开放的包（Package）
·类和接口的全限定名（Fully Qualified Name）
·字段的名称和描述符（Descriptor）
·方法的名称和描述符
·方法句柄和方法类型（Method Handle、Method Type、Invoke Dynamic）
·动态调用点和动态常量（Dynamically-Computed Call Site、Dynamically-Computed Constant）

在Class文件中不会保存各个方法、字段最终在内存中的布局信息，这些字段、方法的符号引用不经过虚拟机在运行期转换的话是无法得到真正的内存入口地址（类加载说。你的虚拟机不运行，你的类就是无用的。一切都要基于jvm运行的时候，类才有他的意义），也就无法直接被虚拟机使用的。当虚拟机做类加载时，将会从常量池获得对应的符号引用，再在类创建时或运行时解析、翻译到具体的内存地址之中。

常量池的项目类型

常量池的项目类型的结构

（1）CONSTANT_Class_info型常量的结构

（2