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

4.7.5 Exceptions 属性

　　Exceptions 属性是一个变长属性，它位于 method_info（§4.6）结构的属性表中。
　　Exceptions 属性指出了一个方法需要检查的可能抛出的异常。一个 method_info 结构中最多只能有一个 Exceptions 属性。
　　Exceptions 属性格式如下：

Exceptions_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 number_of_exceptions;
    u2 exception_index_table[number_of_exceptions];
}

Exceptions_attribute 格式的项的说明如下：
　　 attribute_name_index
　　　　attribute_name_index 项的值必须是对常量池的一个有效索引。常量池在该索引处的成员必须是 CONSTANT_Utf8_info（§4.4.7）结构，表示字符串"Exceptions"。
　　attribute_length
　　　　attribute_length 项的值给出了当前属性的长度，不包括开始的 6 个字节。
　　number_of_exceptions
　　　　number_of_exceptions 项的值给出了 exception_index_table[]数组中成员的数量。
　　exception_index_table[]
　　　　exception_index_table[]数组的每个成员的值都必须是对常量池的有效索引。常量池在这些索引处的成员必须都是 CONSTANT_Class_info（§4.4.1）结构，表示这个方法声明要抛出的异常的类的类型。
　　一个方法如果要抛出异常，必须至少满足下列三个条件中的一个：
　　　　要抛出的是 RuntimeException 或其子类的实例。
　　　　要抛出的是 Error 或其子类的实例。
　　　　要抛出的是在 exception_index_table[]数组中申明的异常类或其子类的实例。
　　这些要求没有在 Java 虚拟机中进行强制检查，它们只在编译时进行强制检查。