深入理解JVM之Java字节码文件(2)

访问标志:两个字节,用于定义字节码文件所表示的类或接口的访问权限,如判断是类还是接口,类是否被abstract修饰,类是否被final修饰,  acc_interface表示是接口,acc_annotation表示是注解类型,acc_enum表示是枚举类型,acc_public 表示类或接口是public访问权限,acc_final表示类不允许被继承,acc_abstract表示类为抽象类,acc_super表示类调用实例方法时需进行特殊操作

类索引及父类索引:四个字节,用于存储指向常量池constant_class_info对应的有效索引,而constant_class_info存储常量池列表的constant_utf8_info常量项索引,根据此索引可找到类和父类的全限定名

接口数量及接口表:接口属性用于存储当前类或接口的直接超类接口数量,接口表是一个数组,记住,只有常量池表从1开始计数,其余都是从数组下表0开始计数,接口表数组的每一个数组元素存储此类或接口的直接超类接口的有效索引,根据此索引找到constant_class_info对应的常量项,根据constant_class_info可找到对应直接超类接口的全限定名

字段数量及字段表:字段数量用于存储类或接口的字段数目,包括类字段和实例字段,字段表为一个数组,每一个数组元素都相当于一个field_info结构的对象,field_info结构包含字段完整信息:字段标识符,字段访问修饰符,字段是类字段还是实例字段,字段是否为常量等,注意:此处字段表示当前类或接口的字段,不包括从超类或接口继承的字段,java语法规范不允许同一个类或接口中出现同一字段名的不同字段,但是class文件中却可以允许出现相同字段名的不同字段,只有字段的描述符不同即可,field_info结构属性:access_flags用于存储字段的访问标志,acc_private,acc_protected,acc_public,acc_final,acc_static,acc_volatile等,注意:acc_final与acc_volatile不能同时出现在同一字段,name_index指向常量池constant_utf8_info常量项的有效索引,获取当前字段的简单名称,descriptor_index指向常量池constant_utf8_info常量项的有效索引,获取当前字段的描述符,attribute_count,attributes[attributes_count]这两项表示字段的属性信息,用于描述字段相关信息,attribute数组每一个元素都是一个attribute_info结构的元素
field_info{
u2 access_flags;
u2 name_index;
u2 descriptor_index;
u2 attributes_count;
attribute_info attributes[attribuyes_count];
}

方法数量及方法表:方法数量用于存储当前类或接口的方法数目,包括实例方法,类方法,抽象方法,方法表是一个数组,每一个数组元素都是一个method_info结构,method_info结构包含方法的完整信息:方法描述符,访问修饰符,是否为final方法,是否为abstract方法等,注意:此处的方法数组只是表示当前类或接口的所有方法,并不包括从超类及父接口继承来的方法,java语法规范java类或接口中不允许出现方法签名完全一样的方法同时出现,会编译报错,而字节码层面却允许方法签名完全相同的方法同时出现,只需要保证方法的返回值类型不同,method_info结构属性与field_info一致,但acc_flags类型不尽相同,注意acc_abstract不能与acc_final,acc_static,acc_private,acc_synchronized,acc_native同时使用,接口方法中只能使用acc_public,acc_abstract,此处我有一个疑问,接口中default方法有没有对应的访问标志,注意:<init>方法只能使用acc_private,acc_protected,acc_public访问标志
method_info{
u2 access_flags;
u2 name_index;
u2 descriptor_index;
u2 attributes_count;
attribute_info attributes[attribuyes_count];
}

属性数量及属性表:属性数量表示当前字节码文件中attribute_info表数目,属性表是一个数组,每一个数组元素都是attribute_info结构,attribute_info结构表示属性的完整信息:第一项指向常量池constant_utf8_info某常量项的有效索引,根据此索引可找到属性对应名称,属性可以出现在classFile,字段表,方法表中,用以描述相关信息,attribute_info结构完整信息:attribute_name_index指向常量池constant_utf8_info常量项的有效索引,获取属性名称,attribute_length用于指明info数组长度,info[attribute_length]用于存储属性的数据信息,必须实现的数据信息:Code,ConstantValue,Exceptions,  code属性用于描述method_info的具体相关信息,attribute_name_index指向常量池constant_utf8_info常量项的有效索引,获取属性名称,即code,attribute_length表示attribute表示attribute_info长度,不包括attribute_name_index和attribute_length的初始6字节,max_stack描述当前方法最大栈深度,max_locals描述当前方法的局部变量表,code_length表示code数组长度,code[]表示当前方法编译后的字节码,  ContantVaue位于field_info结构中,用于通知虚拟机对类变量进行初始化,即字段需要被acc_static修饰,当前类常量不需要ContantValue通知虚拟机执行初始化,早就执行好了,实例字段此时不需要初始化
attribute_info{
u2 attribute_name_index;
u4 attribute_length;
u1 info[attribute_length];
}

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/bd27c88be11858984d57ef30e894ea10.html