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

4.7.1 定义和命名新属性

　　允许编译器定义和发布的class文件在class文件结构体、field_info结构体、method_info结构体和Code结构体中的attributes表中包含新的属性。允许java虚拟机识别和使用attributes表中的新属性。但是，任何没有在class文件规范中定义的属性都不能影响class文件的语义。java虚拟机的实现需要忽略它们不能识别的属性。

　　例如，允许定义一个新属性来支持特定供应商的调试。因为java虚拟要需要忽略它们不能识别的属性，为特殊java虚拟机实现所使用的class文件也可以用于其它的java虚拟机实现，尽管这些实现不能使用class文件中包含的额外调试信息。

　　禁止java虚拟机实现仅因为存在一些新属性就抛出异常或者拒绝使用class文件。当然，运行class文件的工具可能不能正确工作，如果给定的class文件中没有包含它们需要的属性。

　　两个本来是不同的属性，但是碰巧使用了相同的属性名并且长度相同，虚拟机实现在识别这两个属性时会发生冲突。除本规范中定义的属性外，其他属性的名称必须根据《Java语言规范，Java SE 8版》(JLS 6.1)中描述的包命名约定进行选择。

　　这个规范的未来版本可能定义额外的属性。

4.7.2 ConstantValue属性

　　ConstantValue属性的长度时固定的，它在field_info结构的attributes表中。ConstantValue属性表示常量表达式的值，用于以下场景：

如果在field_info结构的access_flags项中设置了ACC_STATIC标志，那么field_info结构所表示的字段将被分配其ConstantValue属性所表示的值，作为声明该字段的类或接口初始化的一部分(5.5)。这发生在调用该类或接口的类或接口初始化方法之前(2.9)。
否则，java虚拟机必须忽略这个属性

　　field_info结构中的attributes表中最多只能有一个ConstantValue属性。

　　ConstantValue属性的格式如下：

ConstantValue_attribute {

    u2 attribute_name_index;

    u4 attribute_length;

    u2 constantvalue_index;

}

　　ConstantValue_attribute结构的各条目如下：

　　attribute_name_index

　　　　attribute_name_index的值必须是常量池表中的有效索引。该索引处的常量池条目必须是一个表示字符串“ConstantValue”的常量Utf8信息结构(4.4.7)。

　　attribute_length

　　　　它的值必须是2.

　　constantvalue_index

　　　　constantvalue_index的值必须是常量池表中的有效索引。该索引处的常量池条目给出由该属性表示的常量值。常量池条目必须是与字段相适应的类型，如表4.7.2-A所指定。

Table 4.7.2-A. 常量属性类型

Field Type	Entry Type
`long`	`CONSTANT_Long`
`float`	`CONSTANT_Float`
`double`	`CONSTANT_Double`
`int`, `short`, `char`, `byte`, `boolean`	`CONSTANT_Integer`
`String`	`CONSTANT_String`

4.7.3 Code属性

　　code属性是一个变长属性，在method_info结构的attributes表中。Code属性包含方法的Java虚拟机指令和辅助信息，包括实例初始化方法或类或接口初始化方法(2.9)。

　　如果该方法是native或abstract，则其方法信息结构的属性表中必须没有Code属性。否则，它的方法信息结构的属性表中必须只有一个Code属性。

　　Code属性的格式如下：

Code_attribute {

    u2 attribute_name_index;

    u4 attribute_length;

    u2 max_stack;

    u2 max_locals;

    u4 code_length;

    u1 code[code_length];

    u2 exception_table_length;

    {   u2 start_pc;

        u2 end_pc;

        u2 handler_pc;

        u2 catch_type;

    } exception_table[exception_table_length];

    u2 attributes_count;

    attribute_info attributes[attributes_count];

}

　　结构体的各项如下：

　　attribute_name_index

　　　　attribute_name_index的值必须是常量池表中的有效索引。该索引处的常量池条目必须是一个表示字符串“Code”的常量Utf8信息结构(4.4.7)。

　　attribute_length

　　　　指示了属性的长度，不包含开头的6个字节。

　　max_stack

　　　　它的值给出了这个方法在执行过程中这个方法的操作数栈的最大深度。

　　max_locals

　　　　max_locals项的值给出了在调用此方法(2.6.1)时分配的局部变量数组中的局部变量的数量，包括用于在调用时向方法传递参数的局部变量。

　　　　long或double类型的值的最大局部变量索引是max_locals - 2。任何其他类型的值的最大局部变量索引是max_locals - 1。

　　code_length

　　　　它的值给出了这个方法的code数组中字节的数量。

　　　　它的值必须大于0小于65535，也就是说code数组不能为空。

　　code[]

　　　　code数组给出了实现了这个方法的java虚拟机代码的实际的字节。

　　　　当代码数组在字节可寻址机器上读入内存时，如果数组的第一个字节在4字节的边界上对齐，tableswitch和lookupswitch32位的偏移量将是4字节对齐的。(有关代码数组对齐结果的更多信息，请参考这些说明的描述。)

　　　　关于代码数组内容的详细约束非常广泛，在单独的小节(4.9)中给出。

　　exception_table_length

　　　　它的值给出了exception_table表条目的个数。

　　exception_table[]

　　　　exception_table数组中的每个条目都描述了代码数组中的一个异常处理程序。异常表数组中处理程序的顺序很重要(2.10)。

　　　　每个exception_table条目包含以下四项:

　　　　start_pc,end_pc

　　　　　　两个项目start_pc和end_pc的值指示异常处理程序在代码数组中的有效范围。start_pc的值必须是指令操作码代码数组的有效索引。end_pc的值必须是指令操作码的代码数组的有效索引，或者必须等于代码数组的长度code_length。start_pc的值必须小于end_pc的值。
　　　　　　start_pc是包含性的，end_pc是排他性的；也就是说，当程序计数器在[start_pc, end_pc)，异常处理程序必须是有效的。
　　　　　　end_pc是排他的这一事实是Java虚拟机设计中的一个历史错误:如果一个方法的Java虚拟机代码正好是65535字节长，并且以1字节长的指令结束，则该指令不能被异常处理程序保护。编译器编写器可以通过将任何方法、实例初始化方法或静态初始值设定项(任何代码数组的大小)的生成的Java虚拟机代码的最大大小限制为65534字节来解决这个错误。

　　　　handler_pc

　　　　　　它的值指示了异常处理程序的起始位置。它的值必须是code数组的有效索引并且是指令操作码的索引。

　　　　catch_type

　　　　　　如果catch_type项的值非零，它必须是常数池表中的有效索引。该索引处的常量池条目必须是CONSTAN_Class_info结构(4.4.1)，表示该异常处理程序指定要捕获的一类异常。只有当抛出的异常是给定类或其子类之一的实例时，才会调用异常处理程序。
　　　　　　验证器检查该类是可抛出的或者可抛出的子类(4.9.2)。
　　　　　　如果catch_type项的值为零，则为所有异常调用此异常处理程序。
　　　　　　这用于实现finally(3.13)。

　　attributes_count

　　　　它的值只是了Code属性的属性数量。

　　attributes[]

　　　　属性表的每个值必须是attribute_info结构(4.7)。
　　　　Code属性可以有任意数量的可选属性与之关联。
　　　　本规范定义的出现在Code属性的属性表中的属性列在表4.7-C中
　　　　4.7给出了Code属性的属性表中定义的属性规则。
　　　　Code属性的属性表中关于非预定义属性的规则在4.7.1中给出。