在文章JVM Class 文件结构详解一中,介绍了java虚拟机Class文件结构的magic魔数,minor version以及major version,constant_pool_count以及constant_pool等内容,接着继续介绍。
1、Access_Flags(访问标志)
在常量池结束后,紧接着是access_flags访问标志,u2,即占用两个字节。该标志的作用是识别一些类或接口层次的访问信息,如Class是类还是接口,修饰符是public还是其他等。下面列出了几种访问标志,见下图:
访问标志共有32个标志位可用,上面只列出了8种,没有使用到的标志位为0。回到上文中列出的案例,标志位如下红色:
即标志位为0x0021,如何出来的呢?对于类ClassFileTest,ACC_PUBLIC(0x0001)和ACC_SUPER(0x0020)标志位为真,其他的标志位为假,因此access_flags的值为0x0001|0x0020 = 0x0021。
2、this_class、super_class以及interfaces
this_class:类索引,u2类型数据,用于确定该类的全限定名称。
super_class:父类索引,u2类型数据,用于确定类的父类的全限定名称。
interfaces:接口索引集合,u2类型数据,用于描述该类实现了哪些接口。
对于接口索引集合,入口的第一项为u2类型的接口计数器interfaces_count,表示接口索引表的容量。如果该类没有实现任何接口,则计数器的值为0,后面接口的索引集合不再占用任何字节。
示例中的这三个区域显示如下图红色部分。
从图中可以看出,类索引为0x0001,父类索引为0x0003,接口索引集合容量为0x0000。即类索引为1,父类索引为3,接口索引集合大小为0。通过javap 命令可以看到对应的常量池中的常量:
因为只允许单继承,所以该类只有一个父类为默认的java.lang.object,因此所有Java类的父类索引都不为0。
3、fields_count和fields
字段表field_info用于描述接口或类中声明的变量。其中字段field包括了类变量以及实例变量,但不包括方法内部声明的变量。描述field的信息如修饰符、数据类型等。字段表结构如下图所示:
其中access_flags存放字段修饰符信息,u2数据类型,其中可以设置的标志位和含义如下图所示:
接着是name_index和descriptor_index两个索引值,都是对常量池的引用,分别代表着字段的简单名称、字段和方法的描述符。
简单名称:没有类型和参数修饰的方法或字段名称,比如代码中的count字段的简单名称为count。
字段和方法的描述符:用来描述字段的数据类型、方法的参数列表、返回值,方法的参数列表当然包括方法参数的数量、类型和顺序。
描述规则是:基本数据类型和无返回值的void都用一个大写字符来表示,对象类型用字符L加对象的全限定名(比如该类的全限定名为cn/com/yy/ClassFileTest; 最后是分号;表示结束)来表示。
下图是描述符标识字符含义:
对于数组类型,每一个维度使用一个前置的”["字符来描述,比如int[] 表示为“[I”。
描述符描述方法时,顺序为参数列表,后返回值。比如方法int returnValue()描述为()I,正如javap命令得到的结果如下图:
。
紧接着是一个属性表集合,用于存储一些额外的信息。如果没有,则属性计数器为0.
注意:字段表集合不会列出从超类或者父接口中继承而来的字段。
对于实例代码,该部分表示如下红色所示:
其中:0x0001表示fields_count,即只有一个字段表数据。
0x0002表示access_flags,查询得知为private。
0x0005表示name_index,从下图中查询得知为5,表示count。
0x0006表示descriptor_index,指向常量池中的I。
接着,0x0000,表示attributes_count,为0表示字段无额外信息需要存储。
从而我们可以得出原来的代码为private int count;
针对Class的其他结构,请继续看文章JVM Class 文件结构详解三