第四章 class文件格式

  本章介绍了java虚拟机的class文件格式。每一个class文件包含一个单独的类或者接口的定义。虽然类和接口不一定都定义在文件中(比如类和接口亦可以通过类加载器直接生成),我们将通俗地将类或接口的任何有效表示称为class文件格式。class文件是由8位的字节流组成。所有16位,32位和64位的数字都是分别通过读取两个、四个和八个连续的8位字节来构成。多字节的数据使用大端模式存储的,也就是高字节在前。在java se平台,这个格式由接口java.io.DataInput和java.io.DataOutput以及例如java.io.DataInputStream和java.io.DataOutputStream等类来支持。

  本章第一了它自己的数据类型集来表示class文件数据:类型u1,u2和u4分别表示1字节,2字节和4字节的无符号数。在Java SE平台这些类型通过接口java.io.DataInput的readUnsignedByte,readUnsignerShort和readInt方法来读取。

  本章采用类似于c语言接口体的伪结构来表示class文件格式。为了避免类的字段和类的实例等概念混淆,把描述类文件格式结构的内容成为项(item)。连续的项在class文件中是按顺序存放的,之间没有填充和对齐。

  表是由0个或者多个可变大小的项组成,用于表示class文件一系列复合结构。尽管我们使用类似C的数组语法来引用表项,但表是不同大小结构的流这一事实意味着无法将表索引直接转换为表中的字节偏移量。

  当我们将数据结构表示为一个数组时,数组是由0个或者多个 相邻固定大小的项组成,可以通过数组索引来访问。

  本章中对ASCII字符的引用应解释为与ASCII字符对应的Unicode代码点。

4.1 ClassFile结构

  一个class文件是由单独的ClassFile结构组成:

ClassFile {
u4 magic;
u2 minor_version;
u2 major_version;
u2 constant_pool_count;
cp_info constant_pool[constant_pool_count-];
u2 access_flags;
u2 this_class;
u2 super_class;
u2 interfaces_count;
u2 interfaces[interfaces_count];
u2 fields_count;
field_info fields[fields_count];
u2 methods_count;
method_info methods[methods_count];
u2 attributes_count;
attribute_info attributes[attributes_count];
}

  ClassFile结构中的项描述如下:

  • magic

    magic项定义了一个魔数来标识class文件格式,它的值是0xCAFEBABE。

  • minor_version,major_version

    minor_version和major_version的值分别表示class文件次版本号和主版本号。次版本号和主版本号一起决定了class文件的版本号。如果一个class文件的主版本号是M,次版本号是m,我们成这个class文件的版本号是M.m。因此类文件格式版本号可以按字典序排序,例如,1.5<2.0<2.1。

    当且仅当v位于某个连续范围Mi.0≤v≤Mj.m时(Mi.0到Mj.m为虚拟机支持的版本号),Java虚拟机实现可以支持版本v的类文件格式。 Java虚拟机所遵循的Java SE平台的发行版级别负责确定范围。

    JDK 1.0.2版中的Oracle Java虚拟机实现支持包含45.0到45.3类的类文件格式。 JDK1.1.*版本支持类文件格式版本范围为45.0到45.65535(含)。 对于k≥2,JDK版本1.k支持45.0到44 + k.0范围内的类文件格式版本。

  • constant_pool_count

    constant_pool_count的值为constant_pool表中条目的数量+1。一个constant_pool索引大于0小于constant_pool_count才是有效的,除了long和double类型的常量,具体见4.4.5。

  • constant_pool[]

    constant_pool是一个表结构,表示各种字符串常量,类和接口名称,字段名称以及在ClassFile结构及其子结构中引用的其他常量。

    constant_pool表的索引从1到constant_pool_count_1。

  • access_flags

    access_flags的值是掩码标识,表示这个类或者接口访问权限和属性。每个标识被设置时的含义如下表4.1A

    表4.1A 访问和修饰符标识

       

