JVM Class 文件结构详解二

      在文章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 文件结构详解三