类文件结构

最新推荐文章于 2021-02-12 13:58:32 发布
最新推荐文章于 2021-02-12 13:58:32 发布
阅读量437 收藏 1
点赞数
分类专栏： 虚拟机
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/ycxzuoxin/article/details/83450663
版权

类文件结构

总结自周志明的《深入理解Java虚拟机》

概述

计算机只认识0和1，将我们编写的程序编译成二进制本地机器码已不再是唯一选择，越来越多的程序语言选择了与操作系统和机器指令集无关的、平台中立的格式作为程序编译后的存储格式

无关性

Java诞生之时曾经提出过著名的宣传口号：”Write Once, Run Anywhere".虚拟机可以载入和执行统一中平台无关的字节码来实现这个口号。各种虚拟机与所有平台都同意使用的程序存储格式——字节码（ByteCode）。Java虚拟机不和任何语言绑定，只与“Class文件”这种特定的二进制文件格式所关联，虚拟机不关心Class的来源

Class类文件的结构

  • Class定义

    • Class文件以一组以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑的排列在Class文件之中。中间没有添加任何分隔符，没有空隙存在。当遇到需要占用8位字节以上空间的数据项时，则会按照高位在前（Big-Endian：高位字节在地址最低位，与x86等处理器相反）的方式分隔成若干个8位字节进行存储。

  • 文件格式

    • 采用一种类似于C语言结构体的伪结构来存储数据，这种伪结构中只有两种数据类型

      • 无符号数

        • 属于基本的数据类型，以u1、u2、u4、u8来分别代表1个字节，2个字节，4个字节，8个字节的无符号数，可以用来描述数字，索引引用， 数量值或者按照UTF-8编码狗策划给你字符串值。

      • 表

        • 由多个无符号数或者其他表作为数据项构成的符合数据类型，所有表都习惯性的以“_info”结尾，表用于描述有层次关系的符合结构的数据，整个Class文件本质就是一张表。由下表的数据项构成
        类型名称数量
        u4magic1
        u2minor_version1
        u2major_version1
        u2constant_pool_count1
        cp_infoconstant_poolconstant_pool_count-1
        u2access_flags1
        u2this_class1
        u2super_class1
        u2interfaces_count1
        u2interfacesinterfaces_count
        u2field_count1
        field_infofieldsfield_count
        u2methods_count1
        method_infomethodsmethods_count
        u2attributes_count1
        attributes_infoattributesattributes_count

    • 由于Class的结构没有任何分隔符号，不像XML等描述语言，无论是顺序还是数量，甚至数据存储的字节序（Byte Ordering，Class文件中字节序为Big-Endian）这样的细节，都是被严格限定的

魔数（Magic Number）-> 无符号数

每个Class文件头4个字节称为魔数，他唯一作用是确定这个文件是否为一个能被虚拟机接受的Class文件。使用魔数而不用扩展名来识别的主要原因是基于安全方面的考虑，因为扩展名可以随意的改动。文件格式的制定者可以自由的选择魔数值，只要这个魔数值没有被广泛的使用过又不会引起混淆即可。

class文件的版本 -> 无符号数

紧接着魔数的4个字节存储的是Class文件的版本号。第5个和第6个字节存储的是次版本号（Minor Version），第7个和第8个字节存储的是主版本号（Major Version）。Java的版本号是从45开始的。

常量池 -> 表

