class文件详解

Posted 2023-05-09

参考技术A 能够被JVM识别，加载并执行的文件格式

1.通过IDE自动帮我们build。
2.手动通过javac去生成class文件。

记录一个类文件的所有信息。

1.一种8位字节的二进制流文件
2.各个数据按顺序紧密地排列，无间隙 （这样做的好处可以减少class文件的体积，jvm加载我们class文件的时候更加快速）
3.每个类、接口和枚举都单独占据一个class文件（这样做的好处是每个累接口等都可以独自管理自己内部的内容而无需相互交叉）
整体文件格式：

格式详解：
1.magic
无符号4字节，用来表示class文件的开头，加密段，给虚拟机用来判断当前的 class文件是否被串改过。
2.minor_version
class文件最小可以被哪个版本的jdk所加载，也就是最小适配的jdk
3.major_version
表示我们当前class文件是由哪个版本的jdk生成的。
4.constant_pool_count
class文件中常量池的数量，通常只有一个常量池。
5.constant_pool
代表常量池，类型为cp_info（结构体类型）。
常量池中主要包含的内容：
首先列举三个比较简单的
CONSTANT_Integer_info:存储class文件中的int类型。
CONSTANT_Long_info:存储class文件中的long类型。
CONSTANT_String_info:存储class文件中的string类型。
它们分别存储字节码中的int、long、string类型，当然还有CONSTANT_Short_info、CONSTANT_Float_info等。
下面列举几个稍微复杂的
CONSTANT_Class_info:记录类中相关的信息、不仅记录了当前类的信息，还记录了引用到的一些类的信息。
CONSTANT_Fieldref_info:记录类中Field相关的信息。
CONSTANT_Methodref_info:记录类中Method相关的信息。
这三个里面存储的并不是真正的内容，都是一些索引，这些索引指向的又是CONSTANT_String_info等。
6.access_flags
表示class文件的作用域标志，比如：public 、public final
取值范围：

7.this_class
this_class是指向constant pool的索引值，该值必须是CONSTANT_Class_info类型，指定当前字节码定义的类或接口。
8.super_class
super_class是指向constant pool的索引值，该值必须是CONSTANT_Class_info类型，指定当前字节码定义的类或接口的直接父类。只有Object类才没有直接父类，此时该索引值为0。并且父类不能是final类型。接口的父类都是Object类。
9.interfaces_count
当前class文件直接实现的接口数量。
10.interfaces
当前class文件直接实现的接口，只记录直接实现的，不会记录间接实现的。
11.fields_count
class文件中成员变量的数量。
12.fields
class文件中所有的成员变量，field_info类型的结构体，该结构体中主要包含了每个成员变量的name、所属的类以及类型。
13.methods_count
记录class文件中方法的数量。
14.methods
记录class文件中所有的方法，类型为method_info结构体类型，主要包含了方法的名字、类型、access_flags等信息。
15.attribute_count
记录了class文件属性的数量。
16.attributes
记录class文件的一些属性，除去上面的一些信息剩下的都包含在attributes中，比如 说注解。

1.内存占用大，不适合移动端。
2.堆栈的加载模式，加载速度慢。
3.文件IO操作多，类查找慢。

java 字节码文件详解

每一个class字节码文件都唯一对应一个类或接口，class文件中记录中类或接口的基本信息，但反之不成立，不是每一个类或接口都有一个唯一对应的字节码文件，首先类或接口的字节码可以不以文件的方式存储，可以直接从内存中生成字节码，而不产生.class文件，动态代理的原理就是直接内存中生成字节码流，根据加载字节码流进行类加载操作，类实例化，生成代理对象。

字节码文件记录的信息：魔术，class文件主次版本，常量池数量及常量池表，类或接口的访问标志，类索引，超类索引，接口数量及接口表，字段数量及字段表，方法数量及方法表，属性属性及属性表

魔术：四个字节，用于定义此字节码文件是否符合虚拟机规范，保证字节码文件不会威胁虚拟机的安全，若为cafebabe则表示字节码符合虚拟机规范

主次版本号：四个字节，前两字节表示次版本号，后两字节表示主版本号，用于定义编译的字节码文件格式版本，第版本虚拟机拒绝运行高版本字节码文件，但高版本虚拟机会向下兼容低版本字节码文件

常量池数量及常量池表：这部分主要统计类或接口的字面量和符号引用，用于每个类或接口拥有的字面量和符号引用属性不一定相同，所有需要两个字节的长度来表示常量池数目，常量池数目计数从1开始，比如类或接口中总共有两个字面量符号引用，则常量池数目为2，注意，不是从0开始计数，0可能另有用处，可以用来表示类或接口中未出现的引用，用来表示超级父类java.long.Object全限定名的索引，常量池表是一个数组，一共有18种类型，每一种类型有一个tag属性与之对应，constant_utf8_info用于表示文本字符串，类和接口全限定名，字段名称及描述符，方法名称及描述符等常量信息，constant_integer_info用于存储int类型的常量信息，只存储int类型的值，不存储其他符合引用信息，比如 final int a=1 符号引用信息为a，值为1，constant_float_info用于存储float类型常量信息，也是只存储float值，不存储引用信息，constant_long_info用于存储long类型的常量信息，constant_double_info用于存储double类型的常量信息，constant_class_info用于存储指向常量池列表constant_unf8_info类和接口全限定名的有效引用，constant_string_info用于存储指定常量池列表constant_utf8_info某常量项的有效索引，指向文本字符串，constant_fieldref_info用于存储指向常量池列表constant_class_info常量项和constant_nameandtype_info常量项的有效索引，constant_methodref_info用于存储指向常量池列表constant_class_info常量项和constant_nameandtype_info常量项的有效索引，constant_interfacemethodref_info用于存储指向常量池列表constant_class_info常量项和constant_nameandtype_info常量项的有效索引，constant_nameandtype_info用于存储指向常量池列表constant_utf8_info常量项的有效索引，可以通过所有找到对应类及描述符，constant_methodtype_info用于存储指向常量池constant_utf8_info常量项，表示方法类型，找到对应的方法描述符，constant_methodhandle_info用于表示方法句柄，属性reference_kind表示方法句柄的类型，1-4表示为字段创建的方法句柄，5-8表示为类方法（构造、实例、静态）创建的句柄，9表示为接口方法创建的句柄，reference_index属性指向根据reference_kind对应的常量池列表，constant_invokedynamic_info用于存储当前字节码文件中引导方法bootstrap_method数组的有效索引和指向常量池constant_nameandtype_info常量项的有效索引