标识名称 含义
ACC_PUBLIC 0x0001 声明为 public; 可以被包以外的类访问.
ACC_FINAL 0x0010 声明为 final; 不允许有子类.
ACC_SUPER 0x0020 当调用invokspecialial指令时,要特殊处理超类方法。
ACC_INTERFACE 0x0200 是一个接口,不是一个类
ACC_ABSTRACT 0x0400 声明为 abstract; 不能被实例化.
ACC_SYNTHETIC 0x1000 声明为 synthetic; 源代码中不存在.
ACC_ANNOTATION 0x2000 是一个注解类型.
ACC_ENUM 0x4000 是一个枚举类型.

    接口是通过设置ACC_INTERFACE标识来区分,如果这个标识没有被设置,那么这个class文件就是定义了一个类,而不是接口

    如果ACC_INTERFACE标识被设置了,那么ACC_ABSTRACT标识也必须被设置,ACC_FINAL,ACC_SUPER和ACC_ENUM表示不允许被设置。

    如果ACC_INTERFACE标识未被设置,那么其它的标识除了ACC_ANNOTATION都可以被设置。然而这样的class文件不能同时设置ACC_FINAL和ACC_ABSTRACT。

    ACC_SUPER标志指示如果它出现在此类或接口中,则由invokespecial指令(§invokespecial)表示两个备用语义中的哪一个。 Java虚拟机指令集的编译器应设置ACC_SUPER标志。 在Java SE 8及更高版本中,Java虚拟机认为要在每个类文件中设置ACC_SUPER标志,而不管类文件中的标志的实际值和类文件的版本。

    ACC_SUPER标志的存在是为了向后兼容由较老的Java编程语言编译器编译的代码。在JDK 1.0.2之前的版本中,编译器生成了访问标志,其中现在表示ACC_SUPER的标志没有指定的含义,如果设置了该标志,Oracle的Java虚拟机实现将忽略该标志。

    ACC_SYNTHETIC标识表示这个类或者接口是由编译器产生的并且没有出现在原码中。

    注解类型必须设置ACC_ANNOTATION标识,如果ACC_ANNOTATION标识被设置了,那么ACC_INTERFACE标识也必须被设置。

    ACC_ENUM标识表示这个类或者它的父类被声明为枚举类型。

    access_flags中所有未在表4.1A中分配的位都被保留给未来使用。当生产class文件的时候,它们应该被设置为0,并且java虚拟机实现需要忽略它们。

  • this_class

    this_class的值必须是constant_pool表的有效索引。constant_pool在这个索引位置的条目必须是一个CONSTAN_Class_info结构,表示这个class文件定义的类或者接口。

  • super_class

    对于类来说,super_class的值必须是0或者constant_pool的有效索引。如果super_class的值不是0,constant_pool在这个索引位置的条目必须是一个CONSTANT_Class_info结构,表示这个class文件定义的类的直接父类。它的直接父类以及它的所有父类的ClassFile结构中的access_flags都不能设置ACC_FINAL标识。

    如果super_class的值是0,那么这个类必须是Object类,这是唯一没有直接支持父类的类或者接口。

    对于接口,super_class的值必须是constan_pool的有效索引,这个索引对应的条目必须是一个CONSTAN_Class_info结构,代表Object类。

  • interfaces_count

    interfaces_count的值表示这个类或者接口的直接父接口的数量

  • interfaces[]

    interfaces数组的每一个值必须是constant_pool的一个有效索引。constant_pool中interfaces[i]索引值对应的条目必须是一个CONSTANT_Class_info结构,表示这个类或者接口的直接父接口,并且按照原码中从左到有的顺序给出。

  • fields_count

    fields_count的值表示fields表中field_info结构的数量。field_info结构表示这个类或者接口声明的所有字段,包括类变量和实例变量。

  • fields[]

    fields表中的每一个值必须是一个field_indo结构,给出了这个类或者接口中一个字段的完整描述。fields表仅仅包含声明在这个类或者接口中的字段。不包括继承自父类或者父接口的字段。

  • methods_count

    methods_count的值给出类methods表中method_info结构的数量

  • methods[]

    methods表中的每一个值必须是一个method_info结构,method_info给出了这个类或者接口中一个方法的完整描述。如果metchod_info结构中access_flags的ACC_NATIVE和ACC_ABSTRACH标识都没有设置,那么实现了这个方法的java虚拟机指令也会提供。

    method_info结构表示了这个类或者接口的所有方法,包括实例方法,类方法,实例初始化方法以及任何的类和接口的初始化方法。methods表不包含继承自父类或者父接口的方法。

  • atttibutes_count

    attribute_count的值给出了这个类中attributes表中attrubute的数量。

  • attributes[]

    attributes表中的每一个值都是attribute_info结构。

    表4.7-C列出了本规范定义的出现在类文件结构的属性表中的属性。、

    有关定义出现在ClassFile结构的属性表中的属性的规则在§4.7中给出。

    有关ClassFile结构的属性表中的非预定义属性的规则在§4.7.1中给出。

4.2 名称的内部表示

