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节中给出。