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

4.5 字段

　　字段使用field_info结构来描述。

　　在同一个class文件中的两个字段不能有相同的名称和描述符。

　　结构的格式如下：

field_info {

    u2             access_flags;

    u2             name_index;

    u2             descriptor_index;

    u2             attributes_count;

    attribute_info attributes[attributes_count];

}

　　field_info结构中的项目如下：

　　access_flags

　　　　access_flags的值是标识的掩码，用于表示对该字段的访问权限和属性。表4.5-A指定了设置每个标志含义。

　　　　　　表 4.5-A. 字段访问和属性标识

Flag Name	Value	Interpretation
`ACC_PUBLIC`	0x0001	申明为 `public`; 可以从包外访问
`ACC_PRIVATE`	0x0002	`申明为private`; 仅能在定义的class中使用
`ACC_PROTECTED`	0x0004	`申明为protected`; 可以在子类中访问
`ACC_STATIC`	0x0008	`申明为static`.
`ACC_FINAL`	0x0010	`申明为final`; 对象构造好之后无法再分配 (JLS §17.5).
`ACC_VOLATILE`	0x0040	`申明为volatile`; 不能被缓存.
`ACC_TRANSIENT`	0x0080	`申明为transient`; 持久化对象管理器不会读和写.
`ACC_SYNTHETIC`	0x1000	申明为synthetic; 不是由源代码产生的
`ACC_ENUM`	0x4000	申明为枚举中的一员.

　　　　类字段可能被设置上表中的任意标志位。然而，类中的每个字段只能设置ACC_PUBLIC，ACC_PRIVATE和ACC_PROTECTED中的一个，并且ACC_FINAL和ACC_VOLATILE不能同事被设置。

　　　　接口字段必须设置ACC_PUBLIC，ACC_STATIC和ACC_FINAL标志位；可以设置ACC_SYNTHETIC标志位，除此之外的其它标志位都不能设置。

　　　　ACC_SYNTHETIC标志表明这个字段是由编译器产生的，不存在源码中。

　　　　ACC_ENUM标志表面这个字段存储枚举类型中的一个元素。

　　　　上表中没有提到的标志位都是保留的供未来使用。在生成class文件的时候，它们应该设置为0，并且java虚拟机实现应该忽略这些位。

　　name_index

　　　　name_index的值必须是常量池表中的有效索引。该索引处的常量池条目必须是一个CONSTANT_Utf8_info结构(4.4.7)，它表示一个表示字段的有效非限定名称.

　　descriptor_index

　　　　descriptor_index的值必须是常量池表中的有效索引。该索引处的常量池条目必须是一个CONSTANT_Utf8_info结构(4.4.7)，它表示一个有效的字段描述符(4.3.2)。

　　arrtibutes_count

　　　　attributes count的值指明此字段的附加属性的数量。

　　attributes[]

　　　　attributes表的每个值必须是一个attribute_info结构。

　　　　字段可以包含任意数量的与之关联的可选属性。

　　　　表4.7-C列出了本规范定义的属性，它们出现在field_info结构的attributes表中。

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

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

4.6 方法

　　每个方法（包括每个实例初始化方法（2.9）和类或接口初始化方法（2.9））都由method_info结构描述。

　　同一个class文件不能有两个相同名称和描述符的方法。

　　method_info结构的格式如下：

method_info {

    u2             access_flags;

    u2             name_index;

    u2             descriptor_index;

    u2             attributes_count;

    attribute_info attributes[attributes_count];

}

　　method_info结构的项目如下：

　　access_flags

　　　　access_flags的值是标识的掩码，用于表示对该方法的访问权限和属性。表4.6-A指定了设置每个标志含义。

　　　　　　　　　　表 4.6-A. 方法访问和属性标志