紧接着主次版本号之后的是常量池入口，可以理解为Class文件的资源仓库，是Class文件结构中与其他项目关联最多的数据类型，也是占用Class文件空间最大的数据之一。它是Class文件中第一个出现的表类型结构数据项目。

  • 常量池容量计数值

    • 由于常量池中常量的数量是不固定的，所以在常量池的入口需要放置一个u2类型的数据，代表常量池容量计数值（constant_pool_count）。与Java中语言习惯不一样的是，这个容量计数值是从1开始的而不是0，所以常量的数量是计数值-1，索引范围是1~计数值-1。将0空出来是在于满足后面某些指向常量池的索引值的数据在特定的情况下需要表达“不引用任何一个常量池项目”的含义，这种情况就用把索引值置为0，Class文件结构中只有常量池的容量计数是从1开始的。

  • 常量池

    • 字面量（Literal）
      • 接近Java中常量的概念，如文本字符串、声明为final的常量值等
    • 符号引用（Symbolic Reference）
      • 类和接口的全限定名（Fully Qualified Name）
      • 字段的名称和描述符（Descriptor）
      • 方法的名称和描述符

    Java代码在进行Javac编译的时候，不会像C、C++那样有link这一步，在虚拟机加载Class文件进行动态连接。也就是说，在Class文件中不会保存各个方法、字段的最终内存布局信息，因为这些字段、方法的符号引用不经过运行期转换的话，无法得到真正的内存入口地址，也就无法被虚拟机直接使用。当虚拟机运行时，需要从常量池获得对应的符号引用，再在类创建时或者运行时解析、翻译到具体的内存地址之中。

    常量池中每一项常量都是一个表，在JDK1.7之前共有11种结构各不相同的表结构数据，在JDK1.7中由而外增加了3种

    • CONSTANT_MethodHandle_info
    • CONSTANT_MethodType_info
    • CONSTANT_InvokeDynamic_info

    这14种表都有一个共同的特点，就是表的第一位是一个u1类型的标志位（tag），代表当前常量代表哪种类型

    类型标志描述
    CONSTANT_Utf-8_info1UTF-8编码的字符串
    CONSTANT_Integer_info3整型字变量
    CONSTANT_Float_info4浮点型字变量
    CONSTANT_Long_info5长整型字变量
    CONSTANT_Double_info6双精度浮点型字变量
    CONSTANT_Class_info7类或接口的符号引用
    CONSTANT_String_info8字符串类型字变量
    CONSTANT_Fieldref_info9字段的符号引用
    CONSTANT_Mehtodref_info10方法的符号引用
    CONSTANT_IntefaceMehtodref_info11接口中方法的符号引用
    CONSTANT_NameAndType_info12字段或方法的部分符号引用
    CONSTANT_MethodHandle_info15表示方法句柄
    CONSTANT_MethodType_info16表示方法类型
    CONSTANT_InvokeDynamic_info18表示一个动态方法调用点

    例如CONSTANT_Class_info的结构

    类型名称数量
    u1tag1
    u2name_index1
    • tag
      • 标志位
    • name_index
      • 索引值
        • 它指向常量池中一个CONSTANT_Utf-8_info类型常量，代表这个类（或接口）的全限定名，指向了常量池的索引

    例如CONSTANT_Utf-8_info结构

    类型名称数量
    u1tag1
    u2length1
    u1byteslength
    • tag
      • 标志位
    • length
      • 长度
        • 说明这个UTF-8编码的字符串长度是多少字节
    • bytes
      • 字符串内容
        • 长度为length字节的雷旭数据，是一个使用UTF-8缩略编码表示的字符串。
    • UTF-8的缩略编码和普通UTF-8编码的区别
      • 从’\u0001’到’\u007f’之间的字符（相当于1~127的ASCⅡ码）的缩略编码使用一个字节表示
      • 从’\u0080’到’\u07ff’之间的字符的缩略编码使用两个字节表示
      • 从’\u0800’到’\uffff’之间的所有字符的缩略编码就按照普通UTF-8编码规则使用三个字符表示
    • 注意
      • Class文件中方法字段等都需要引用CONSTANT_Utf-8_info型常量来描述名称，由于u2能表达的最大值为65535，所以如果Java程序中定义了超过64KB英文字符的变量或方法名，将无法编译
    • 分析工具
      • javap -verboseclass文件名（不带后缀）
    • 14中常量项的结构表
常量项目类型描述
CONSTANT_Utf-8_infotagu1值为1
lengthu2UTF-8编码的字符串占用的字节数
bytesu1长度为length的UTF-8编码的字符串
CONSTANT_Integer_infotagu1值为3
bytesu4按照高位在前的int值
CONSTANT_Float_infotagu1值为4
bytesu4按照高位在前的float值
CONSTANT_Long_infotagu1值为5
bytesu8按照高位在前的long值
CONSTANT_Double_infotagu1值为6
bytesu8按照高位在前的double值
CONSTANT_Class_infotagu1值为7
indexu2指向全限定名常量项的索引
CONSTANT_String_infotagu1值为8
indexu2指向字符串字面量的索引
CONSTANT_Fieldref_infotagu1值为9
indexu2指向声明字段的类或者接口描述符CONSTANT_Class_info的索引项
indexu2指向字段描述符的CONSTANT_NameAndType_info索引项
CONSTANT_Mehtodref_infotagu1值为10
indexu2指向声明方法的类描述符CONSTANT_Class_info的索引项
indexu2指向名称及类型描述符的CONSTANT_NameAndType_info索引项
CONSTANT_IntefaceMehtodref_
info		tagu1值为11
indexu2指向声明方法的j接口描述符CONSTANT_Class_info的索引项
indexu2指向名称及类型描述符的CONSTANT_NameAndType_info索引项
CONSTANT_NameAndType_infotagu1值为12
indexu2指向该字段或方法名称常量项的索引
indexu2指向该字段或方法描述符常量项的索引
CONSTANT_MethodHandle_infotagu1值为15
reference_kindu1值必须在[1,9]，他决定了方法句柄的类型。方法句柄类型的值表示方法句柄字节码行为
reference_indexu2值必须是对常量池的有效索引
CONSTANT_MethodType_infotagu1值为16
descriptor_indexu2值必须是对常量池的有效索引，常量池在该索引处的项必须是CONSTANT_Class_info结构，表示该方法的描述符
CONSTANT_InvokeDynamic_infotagu1值为18
boorstrap_method_
attr_index		u2值必须是对当前Class文件中引导方法表的bootstrap_method[]数组的有效索引
name_and_type_
index		u2值必须是对常量池的有效索引，常量池在该索引处的项必须是CONSTANT_NameAndType_info结构，表示方法名和方法描述符

访问标志

在常量池结束之后，紧接着的两个字节代表访问标志（access_flags）,这个标志一些类或者接口层次的访问信息，包括这个Class是类还是接口，是否定义为public类型，是否定义为abstract类型，如果是类的话，是否被声明final等