4.2.1 二进制类和接口的名称

  出现在class文件结构中的类和接口名称始终以称为二进制名称(binary names)的完全限定形式表示(JLS§13.1)。这些名称始终表示为CONSTANT_Utf8_info结构(第4.4.7节),因此可以从整个Unicode字符空间中获取(如果没有进一步的约束)。类和接口的二进制名称还会被CONSTANT_NameAndType_info结构所引用,用于构成它们的描述符(4.3),引用这些名称通过引用它们的CONSTAN_Class_info结构来实现。

  由于历史原因,出现在类文件结构中的二进制名称的语法与JLS§13.1中记录的二进制名称的语法不同。 在此内部形式中,通常将构成二进制名称的标识符分隔的ASCII句点(.)替换为ASCII正斜杠(/)。 标识符本身必须是非限定名称(第4.2.2节)。

  例如,Thread类的普通二进制名称是java.lang.Thread。 在类文件格式的描述符中使用的内部形式中,使用表示字符串java/lang/Thread的CONSTANT_Utf8_info结构来实现对类Thread的名称的引用。

4.2.2 非限定名称

  方法,字段,局部变量和形参的名称使用非限定名称(unqualified names)存储。非全限定名中必须至少包含一个Unicode代码点,并且不得包含ASCII字符. ; [ /(也就是点号,分号,左方括号,正斜杠)。

  方法名称进一步受到限制,除了特殊方法名称<init>和<clinit>(§2.9)之外,它们不能包含ASCII字符<或>(即左尖括号或右尖括号) 。

  请注意,字段名称或接口方法名称可以是<init>或<clinit>,但是没有方法调用指令可以引用<clinit>,只有invokespecial指令(§invokespecial)可以引用<init>。

4.3 描述符

  描述符是表示字段或者方法类型的字符串。描述符使用改进的UTF-8字符串(第4.4.7节)以class文件格式表示,因此可以使用整个Unicode字符空间中的字符(如果没有进一步限制的话)。

4.3.1 语法符号

  描述符使用特定的语法来表示。语法是一组描述了字符序列如何形成各种语法正确的描述符的产物。语法中的终止符使用固定宽度的字体,非终止符使用斜体。非终止符的定义由被定义的非终止名后跟随一个冒号表示。冒号右侧的一个或多个可交换的非终止符连续排列。

  出现在右侧的{x}表示出现0次或多次。

  右侧的短语(one of)表示下面一行或者多行上的每个终止符都是可选的定义。

4.3.2 字段描述符

  一个字段描述符表示一个类,实例或者局部变量的类型。

FieldDescriptor:
  FieldType
FieldType:
  BaseType
  ObjectType
  ArrayType
BaseType:
  (one of)
  B C D F I J S Z
ObjectType:
  L ClassName ;
ArrayType:
  [ ComponentType
ComponentType:
  FieldType

  BaseType的字符,ObjecType的L和;以及ArrayType的[都是ASCII字符。

  ClassName表示一个二进制类或者接口的内部形式的名称。

  字段描述符的类型含义见表4.3-A

  表示数组类型的字段描述符仅在表示具有255或更少维度的类型时才有效。

  表4.3-A 字段描述符的含义

字段类型项 类型 含义
B byte signed byte
C char Unicode character code point in the Basic Multilingual Plane, encoded with UTF-16
D double double-precision floating-point value
F float single-precision floating-point value
I int integer
J long long integer
L ClassName ; reference an instance of class ClassName
S short signed short
Z boolean true or false
[ reference one array dimension

  int类型的实例变量的字段描述符就是I.

  Object类型的实例变量的字段描述符是Ljava/lang/Object;。 请注意,使用类Object的二进制名称的内部形式。

  多维数组类型double [] [] []的实例变量的字段描述符是[[[D.

4.3.3 方法描述符

  方法描述符包含零个或多个参数描述符,表示方法采用的参数类型,以及返回描述符,表示方法返回的值的类型(如果有)。

MethodDescriptor:
  ( {ParameterDescriptor} ) ReturnDescriptor
ParameterDescriptor:
  FieldType
ReturnDescriptor:
  FieldType
  VoidDescriptor
VoidDescriptor:
  V

  符号V表示方法没有返回值(它的结果是void)。

这个方法的描述符:

Object m(int i, double d, Thread t) {...}
是: (IDLjava/lang/Thread;)Ljava/lang/Object;
注意,使用了Thread和Objec的二进制名称的内部形式。

  如果一个方法描述符是有效的,那么它对应的方法的参数列表总长度小于255,对于实力方法和接口方法,需要考虑额外的this。参数列表长度的计算规则如下:每个long和double类参数长度为2,其余为1,方法参数列表的总长度等于所有参数长度之和。

  无论方法描述的方法是类方法还是实例方法,方法描述符都是相同的。 虽然实例方法被传递了this,指向被调用方法的对象的引用,除了它的预期参数之外,该事实不会反映在方法描述符中。 this的引用由调用实例方法的Java虚拟机指令隐式传递(§2.6.1,§4.11)。

java虚拟机规范(se8)——class文件格式(一)的更多相关文章

  1. java虚拟机规范(se8)——class文件格式(四)

    4.7 属性 属性用于class文件格式中的ClassFile,field_info,method_info和Code_attribute结构. 所有的属性都是下面的格式: attribute_inf ...

  2. java虚拟机规范(se8)——class文件格式(五)

    4.7.1 定义和命名新属性 允许编译器定义和发布的class文件在class文件结构体.field_info结构体.method_info结构体和Code结构体中的attributes表中包含新的属 ...

  3. java虚拟机规范(se8)——class文件格式(三)

    4.5 字段 字段使用field_info结构来描述. 在同一个class文件中的两个字段不能有相同的名称和描述符. 结构的格式如下: field_info { u2 access_flags; u2 ...

  4. java虚拟机规范(se8)——class文件格式(七)

    4.7.5 Exceptions 属性 Exceptions 属性是一个变长属性,它位于 method_info(§4.6)结构的属性表中. Exceptions 属性指出了一个方法需要检查的可能抛出 ...

  5. java虚拟机规范(se8)——class文件格式(二)

    4.4 常量池 java虚拟机指令并不依赖类.接口.类实例或者数组的运行时布局.相反,指令依靠常量池中的符号信息. 所有的常量池条目都有如下的通用结构: cp_info { u1 tag; u1 in ...

  6. java虚拟机规范(se8)——class文件格式(六)

    4.7.4 StackMapTable 属性 StackMapTable 属性是一个变长属性,位于 Code(§4.7.3)属性的属性表中.这个属性会在虚拟机类加载的类型阶段(§4.10.1)被使用. ...

  7. java虚拟机规范(se8)——java虚拟机结构(一)

    本文翻译自:https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-2.html 第二章 虚拟机结构 本文档描述了一个抽象的虚拟机规范,并不描述 ...

  8. java虚拟机规范(se8)——java虚拟机的编译(四)

    3.12 抛出和处理异常 在程序中使用throw关键字来抛出异常.编译结果很简单. void cantBeZero(int i) throws TestExc { if (i == 0) { thro ...

  9. java虚拟机规范(se8)——java虚拟机结构(六)

    2.11 指令集简介 java虚拟机指令由一个字节的操作码,接着时0个或多个操作数组成,操作码描述了执行的操作,操作数提供了操作所需的参数或者数据.许多指令没有操作数只包含一个操作码. 如果忽略异常处 ...

随机推荐

  1. 解决嵌套在ScrollView中的TableView滑动手势冲突问题

    最近在迭代开发公司项目的时候遇到了一个问题,在可以左右切换标签视图的ScrollView中嵌套了两个TableView用于展示视图,感觉一切so easy的情况下,问题出现了,因为左右两个视图既可以实 ...

  2. ERROR=(CODE=1153)

    jdbc 连接oracle数据库(10.2.0.4),应用程序报错如下: Connection refused(DESCRIPTION=(ERR=1153)(VSNNUM=169870592)(ERR ...

  3. bzoj4987 Tree 树上背包

    题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=4987 题解 一道还不错的题咯. 很容易发现一个结论:这 \(k\) 个点构成的一定是一个连通块 ...

  4. bzoj4489 [Jsoi2015]地铁线路 最短路

    题目传送门 https://lydsy.com/JudgeOnline/problem.php?id=4489 题解 感觉又被骗了.看这道题的 AC 人数不多,以为是一道很好的题目.结果发现是一个非常 ...

  5. 数据库与缓存:3.mongodb的基本知识

    1. mongodb是什么? NoSQL 非关系型数据库,主要用于数据的海量存储.分为server数据存储端和client数据操作端. 1.1 关系型与非关系型数据库的区别? 1.sql:数据库--表 ...

  6. ConcurrentLinkedDeque

    import java.util.concurrent.ConcurrentLinkedDeque; /** * ConcurrentLinkedQueue : 是一个适用于高并发场景下的队列,通过无 ...

  7. Python 的 zip 和 dict 组合 生成新字典

    >>> d = dict(zip(['a', 'b'], [1, 2]))>>> d{'a': 1, 'b': 2}>>> d = dict(zi ...

  8. 10.Servlet简单介绍

    1.什么是Servlet * Servlet是javaweb的三大组件之一,它属于动态资源.Servlet的作用是处理请求,服务器会把接收到的请求交给Servlet来处理,在Servlet种通常需要: ...

  9. CentOS7.5 开启Samba服务

    安装 yum install samba 其依赖关系包samba-client samba-common会自动安装上去 查看状态 service smb status 重启服务systemctl re ...

  10. SSH配置与修改

    ssh文件路径:/etc/ssh/ ssh的日志文件:/var/log/secure 端口修改:./sshd_config 服务启停: service sshd start/stop/restart ...