标志名称	值	说明
`ACC_PUBLIC`	0x0001	声明 `public`; 可以从包外访问.
`ACC_PRIVATE`	0x0002	`声明 private`; 只能在定义的类中访问
`ACC_PROTECTED`	0x0004	`声明 protected`; 可以被子类访问
`ACC_STATIC`	0x0008	`声明 static`.
`ACC_FINAL`	0x0010	`声明 final`; 不能被覆盖
`ACC_SYNCHRONIZED`	0x0020	`声明 synchronized`;调用时使用monitor封装
`ACC_BRIDGE`	0x0040	一个桥接方法, 由编译器产生
`ACC_VARARGS`	0x0080	声明具有可变数量的参数
`ACC_NATIVE`	0x0100	`声明 native`;由java之外的语言实现
`ACC_ABSTRACT`	0x0400	`声明 abstract`; 不提供实现
`ACC_STRICT`	0x0800	`声明 strictfp`; 浮点型模式是 FP-strict.
`ACC_SYNTHETIC`	0x1000	声明 synthetic;源码中没有出现

　　　　类的方法可以具有表4.6-A中的任何标志。但是，类的每个方法最多可以设置ACC_PUBLIC，ACC_PRIVATE和ACC_PROTECTED标志中的一个（JLS§8.4.3）。

　　　　接口方法可以具有表4.6-A中除ACC_PROTECTED，ACC_FINAL，ACC_SYNCHRONIZED和ACC_NATIVE（JLS§9.4）之外的任何标志。在版本号小于52.0的类文件中，接口的每个方法必须设置ACC_PUBLIC和ACC_ABSTRACT标志; 在版本号为52.0或更高版本的类文件中，接口的每个方法必须只设置ACC_PUBLIC和ACC_PRIVATE标志中的一个。

　　　　如果类或接口的方法设置了ACC_ABSTRACT标志，则它不能设置任何ACC_PRIVATE，ACC_STATIC，ACC_FINAL，ACC_SYNCHRONIZED，ACC_NATIVE或ACC_STRICT标志。

　　　　每个实例初始化方法（2.9）最多可以设置一个ACC_PUBLIC，ACC_PRIVATE和ACC_PROTECTED标志，并且还可以设置其ACC_VARARGS，ACC_STRICT和ACC_SYNTHETIC标志，但不得具有表4.6-A中的任何其他标志。

　　　　类和接口的初始化方法由Java虚拟机隐式调用。除了ACC_STRICT标志的设置外，它们的access_flags项的值被忽略。

　　　　ACC_BRIDGE标志用于指示编译器为Java编程语言生成的桥接方法。

　　　　ACC_VARARGS标志指示此方法在源代码级别采用可变数量的参数。声明采用可变数量参数的方法必须在ACC_VARARGS标志设置为1的情况下进行编译。所有其他方法必须在ACC_VARARGS标志设置为0的情况下编译。

　　　　ACC_SYNTHETIC标志表示此方法是由编译器生成的，并且不会出现在源代码中，除非它是§4.7.8中指定的方法之一。

　　　　表4.6-A中未分配的access_flags项的所有位都保留供将来使用。它们应该在生成的类文件中设置为零，并且应该被Java虚拟机实现忽略。

　　name_index

　　　　name_index项的值必须是constant_pool表的有效索引。该索引处的constant_pool条目必须是CONSTANT_Utf8_info结构（4.4.7），表示特殊方法名称<init>或<clinit>（2.9）之一，或表示方法的有效非限定名称（4.2.2）。

　　descriptor_index

　　　　descriptor_index项的值必须是constant_pool表的有效索引。该索引处的constant_pool条目必须是表示有效方法描述符的CONSTANT_Utf8_info结构（4.3.3）。

　　arrtibutes_count

　　　　attributes_count项的值指示此方法的其他属性的数量。

　　attributes[]　　

　　　　attributes表的每个值必须是attribute_info结构（第4.7节）。
　　　　方法可以具有与之关联的任意数量的可选属性。
　　　　表4.7-C列出了此规范定义的属性出现在method_info结构的attributes表中。
　　　　有关定义出现在method_info结构的attributes表中的属性的规则在§4.7中给出。
　　　　关于method_info结构的attributes表中的非预定义属性的规则在第4.7.1节中给出。