标志名称标志值含义
ACC_PUBLIC0x0001是否为public类型
ACC_FINAL0x0010是否被声明final（只有类可以）
ACC_SUPER0x0020是否允许invokespecial字节码指令的新语意，JDK1.0.2之后都必须为真
ACC_INTERFACE0x0200标志这是一个接口
ACC_ABSTRACT0x0400是否为abstract类型，对于接口或者抽象类来说，该值为真
ACC_SYNTHETIC0x1000标志这个类并非用户代码产生的
ACC_ANNOTATION0x2000标志这是一个注解
ACC_ENUM0x4000标志这是一个枚举

access_flags中一共有16个标志位可以使用，当前之定义了其中8个（其中前5种是Java虚拟机规范中定义的，后三种是JDK1.5中增加的），没有使用到的标志位要求一律为0。如一个普通的Java类，仅被public修饰，所以其ACC_PUBLIC和ACC_SUPER为true,其余为false，所以它的access_flags为0x0001|0x0020=0x0021。

类索引、父类索引与接口索引集合

类索引（this_class）和父类索引（super_class）都是一个u2类型的数据，而接口索引集合（interfaces）是一组u2类型的数据的集合，Class文件通过这三项数据确定继承关系。由于类是单继承，所以父类索引也是唯一确定的，除了java.lang.Object以外，所有的类都有父类，索引都不为0。

  • 类索引
    • 确定这个类的全限定名，指向一个CONSTANT_Class_info描述符常量
  • 父类索引
    • 确定这个类的父类的全限定名，指向一个CONSTANT_Class_info描述符常量
  • 接口索引集合
    • 描述这个类实现了哪些接口，这些被实现的接口将按implements后的接口顺序从左到右排列在接口索引集合之中，入口的第一项——u2类型的数据为接口计数器（interfaces_count），表示索引表的容量。如果没有则为0，后面不再占用任何字节

字段表（field_info）集合

用于描述接口或者类中声明的变量。Class文件允许字段的重载，但是Java语言不允许

  • 字段
    • 类级变量
    • 实例级变量
    • 不包括方法内部声明的局部变量
  • 字段包含的信息
    • 作用域
    • 实例变量还是类变量（static）
    • 可变性（final）
    • 并发可见性（volatile）
    • 可否被序列化（transient）
    • 字段数据类型
    • 字段名称
  • 字段表结构
类型名称数量
u2fields_count1
u2access_flags1
u2name_index1
u2descriptor_index1
u2attributes_count1
attribute_infoattributesattributes_count