访问标志：两个字节，用于定义字节码文件所表示的类或接口的访问权限，如判断是类还是接口，类是否被abstract修饰，类是否被final修饰，  acc_interface表示是接口，acc_annotation表示是注解类型，acc_enum表示是枚举类型，acc_public 表示类或接口是public访问权限，acc_final表示类不允许被继承，acc_abstract表示类为抽象类，acc_super表示类调用实例方法时需进行特殊操作

类索引及父类索引：四个字节，用于存储指向常量池constant_class_info对应的有效索引，而constant_class_info存储常量池列表的constant_utf8_info常量项索引，根据此索引可找到类和父类的全限定名

接口数量及接口表：接口属性用于存储当前类或接口的直接超类接口数量，接口表是一个数组，记住，只有常量池表从1开始计数，其余都是从数组下表0开始计数，接口表数组的每一个数组元素存储此类或接口的直接超类接口的有效索引，根据此索引找到constant_class_info对应的常量项，根据constant_class_info可找到对应直接超类接口的全限定名

字段数量及字段表：字段数量用于存储类或接口的字段数目，包括类字段和实例字段，字段表为一个数组，每一个数组元素都相当于一个field_info结构的对象，field_info结构包含字段完整信息：字段标识符，字段访问修饰符，字段是类字段还是实例字段，字段是否为常量等，注意：此处字段表示当前类或接口的字段，不包括从超类或接口继承的字段，java语法规范不允许同一个类或接口中出现同一字段名的不同字段，但是class文件中却可以允许出现相同字段名的不同字段，只有字段的描述符不同即可，field_info结构属性：access_flags用于存储字段的访问标志，acc_private，acc_protected，acc_public，acc_final，acc_static，acc_volatile等，注意：acc_final与acc_volatile不能同时出现在同一字段，name_index指向常量池constant_utf8_info常量项的有效索引，获取当前字段的简单名称，descriptor_index指向常量池constant_utf8_info常量项的有效索引，获取当前字段的描述符，attribute_count，attributes[attributes_count]这两项表示字段的属性信息，用于描述字段相关信息，attribute数组每一个元素都是一个attribute_info结构的元素

方法数量及方法表：方法数量用于存储当前类或接口的方法数目，包括实例方法，类方法，抽象方法，方法表是一个数组，每一个数组元素都是一个method_info结构，method_info结构包含方法的完整信息：方法描述符，访问修饰符，是否为final方法，是否为abstract方法等，注意：此处的方法数组只是表示当前类或接口的所有方法，并不包括从超类及父接口继承来的方法，java语法规范java类或接口中不允许出现方法签名完全一样的方法同时出现，会编译报错，而字节码层面却允许方法签名完全相同的方法同时出现，只需要保证方法的返回值类型不同，method_info结构属性与field_info一致，但acc_flags类型不尽相同，注意acc_abstract不能与acc_final，acc_static，acc_private，acc_synchronized，acc_native同时使用，接口方法中只能使用acc_public，acc_abstract，此处我有一个疑问，接口中default方法有没有对应的访问标志，注意：<init>方法只能使用acc_private，acc_protected，acc_public访问标志

属性数量及属性表：属性数量表示当前字节码文件中attribute_info表数目，属性表是一个数组，每一个数组元素都是attribute_info结构，attribute_info结构表示属性的完整信息：第一项指向常量池constant_utf8_info某常量项的有效索引，根据此索引可找到属性对应名称，属性可以出现在classFile，字段表，方法表中，用以描述相关信息，attribute_info结构完整信息：attribute_name_index指向常量池constant_utf8_info常量项的有效索引，获取属性名称，attribute_length用于指明info数组长度，info[attribute_length]用于存储属性的数据信息，必须实现的数据信息：Code，ConstantValue，Exceptions，  code属性用于描述method_info的具体相关信息，attribute_name_index指向常量池constant_utf8_info常量项的有效索引，获取属性名称，即code，attribute_length表示attribute表示attribute_info长度，不包括attribute_name_index和attribute_length的初始6字节，max_stack描述当前方法最大栈深度，max_locals描述当前方法的局部变量表，code_length表示code数组长度，code[]表示当前方法编译后的字节码，  ContantVaue位于field_info结构中，用于通知虚拟机对类变量进行初始化，即字段需要被acc_static修饰，当前类常量不需要ContantValue通知虚拟机执行初始化，早就执行好了，实例字段此时不需要初始化，