class文件结构
- Class文件是一组以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑地排列在Class文件中，中间没有添加任何分隔符。
- 根据Java虚拟机规范的规定，Class文件格式采用一种类似于C语言结构体的伪结构来存储，这种伪结构中只有两种数据类型：无符号数和表。无符号数属于基本数据类型，以u1、u2、u4、u8来分别代表1、2、4、8个字节的无符号数。表是由多个无符号数或其他表作为数据项构成的符合数据类型，所有的表都习惯性地以“_info”结尾。
ClassFile{
magic u4,
minor_version u2,
major_version u2,
constant_pool_count u2,
constant_pool cp_info*constant_pool_count,
access_flags u2,
this_class u2,
super_class u2,
interface_count u2,
interfaces u2 * interface_count,
fields_count u2,
fields field_info * fields_count,
methods_count u2,
methods method_info * methods_count,
attributes_count u2,
attributes attributes_info * attributes_count
}
magic(魔数) u4
- 值为0xcafebabe，没有特别的意义，放在文件头并选取用来标记该文件是一个class文件。
minor_version/major_version(次版本号和主版本号) u2 u2
- 高版本jdK可以向下兼容以前版本的class文件
constant_pool_count/constant_pool(常量池数量和常量池) u2
- 计数器从1开始，第0位有特殊含义，表示指向常量池的索引值数据不引用任何一个常量池项目
-
常量池保存了文件中类或接口相关的一切常量，字面常量(直接量)，如文字字符串、final变量值，以及符号引用，如类或接口的全限定名、方法或字段的简单名称和描述符。
access_flags(访问标志) u2
- 标识这个类或接口的访问信息。是类还是接口，是否public，是否abstract等等。两个字节一共16个标志位，目前只定义了8个，没有使用的一律为0。
类索引、父类索引与接口索引集合 u2 u2 u2表
- 各自指向一个类型为Constant_class_info的类描述符常量，通过它的索引值找到一个Constant_utf8_info类型的常量的全限定名字符串。
字段表集合
- 描述接口或者类中声明的类变量以及实例变量，不包括方法中的局部变量。
- 从父类继承来的字段不会出现在字段表中。但有可能出现类中不存在的字段，如内部类中自动添加指向外部类实例的字段。
field_info
{
u2 access_flags;
u2 name_index; //字段的简单名称
u2 descriptor_index; //字段和方法的描述符
u2 attributes_count;
attributes_info * attributes_cout attributes
}
字段访问标志
描述符标识字符含义
方法表集合
- 字段表集合结束后便是方法表集合。
- 和字段表一样，使用一个u2类型的方法计数器，记录该类中方法的个数。
- 方法的定义可以和字段表一样表达，方法的代码以字节码形式存放在Code属性里。
- 如果父类方法没有被重写，方法表集合中就不会出现来自父类的方法信息。但有可能出现编译器自动添加的方法，如类构造器<clinit>和实例构造器<init>。
方法表的结构
属性表集合
code属性
-
该属性里主要存放由javac编译器处理后得到的字节码指令。
code属性结构
- attribute_name_index是一项指向CONSTANT_Utf8_info型常量的索引，常量值固定为“Code”，它代表了该属性的名称。
- attribute_length指示了属性值的长度，由于属性名称索引与属性长度一共是6个字节，所以属性值的长度固定为整个属性表的长度减去6个字节。
- max_stack代表了操作数栈深度的最大值。
- max_locals代表了局部变量表所需的存储空间，它的单位是Slot，并不是在方法中用到了多少个局部变量，就把这些局部变量所占Slot之和作为max_locals的值，原因是局部变量表中的Slot可以重用。
- code_length和code用来存储Java源程序编译后生成的字节码指令。code用于存储字节码指令的一系列字节流，它是u1类型的单字节，因此取值范围为0×00到0xFF，那么一共可以表达256条指令，目前，Java虚拟机规范已经定义了其中200条编码值对应的指令含义。code_length虽然是一个u4类型的长度值，理论上可以达到2^32-1，但是虚拟机规范中限制了一个方法不允许超过65535条字节码指令，如果超过了这个限制，Javac编译器将会拒绝编译。
- 异常表： 如果字节码从第start_pc行到第end_pc行之间（不含end_pc行）出现了类型为catch_type或其子类的异常（catch_type为指向一个CONSTANT_Class_info型常量的索引），则转到第handler_pc行继续处理，当catch_pc的值为0时，代表任何的异常情况都要转到handler_pc处进行处理。
异常表
expections属性
- 与code平级，描述方法可能抛出的受查异常，及throws关键字后的异常。注意与上面异常表区分。
LineNumberTable属性
- 描述Java源码行号和字节码行号的对应关系，非必须，javac时可以取消，取消的话，抛出异常时，堆栈不显示出错的行号。
LocalVariableTable属性
- 描述栈帧中局部变量表中的变量和Java源码中定义的变量之间的关系，非必须，可以和上面一样取消。
SourceFile属性
- 记录这个Class文件的源码文件名称，可以取消。
ConstantVaule属性
- 通知虚拟机自动为静态变量赋值。
【final、static、static final修饰的字段赋值的区别】
- static修饰的字段在类加载过程中的准备阶段被初始化为0或null等默认值，而后在初始化阶段（触发类构造器<clinit>）才会被赋予代码中设定的值，如果没有设定值，那么它的值就为默认值。
- final修饰的字段在运行时被初始化（可以直接赋值，也可以在实例构造器中赋值），一旦赋值便不可更改；
- static final修饰的字段在Javac时生成ConstantValue属性，在类加载的准备阶段根据ConstantValue的值为该字段赋值，它没有默认值，必须显式地赋值，否则Javac时会报错。可以理解为在编译期即把结果放入了常量池中。
InnerClasses属性
- 该属性用于记录内部类与宿主类之间的关联。如果一个类中定义了内部类，那么编译器将会为它及它所包含的内部类生成InnerClasses属性。