字段表集合号总不会列出从超类或父接口中继承而来的字段，但可能列出原本Java代码中不存在的字段，譬如内部类中为了保持外部类的访问性，会自动添加指向外部类实例的字段

  • fields_count

    因为是集合，所以入口处有一个计数器，不属于字段表结构内部项

  • access_flags

    与类中的access_info类似

    标志名称标志值含义
    ACC_PUBLIC0x0001字段是否public
    ACC_PRIVATE0x0002字段是否private
    ACC_PROTECTED0x0004字段是否protected
    ACC_STATIC0x0008字段是否static
    ACC_FINAL0x0010字段是否final
    ACC_VOLATILE0x0040字段是否volatile
    ACC_TEANSIENT0x0080字段是否transient
    ACC_SYNTHETIC0x1000字段是否由编译器自动产生的
    ACC_ENUM0x4000字段是否enum

    很明显，ACC_PUBLIC, ACC_PRIVATE, ACC_PROTECTED三者最多选其一，ACC_FINAL和ACC_VOLATILE不能同时选择，接口中字段必须有ACC_PUBLIC, ACC_STATIC, ACC_FINAL

  • name_index

    字段的简单名称

    • 简单名称和全限定名
      • 全限定名：比如类的全限定名，就是把.换成/而已，多个类的全限定名在一起，中间以;分割例如java/lang/String
      • 简单名称：没有类型和参数修饰的字段名称，如private int count的简单名称为count

  • descriptor_index

    字段的描述符

    • 描述符
      • 用来描述字段的数据类型，方法的参数列表（包括数量，类型和顺序）和返回值。根据描述符规则，基本数据类型以及代表无返回值的void类型都用一个大写字符来表示，而对象类型用L加对象的全限定名来表示。
    • 描述符字符和含义
    标识字符含义
    B表示基本类型byte
    C表示基本类型char
    D表示基本类型double
    F表示基本类型float
    I表示基本类型int
    J表示基本类型long
    S表示基本类型short
    Z表示基本类型boolean
    V特殊类型void
    L对象类型，如Ljava/lang/String

    对于数组类型，每一维度将使用一个前置的[字符来描述，如String[]->[Ljava/lang/String

    描述符描述方法时，按照先参数列表，后返回值的顺序描述，参数列表按照参数的严格顺序放在一组小括号()里面，如void add()->()V , java.lang.String.toString()->()Ljava/lang/String;

  • attributes_count,attributes会在后面属性表集合谈起

方法表（method_info）集合

存储格式与字段表几乎一致，除了访问标志和属性表集合的可选项中有所区别，其集合入口也有一个方法计数器，里面有编译器自动添加的方法，例如最典型的：类构造器（<clinit>）和方法构造器（<init>）。方法里面的代码放在方法属性表集合中的一个名为Code的属性里面.。Java语音无法根据返回值的不同来对一个已有方法的重载，它需要与原方法有相同简单名称以外，还必须有一个与原方法不同的特征签名（只包括方法名称，参数顺序及参数类型）。但是Class文件可以有参数类型相同，返回值类型不同的重载方法共存，因为其特征签名范围更大一些

  • access_flags

    标志名称标志值含义
    ACC_PUBLIC0x0001方法是否为public
    ACC_PRIVATE0x0002方法是否为private
    ACC_PROTECTED0x0004方法是否为protected
    ACC_STATIC0x0008方法是否为static
    ACC_FINAL0x0010方法是否为final
    ACC_SYNCHRONIZED0x0020方法是否为synchronized
    ACC_BRIDGE0x0040方法是否是由编译器产生的桥接方法
    ACC_VARARGS0x0080方法是否否接受不定参数
    ACC_NATIVE0x0100方法是否为native
    ACC_ABSTRACT0x0400方法是否为anstract
    ACC_STRICTFP0x0800方法是否为strictfp
    ACC_SYNTHETIC0x1000方法是否是由编译器自动产生的

属性表（attribute_info）集合

属性表的限制比较宽松，不再要求各个属性表具有严格的顺序，并且只要不与已有的属性名重名，任何人实现的编译器都可以向属性表中写入自己饿定义的属性信息，Java虚拟机运行的时候会忽略不认识的属性。

虚拟机预定义的属性

属性名称使用位置含义
Code方法表Java代码编译成的字节码指令
ConstantValue字段表final关键字定义的常量值
Deprecated类、方法表、字段表被声明为deprecated的方法和字段
Exception方法表方法抛出的异常
EnclosingMethod类文件仅当一个类为局部类或匿名类时才能拥有这个属性，这个属性用于标识这个类所在的外围方法
InnerClasses类文件内部类列表
LineNumberTableCode属性Java源码的行号与字节码指令的对应关系
LocalVariableTableCode属性方法的局部变量描述
StaticMapTableCode属性供新的类检查验证器（type Checker）检查和处理目标方法的局部变量和操作数栈需要的类型是否匹配（JDK1.6）
Signature类、方法表、字段表用于支持泛型情况下的方法签名，任何类、接口、初始化方法或成员的泛型签名如果包含了类型变量（Type Variables）或参数化类型（Parameterized Types）,该属性会为他记录泛型签名信息，由于Java泛型采用的擦除法实现，为了避免签名混乱，用这个属性记录泛型信息（JDK1.5）
SourceFile类文件记录源文件名称
SourceDebugException类文件存储额外的调试信息，譬如在JSP文件调试时，无法通过Java堆栈来定位JSP文件的行号，JSR-45规范为这些非Java语音编写，却要编译成字节码并运行在Java虚拟机中的程序提供一个进行调试的标准机制，这个属性用于存储这个标准所新加入的调试信息（JDK1.6）
Synthetic类、方法表、字段表标识方法或字段为编译器自动生成的
LocalVaribleTypeTable类使用特征签名代替描述符，为了引入泛型语法后能描述泛型参数化类型而添加（JDK1.5）
RuntimeVisibleAnnotations类、方法表、字段表为动态注解提供支持。该属性用于指明哪些注解是运行时（实际上运行时就是进行反射调用）可见的（JDK1.5）
RuntimeInvisibleAnnotations类、方法表、字段表与RuntimeVisibleAnnotations相反，用于指明哪些注解是运行时不可见的（JDK1.5）
RuntimeVisibleParameterAnnotations方法表与RuntimeVisibleAnnotations类似，值不过作用对象是方法参数（JDK1.5）
RuntimeInvisibleParameterAnnotations方法表与RuntimeInvisibleAnnotations类似，值不过作用对象是方法参数（JDK1.5）
AnnotationDefault方法表用于记录注解类元素的默认值（JDK1.5）
BootstrapMethods类文件用于保存invokedynamic指令引用的引导方法限定符（JDK1.7）

对于每个属性，它的名称需要从常量池中引入一个CONSTANT_Utf-8_info类型的常量来表示，而属性结构则是完全自定义的，只需要一个u4的长度属性去说明属性值所占用的位数即可。一个符合规定的表属性应该满足下表定义的结构

类型名称数量
u2attribute_name_index1
u4attribute_length1
u1infoattribute_length
Code属性

Java程序的代码经过javac编译处理后，最终变成的字节码指令存储在Code属性内。Code属性出现在方法表的属性集合之中，并非所有的方法表都存在这个属性，譬如接口和抽象类。如果有Code属性，它的结构将如下

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2max_stack1
u2max_locals1
u4code_length1
u1codecode_length
u2exception_table_length1
exception_infoexception_tableexception_table_length
u2attribute_count1
attribute_infoattributesattribute_count

  • attribute_name_index

    • 一项指向CONSTANT_Utf-8_info类型的常量的索引，其常量值固定为Code，它代表了该属性的属性名

  • attribute_length

    • 指示了属性的长度，由于属性名称索引与属性长度一共是6字节，所以属性值的长度固定为整个属性表的长度减去6个字节

  • max_stack

    • 代表了操作数栈（Operand Stacks）的最大深度值。在方法执行的任意时刻，操作数栈都不会超过这个深度，虚拟机运行时根据这个值来分配栈桢（Stack Frame）中的操作栈深度

  • max_locals

    • 代表了局部变量表所需的存储空间，在这里max_locals的单位是Slot，Slot是虚拟机为局部变量分配内存所使用的最小单位。方法参数（包括实例对象中的隐藏参数this）、显示异常处理器的参数（Exception handler parameter，就是try-catch中catch块所定义的异常）、方法体中定义的局部变量都需要使用局部变量表来存放。
    • 并不是方法中用到了多少个局部变量，就把这些局部变量所占Slot之和作为max_locals，原因是局部变量表中的Slot可以重用，当代码执行超出一个局部变量的作用域时，这个局部变量所占的Slot可以被其他局部变量所使用，Javac编译器会根据变量的作用域来分配Slot给各个变量使用，然后计算出max_locals大小

  • code_length和code

    • 用来存储Java源程序编译后生成的字节码指令，code_length表示字节码长度，code用于存储字节码指令的一系列字符流。

    • 字节码指令

      • 每个指令就是一个u1类型的单字节，当虚拟机读取到code的一个字节码时，就可以找出这个字节码代表的是什么指令，并可以知道这条指令后面是否需要跟随参数，以及参数应当如何理解。一个u1数据类型的取值范围是0x000xFF，对应十进制的0255，也是一共可以表达256条指令，目前，Java虚拟机已经定义了约200条编码值对应的指令含义

    • code_length的特点

      • 虽然code_length是一个u4类型的长度值，理论上最大值为2的32次方-1，但虚拟机规范中明确限定了一个方法不允许超过65535条字节码指令，即实际只是用了u2的长度，如果超过这个长度，Javac编译器拒绝编译，一般也不会超过这个长度。但是，某些特殊情况，例如编译一个很复杂的JSP文件时，某些JSP编译器会把JSP内容和页面输出信息归并与一个方法之中，就可能因为方法生成字节码超长的原因导致编译失败

    • code属性

      • code属性是Class文件中最重要的一个属性，如果把一个Java程序中的信息分为代码（Code，方法体中的Java代码）和元数据（Metadata，包括类、字段、方法定义及其他信息）两部分，那么在整个Class文件中，Code属性用于描述代码，所有的其他数据项目都用于描述元数据

    • 实例方法中，局部变量表至少有一个指向当前对象实例的局部变量局部变量表中也会预留出第一个Slot来存放对象实例引用

    • 异常处理表

      • 在字节码指令之后的是这个方法的显示异常处理表集合，异常表对Code属性并不是必须存在的，异常表包含4个字段，这些字段含义是：如果当字节码在第start_pc行到第end_pc行（不包括第end_pc行）出现了类型为try-catch或其他子类的异常（catch_type指向一个CONSTANT_Class_info型常量的索引），则转到第handler_pc行继续处理。当catch_type的值为0时，代表任意异常情况都需要转向到handler_pc处进行处理
      类型名称数量
      u2start_pc1
      u2end_pc1
      u2handler_pc1
      u2catch_type1
      • 异常表实际上是Java代码的一部分，编译器使用异常表而不是简单的异常跳转命令来实现Java异常及finally机制。
      • 当try语句块中出现属于Exception或其子类的异常时，则转到catch语句块中
      • 当try语句块中出现不属于Exception或其子类的异常时，则转到finally语句块中
      • 当catch语句块中出现异常时，则转到finally语句块中

    • 示例

    public static int test(){
        int x;
        try{
            x = 1;
            return x;
        } catch (Exception e){
            x = 2;
            return x;
        } finally {
            x = 3;
        }
    }

    使用命令 -> javap -c demo.class

    public static int test();
    Code:
       0: iconst_1
       1: istore_0
       2: iload_0
       3: istore_1
       4: iconst_3
       5: istore_0
       6: iload_1
       7: ireturn
       8: astore_1
       9: iconst_2
      10: istore_0
      11: iload_0
      12: istore_2
      13: iconst_3
      14: istore_0
      15: iload_2
      16: ireturn
      17: astore_3
      18: iconst_3
      19: istore_0
      20: aload_3
      21: athrow
    Exception table:
       from    to  target type
           0     4     8   Class java/lang/Exception
           0     4    17   any
           8    13    17   any

    字节码0~3行所做的操作就是把整数1赋值给变量x，并且将此时x的值复制一份副本到最后一个本地变量表的Slot中（这个Slot里面的值在ireturn指令执行前将会被重新读到栈顶，作为方法返回值使用，先称之为return Value）。

    • 如果这段时间没有出现异常，则走到第4~7行，将变量x赋值为3，然后将之前保存在returnValue中的整数1读入到栈顶，最后ireturn指令会以int形式返回操作栈顶中的值，方法结束。
    • 如果出现了异常，PC寄存器指针转到第8行，第8~16行所做的事情是将赋值给变量x，然后将变量x此时的值赋给returnValue，最后再将x的值改为3。方法返回前同样将returnValue中保存的整数2读取到栈顶
    • 从17行开始的代码是将变量x的值赋为3，并将栈顶的异常抛出，方法结束。
Excptions属性

这里的Exctpions属性与Code属性属于同一级，并不是上文所提到的异常表。Exceptions属性的作用是列举出方法中可能抛出的受查异常（Checked Exceptions）,也就是方法描述时在throws关键字后面列举的异常。

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2number_of_exceptions1
u2exception_index_tablenumber_of_exceptions
  • number_of_exceptions
    • 表示方法可能抛出的受查异常的种类数量
  • exception_index_table
    • 受查异常对应的类，指向CONSTANT_Class_info型常量的索引，代表受查异常的类型
LineNumberTable属性

用于描述Java源码行号与字节码行号（字节码的偏移量）之间的对应关系，他并不是运行时必须的属性，但默认会生成在Class文件之中，可以在javac中分别使用-g:none或-g:lines选项来取消或要求生成这项信息，如果不生成，抛异常时，堆栈中将不会显示错误的行号，并在调试的时候，无法按照源码行来设置断点。

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2line_number_table_length1
line_number_infoline_number_tableline_number_table_length
  • line_number_table
    • 是一个数量为line_number_table_length，类型为line_number_info的集合，line_number_info表包括了start_pc和line_number两个u2类型的数据项，前者是字节码行号，后者是Java源码行号
  • line_number_info结构
类型名称数量
u2start_pcline_number_table_length
u2line_numberline_number_table_length
LocalVariableTable属性

用于描述栈桢中局部变量表中的变量与Java源码中定义的变量之间的关系，他也不是运行时必须的属性，但默认会生成在Class文件之中，可以在javac中分别使用-g:none或-g:vars选项来取消或要求生成这项信息。如果没有生成这项属性，最大的影响就是当其他人引用这个方法时，所有的参数名称都会丢失，IDE将会使用arg0，arg1之类的占位符代替原有的参数名，会对代码编写带来较大的不变，而且在调试期间无法根据参数名从上下文中获得参数值

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2local_variable_table_length1
local_variable_infolocal_variable_tablelocal_variable_table_length

  • local_variable_info

    • 代表了一个栈桢与源码中局部变量表的关联
    类型名称数量
    u2start_pc1
    u2length1
    u2name_index1
    u2discriptor_index1
    u2index1
    • start_pc和length
      • 分别代表了这个局部变量的生命周期开始的字节码偏移量及其作用范围覆盖的长度，两者结合起来就是这个局部变量在字节码之中的作用范围
    • name_index和discriptor_index
      • 都是指向常量池中CONSTANT_Utf8_info型常量的索引，分别代表了局部变量的名称及这个局部变量的描述符
    • index
      • 这个局部变量在栈桢局部变量表中Slot的位置，当这个变量数据类型是64位类型时（double和long），他占用的Slot为index和index+1两个
SourceFile属性

用于记录生成这个Class文件源码文件的名称。这个属性也是可选的，可以分别使用Javac的-g:none或-g:source选项来关闭或要求生成这项信息。在Java中，对于大多数的类来说，类名和文件名是一致的，但是有些特殊情况（内部类）例外。如果不生成这项属性，当抛异常时，堆栈中将不会显示出错误代码所属的文件名。这个属性是一个定长的属性

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2sourcefile_index1
  • sourcefile_index
    • 指向CONSTANT_Utf8_info型常量的索引，常量值是源码文件的文件名
ConstantValue属性

作用是通知虚拟机自动为静态变量赋值。只有被static关键字修饰的变量（类变量）才可以使用这项属性。

  • 对于非static类型的变量（实例变量）
    • 赋值是在实例构造器<init>方法中进行的
  • 对于static类型的变量（类变量）
    • 可以在<clinit>方法中进行
      • Sun Javac编译器在变量没有被final修饰，并且非基本类型及字符串
    • 可以使用ConsantValue属性
      • Sun Javac编译器在同时使用final和static来修饰的变量（常量），并且这个变量的数据类型是基本类型或者java.lang.String

虽然有final关键字更符合ConstantValue语义，但虚拟机没有强制要求字段必须设置了ACC_FINAL标志，只要求必须设置了ACC_STATIC标志，对final关键字的要求只是Javac编译器自己加入的限制。由于此属性的属性值只能限于基本类型和String，由于Class文件格式的常量类型中只有基本类型和字符串相对应的字面量，所以无法支持别的类型。

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2constantvalue_index1

ConstantValue属性是一个定长的属性，attribute_length数据项值必须固定为2，constantvalue_index数据项代表了常量池中一个字面量常量的引用，根据字段类型不同，字面量可以是

  • CONSTANT_Long_info
  • CONSTANT_Float_info
  • CONSTANT_Double_info
  • CONSTANT_Integer_info
  • CONSTANT_String_info
InnerClasses属性

用于记录内部类和宿主类之间的关联，如果一个类中定义了内部类，那编译器将会为它以及它所包含的内部类生成InnerClasses属性。

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2number_of_classes1
inner_classes_infoinner_classesnumber_of_classes

  • number_of_classes

    • 需要记录多少个内部类

  • inner_classes_info

    • 每一条代表一个内部类的信息
    类型名称数量
    u2inner_class_info_index1
    u2outer_class_info_index1
    u2inner_name_index1
    u2inner_class_access_flags1

    • inner_class_info_index和outer_class_info_index

      • 指向常量池的CONSTANT_Class_info型常量的索引，分别代表了内部类和宿主类的符号引用

    • inner_name_index

      • 指向常量池的CONSTANT_Utf8_info型常量的索引，代表内部类的名称，如果是匿名内部类，那么这项值为0

    • inner_class_access_flags

      • 内部类的访问标志，类似于access_flags
      • 取值范围
      标志名称标志值含义
      ACC_PUBLIC0x0001内部类是否为public
      ACC_PRIVATE0x0002内部类是否为private
      ACC_PROTECTED0x0004内部类是否为protected
      ACC_STATIC0x0008内部类是否为static
      ACC_FINAL0x0010内部类是否为final
      ACC_INTERFACE0x0020内部类是否为interface
      ACC_ABSTRACT0x0400内部类是否为abstract
      ACC_SYNTHETIC0x1000内部类是否并非由用户代码产生的
      ACC_ANNOTATION0x2000内部类是否为一个注解
      ACC_ENUM0x4000内部类是否为一个枚举
Deprecated和Synthetic属性

这个两个属性属于标志类型的布尔属性，只存在有和没有的区别，没有属性值的概念。

  • Deprecated
    • 表示某个类、方法或者字段已经被程序作者定位不再推荐使用，可以用@deprecated注解进行设置
  • Synthetic
    • 代表此字段或者方法不是由Java源码产生，而是由编译器自行添加的，典型的例子就是Bridge Method，所有由非用户代码生成的类、方法及字段都应该至少设置synthetic属性或者ACC_SYNTHETIC标志位中的一项，唯一例外的是实例构造器<init>方法和类构造器<clinit>方法

其属性结构是一样的

类型名称数量
u2attribute_name_index1
u4attribute_length1

其中attribute_length数据项的值必须是0x00000000，因为没有任何属性值需要设置

StackMapTable属性

它是一个复杂的变长属性，位于Code属性的属性表中。这个属性会在虚拟机类加载的字节码验证阶段被新类型检查验证器（Type Checker）使用，目的在于代替以前比较耗性能的基于数据流分析的类型推导验证器。

新的验证器在保证Class文件合法性的前提下，省略了在运行期通过数据流分析去确认字节码的行为逻辑合法性的步骤，而是在编译阶段将一些列验证类型（Verification Types）直接记录在Class文件中，通过检查这些验证类型代替了类型推导过程，从而大幅度提升了字节码验证的性能。

StackMapTable属性中包含零至多个栈映射帧（Stack Map Frames）,每个栈映射帧都显式的或隐式的代表了一个字节码偏移量，用于表示执行该字节码时局部变量表和操作数栈的验证类型，类型检查验证器会通过检查目标方法的局部变量和操作数栈所需要的类型来确定一段字节码指令是否符合逻辑约束。

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2number_of_entries1
stack_map_framestack_map_frame_entriesnumber_of_entries

在版本号大于等于50.0的Class文件中，如果方法的Code属性中没有附带StackMapTable属性，那么就意味着它带有一个隐式的StackMap属性，这个StackMap属性作用等同于number_of_entries为0的StackMapTable属性。一个方法的Code属性最多只能有一个StackMapTable属性，否则会抛出ClassFormatError异常。

Signature属性
  • 概述
    • 一个可选的定长属性，可以出现在类、属性表和方法表结构的属性表中。在JDK1.5之后，任何类、接口、初始化方法或成员的泛型签名如果包含了类型变量（Type Variable）或参数化类型（Parameterized Type），则Signature属性会为他记录泛型签名信息。
  • 存在作用
    • Java语言的泛型采用的是擦除法实现的伪泛型，在字节码（Code属性）中，泛型信息编译（类型变量、参数化类型）之后都通通被擦除掉。Signature属性就是为了弥补擦除法的缺点而增设的，现在反射API能拿到泛型类型，最终的数据来源也是这个属性。
    • 擦除法
      • 优点
        • 实现简单（主要修改Javac编译器，虚拟机内部只做了很少的改动）
        • 非常容易实现Backport
        • 运行期可以节省一些类型所占的内存空间
      • 缺点
        • 将泛型类型与普通类型同等对待，例如运行期做反射无法获取泛型信息
类型名称数量
u2attribute_name_index1
u4attribute_length1
u2signature_index1
  • signature_index
    • 必须是一个指向常量池CONSTANT_Utf8_info项的索引，表示类签名、方法类型签名、字段类型签名
      • 如果当前的Signature属性是类文件的属性，则这个结构表示类签名
      • 如果当前的Signature属性是方法表的属性，则这个结构表示方法类型签名
      • 如果当前的Signature属性是字段表的属性，则这个结构表示字段类型签名
BootStrapMethods属性

复杂的变长属性，位于类文件的属性表中。用于保存invokedynamic指令引用的引导方法限定符。如果某个类文件结构的常量池中曾经出现过CONSTANT_InvokeDynamic_info类型的常量，那么这个类文件属性表中必须存在一个明确的BootStrapMethods属性与JSR-292中的InvokeDynamic指令和java.lang.invoke包关系非常密切

目前Javac暂时无法生成InvokeDynamic指令和BootStrapMethods属性，必须通过一些给常规手段才能得到

类型名称数量
u2attribute_name_index1
u4attribute_length1
u2num_bootstrap_methods1
bootstrap_methodbootstrap_methodsnum_bootstrap_methods
  • num_bootstrap_methods
    • 给出了bootstrap_methods[]数组中的引导方法限定符的数量
  • bootstrap_methods
    • 每个成员指向常量池CONSTANT_MethodHandle结构的索引值，他代表了一个引导方法，还包含了这个引导方法静态参数的序列（可能为空）。
    • 必须包含以下内容
      • bootstrap_method_ref
        • 指向常量池CONSTANT_MethodHandle_info结构的索引值
      • num_bootstrap_arguments
        • 给出了bootstrap_arguments[]数组成员的数量
      • bootstrap_arguments[]
        • 每个成员必须是一个对常量池的有效索引，索引处必须是以下结构之一
          • CONSTANT_String_info
          • CONSTANT_Class_info
          • CONSTANT_Integer_info
          • CONSTANT_Long_info
          • CONSTANT_Double_info
          • CONSTANT_Float_info
          • CONSTANT_MethodHandle_info
          • CONSTANT_MethodType_info
Zn昕
关注
专栏目录
java类文件结构
weixin_45052750的博客
02-23 633
本文讲解如何解析java class二进制文件 以jdk8作为演示 1. class文件结构 u2、u4等代表占用字节数 ClassFile { u4 magic; //魔数 u2 minor_version; //次版本号 u2 major_version; //主版本号 u2 ...
Java类文件结构
dengduoya4019的博客
12-14 127
一、概述 　　实现语言无关性的基础是虚拟机和字节码存储格式。Java虚拟机不和包括Java在内的任何语言绑定，只与"Class文件"这种特定的二进制文件所关联，Class文件中包含了Java虚拟机指令集合符号表以及若干其它辅助信息。Java虚拟机作为一个通用的、机器无关的执行平台，任何其他语言都可以将其作为语言的产品交付媒介。 　　 二、Class类文件的结构 　　Class文件...
class类文件结构.xmind
08-07
Java虚拟机中的class类文件的知识，个人整理大的class类文件结构.xmind，有什么问题及时反馈。
类文件结构1
08-08
Java 类文件结构是Java虚拟机（JVM）执行字节码的基础，它的核心部分就是类文件，其中包含了关于类和接口的各种元数据。类文件的结构严格定义，以确保跨平台的兼容性。这里我们将详细探讨类文件结构中的常量池、常量...
【Java正来-深入理解JVM】类文件结构
03-15
JVM的指令由一个字节长度、代表着某种特定操作含义的数字（成为操作码）以及跟随其后的零至多个代表此操作所需参数（操作数）而构成。JVM采用面向操作数栈而不是寄存器架构，所以大多只有一个操作码。
Class类文件结构图解
03-13
首先，让我们来看一下`class类文件结构.png`这张图片。它可能展示了一个清晰的视觉表示，列出了Class文件的各个组成部分，如魔数（Magic Number）、版本号、常量池（Constant Pool）、访问标志（Access Flags）、...
详解Java虚拟机30个常用知识点之1——类文件结构
08-26
详解Java虚拟机类文件结构 Java虚拟机类文件结构是Java语言的基础结构之一，对于Java开发者来说了解类文件结构是非常重要的。本文将深入解析Java虚拟机类文件结构，通过示例代码详细介绍类文件结构的每个组成部分。...
java的文件结构_类文件结构
weixin_31140959的博客
02-12 181
类文件结构JVM 的“无关性”谈论 JVM 的无关性，主要有以下两个：平台无关性：任何操作系统都能运行 Java 代码语言无关性： JVM 能运行除 Java 以外的其他代码Java 源代码首先需要使用 Javac 编译器编译成 .class 文件，然后由 JVM 执行 .class 文件，从而程序开始运行。JVM 只认识 .class 文件，它不关心是何种语言生成了 .class 文件，只要 ....
类（class）文件结构
Android小码农的博客
02-25 1217
1、类文件介绍 每一个 Class 文件都对应着唯一一个类或接口的定义信息，但是相对地，类或接口并不一定都得定义在文件里（譬如类或接口也可以通过类加载器直接生成）。 本节中，我们只是通俗地将任意一个有效的类或接口所应当满足的格式称为“Class 文件格式”，即使它不一定以磁盘文件的形式存在。 每个 Class 文件都是由 8 字节为单位的字节流组成，所有的 16 位、32 位和 64 位长度...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值