• 深入JVM的Class文件结构


    Class文件由顺序的8位字节为基础单位构成的二进制流。各个项目严格按照顺序紧凑排列,无分隔符。

    需要用8位字节以上空间数据项时按照高位在前分割成若干个8位字节存储。

    只包含2种数据类型:

    • 无符号数

    无符号数

    是class文件基本数据类型,以u1,u2,u4,u8分别代表1个字节,2个,4个,8个字节的无符号数。可以用来描述数字、索引引用、数量值、以UTF-8编码构成的字符串。

    由多个无符号数或其他表作为数据项构成的复合数据类型。所有表以“_info”结尾。用来描述具有层次关系的复合结构数据。

    其实class文件本质上就是一张表。

    Class文件结构

    包含magic魔数,文件版本,常量池,访问标识,类索引、父类索引与接口索引集合,字段表集合,方法表集合,属性表集合等构成

    魔数

    在class文件头4个字节,magic number。
    作用:确定该文件是否是虚拟机可接受的class文件。java的魔数统一为 0xCAFEBABE (来源于一款咖啡)。

    版本号

    由minorversion和majorversion组成,占用文件中第5到8字节。

    CA FE BA BE 00 00 00 32
    表示此版本号为50.0,十进制表示一般格式为 major.minor
    需要注意的是java版本号是从45开始的,大版本发布,主版本号+1.高版本的jdk能向下兼容以前版本的class文件,但不兼容以后版本的class文件。

    各jdk编译后的class文件版本号如下:

    常量池

    紧接着版本号后就是常量池入口。是第一个出现的表类型的数据项目。
    由常量池容量计数值constant_pool_count及常量池constant_pool组成。
    constant_pool_count占2个字节。如 0×0016 即十进制的22,表示有21项常量,从1开始到21.

    0有特殊含义,表示指向常量池的索引值数据不引用任何一个常量池项目。

    常量池主要存放字面量Literal和符号引用Symbolic References。

    字面量可能是文本字符串,或final的常量值。
    符号引用包括以下:

    • 类或接口全限定名 Full Qualified Name
    • 字段名称和描述符 Descriptor
    • 方法名称和描述符

    常量池共有11种表结构数据。

    每个表均开始的第一位是u1类型的标志位,表示哪种常量类型。但每个表的结构都不相同。
    如类或接口的符号引用为CONSTANTClassinfo.

    所有的常量池结构严格以标志位,表结构其他数据类型 顺序排列。
    各类型常量池表结构如下表所示:

    实际中可以使用 javap -verbose XXX.class 输出字节码内容。

    访问标志access_flags

    u2类型,识别类或接口层次的访问信息,如class是接口或类,是否public,是否abstract,是否final等。

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

    类索引this_class及父类索引super_class均是u2类型,接口索引集合interfaces是一组u2类型的集合。确定类的继承关系.按照顺序排列在访问标志之后。this_class,super_class指向CONSTANT_CLASS_info常量。通过该常量可以找到定义在CONSTANT_Utf8_info的全限定名字符串。

    字段表集合field_info

    紧接在interface后面的是fieldscount的计数,它是类变量和实例变量的字段的数量总和。在这个计数后面的是不同长度的fieldinfo表的序列(fieldscount指出了序列中有多少个fieldinfo表)。

    描述接口或类中声明的变量,包含类级变量或实例级变量,不包含方法变量。信息包含:字段作用域、字段类型(类变量还是实例变量 static)、可变性(final)、并发可见性(volatile)、可否序列化(transient)、字段数据类型、名称等。
    结构如下表:

    字段修饰符放在accessflags项目中,它与类中的accessflags项目是非常相似的,都是一个u2的数据类型,其中可以设置 的标志位和含义如下表所示

    nameindex和descriptorindex都是对常量池的引用,分别代表着字段的简单名称及字段和方法的描述符.其中描述符的作用是用来描述字段的数据类型、方法的参数列表(包括数量、类型以及顺序)和返回值。根据描述符规则,基本数据类型(byte、char、double、float、int、long、short、boolean)及代表无返回值的void类型都用一个大写字符来表示,而对象类型则用字符L加对象的全限定名来表示。

    对于数组类型,每一个维度将使用一个前置的”["字符来描述,如一个定义的"java.lang.String[][]“类型的二维数组,将被记录为:”[[Ljava/lang/String;",一个整型数组"int[]“将被记录为”[I"

    用描述符来描述方法时,按照先参数列表,后返回值的顺序描述,参数列表按照参数的严格顺序放在一组小括号"()"之内。如方法void inc()的描述符为"()V",方法java.lang.String.toString()的描述符为"()Ljava/lang/String;"。int IndexOf(char[] source,int sourceOffset,int sourceCount,char[] target int targetOffset,int targetCount,int fromIndex) 表示为([CII[CII)I.

    在后面是attributes_count和attributes,分别表示属性计数器和属性信息,用来表示字段的额外属性,如果属性计数器为0,表示无额外属性。如

    final static int m=500;

    此时attributes_count为1,表示有1个属性,属性ConstantValue指向常量池中得常量500.
    字段表集合不会列出从超类或父接口中继承来的字段,但可能包含原代码中不存在的字段,如内部类中为了保持对外部类的访问性,会自动添加指向外部类的字段。

    java中类变量或实例变量不能重名,但在字节码中,只要描述符不一致,字段重名也是合法的。

    方法表集合methods_info

    紧接着field后面的是对在该类或者接口中所声明的方法的描述。其结构与fields一样,不一样的是访问标志。

    访问标志中没有了ACCVOLATILE和ACCTRANSIENT标志。增加了ACCSYNCHRONIZED,ACCNATIVE,ACCSTRICTFP,ACCABSTRAT.

    附:strictfp(strict float point (精确浮点))用法

    strictfp 关键字可应用于类、接口或方法。使用 strictfp 关键字声明一个方法时,该方法中所有的float和double表达式都严格遵守FP-strict的限制,符合IEEE-754规范。当对一个类或接口使用 strictfp 关键字时,该类中的所有代码,包括嵌套类型中的初始设定值和代码,都将严格地进行计算。严格约束意味着所有表达式的结果都必须是 IEEE 754 算法对操作数预期的结果,以单精度和双精度格式表示。

    方法里的代码经过编译器编译成字节码指令之后,存放在方法属性表集合中Code得属性里面。

    另外如果父类方法在子类中没有被重写(Override),方法表集合就不会出现来自父类的方法信息。同时,也可能出现编译器自动添加的方法,如类构造器和实例构造器方法。

    java中方法都有一个特征签名,指的就是一个方法中各参数在常量池中字段符号引用的集合。这里并不包含返回值,所以java中重载不能仅仅依靠返回值不同。但对于class文件,只要描述符不同的方法就可以共存在一个class文件中,所以两个方法有相同的名称和特征签名,但返回值不同,在class文件中可以共存

    属性表集合attribute_info

    class文件中最后的部分是属性,它给出了在该文件类或者接口所定义的属性的基本信息。属性部分由attributescount开始,attributescount是指出现在后续attributes列表的attributeinfo表的数量总和。每个attributeinfo的第一项是指向常量池中CONSTANTUtf8info表的引用,该表给出了属性的名称。

    属性表用来表示专用场景的专有信息,比如前面的字段表、方法表都有自己的属性信息。这里不要求严格的顺序,只要不与已有属性名重复,任何人实现的编译器都可以向属性表写入自定义的属性信息。jvm运行时会忽略掉不认别的属性。

    《Java虚拟机规范(第2版)》预定义了9项属性。

    每个属性的名称需要从常量池中引用一个CONSTANTUtf8info类型的常量表示。属性值结构完全自定义,只要说明属性值占用的位数长度即可。

    类型 名称 数量
    u2 attributenameindex 1
    u2 attribute_length 1
    u1 info attribute_length

    Code属性

    其中max_stack表示操作数栈(operand stacks)深度最大值,jvm根据该值分配栈帧Frame中操作栈深度。

    max_locals表示局部变量表所需存储空间。单位是Slot,虚拟机为局部变量分配内存的最小单位。对byte、char,float,int,short,boolean,reference,returnAddress等长度不超过32位的数据类型,占用1Slot.而double,long类型需要2Slot。

    方法中的局部变量表存放的包括实例方法隐藏参数this,显示异常处理的参数(ExceptionHandler Parameter),方法体中用的局部变量等。同时局部变量表中得Slot可以重用,编译器根据变量作用域来分类Slot,并分配给各变量使用,然后计算max_locals。

    code和code_length存储字节码指令。每个指令为u1类型的单字节,取值范围为0×00~0xFF,十进制的0~255.既可以表达256个指令。目前jvm定义了约200条编码值对应的指令含义。部分指令码含义摘录如下:

    另外code_length是u4类型的长度值,理论上最大值可以是232-1,但jvm规范规定一个方法不允许超过65535条,否则编译器会拒绝编译。


    ​如果你喜欢本文, 请长按二维码,关注公众号 分布式编程.
    作者:分布式编程
    出处:https://zthinker.com/
    本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。

  • 相关阅读:
    PAT 甲级 1002 A+B for Polynomials (25 分)
    数字提取——C语言
    粒子动画——Pygame
    李白打酒——C++
    C语言输出格雷码
    特殊篮子问题——C语言暴力破解
    黑白迷宫问题——深度优先搜索算法
    最近素数问题——C语言
    巧克力分配问题——C语言
    离散数学——逻辑推理系统
  • 原文地址:https://www.cnblogs.com/daichangya/p/12958600.html
Copyright © 2020-2023  润新知