Java字节码(.class文件)格式详解(一)

小介:去年在读《深入解析JVM》的时候写的,记得当时还想着用自己的代码解析字节码的,最后只完成了一部分。现在都不知道还有没有保留着,貌似Apache有现成的BCEL工程可以做这件事。当时也只是为了学习。这份资料主要参考《深入解析JVM》和《Java虚拟机规范》貌似是1.2版本的,整理出来的。里面包含了一些自己的理解和用实际代码的测试。有兴趣的童鞋可以研究研究。嘿嘿。要有错误也希望能为小弟指点出来,感激不尽。:)

1.
总体格式

Class File format

type

descriptor

remark

u4

magic

0xCAFEBABE

u2

minor_version

 

u2

major_version

 

u2

constant_pool_count

 

cp_info

constant_pool[cosntant_pool_count – 1]

index 0 is invalid

u2

access_flags

 

u2

this_class

 

u2

super_class

 

u2

interfaces_count

 

u2

interfaces[interfaces_count]

 

u2

fields_count

 

field_info

fields[fields_count]

 

u2

methods_count

 

method_info

methods[methods_count]

 

u2

attributes_count

 

attribute_info

attributes[attributes_count]

 

 

2.     格式详解

2.1  magic

magic被称为“魔数”,用来标识.class文件的开头。所有合法的.class字节码都应该是该数开头,占4个字节。

2.2  major_version.minor_version

major_version.minor_version合在一起形成当前.class文件的版本号,该版本号一般由编译器产生,并且由sun定义。如59.0。它们一起占4个字节。

2.3  constant_pool

Java字节码中,有一个常量池,用来存放不同类型的常量。由于Java设计的目的之一就是字节码需要经网络传输的,因而字节码需要比较紧凑,以减少网络传输的流量和时间。常量池的存在则可以让一些相同类型的值通过索引的方式从常量池中找到,而不是在不同地方有不同拷贝,缩减了字节码的大小。

每个常量池中的项是通过cp_info的类型来表示的,它的格式如下:

cp_info format

type

descriptor

remark

u1

tag

 

u1

info[]

 

这里tag用来表示当前常量池不同类型的项。info中存放常量池项中存放的数据。

tag中表示的数据类型:

CONSTANT_Class_info                                  7)、

CONSTANT_Integer_info                              3)、

CONSTANT_Long_info                                   5)、

CONSTANT_Float_info                                  4)、

CONSTANT_Double_info                              6)、

CONSTANT_String_info                                 8)、

CONSTANT_Fieldref_info                              9)、

CONSTANT_Methodref_info                       10)、

CONSTANT_InterfaceMethodref_info      11)、

CONSTANT_NameAndType_info                12)、

CONSTANT_Utf8_info                                   1)、

注:在Java字节码中,所有booleanbytecharshort类型都是用int类型存放,因而在常量池中没有和它们对应的项。

2.3.1    CONSTANT_Class_info

用于记录类或接口名(used to represent a class or an interface

CONSTANT_Class_info format

type

descriptor

remark

u1

tag

CONSTANT_Class (7)

u2

name_index

constant_pool中的索引,CONSTANT_Utf8_info类型。表示类或接口名。

注:在Java字节码中,类和接口名不同于源码中的名字,详见附件A.

 

2.3.2    CONSTANT_Integer_info

用于记录int类型的常量值(represent 4-byte numeric (int) constants:

CONSTANT_Integer_info

type

descriptor

remark

u1

tag

CONSTANT_Integer (3)

u4

bytes

整型常量值

 

2.3.3    CONSTANT_Long_info

用于记录long类型的常量值(represent 8-byte numeric (long) constants:

CONSTANT_Long_info

type

descriptor

remark

u1

tag

CONSTANT_Long (5)

u4

high_bytes

长整型的高四位值

u4

low_bytes

长整型的低四位值

 

2.3.4    CONSTANT_Float_info

用于记录float类型的常量值(represent 4-byte numeric (float) constants:

CONSTANT_Float_info

type

descriptor

remark

u1

tag

CONSTANT_Float(4)

u4

bytes

单精度浮点型常量值

几个特殊值:0x7f800000 => Float.POSITIVE_INFINITY0xff800000 => Float.NEGATIVE_INFINITY

                0x7f800001 to 0x7fffffff => Float.NaN0xff800001 to 0xffffffff => Float.NaN

 

2.3.5    CONSTANT_Double_info

用于记录double类型的常量值(represent 8-byte numeric (double) constants:

CONSTANT_Double_info

type

descriptor

remark

u1

tag

CONSTANT_Double(6)

u4

high_bytes

双精度浮点的高四位值

u4

low_bytes

双精度浮点的低四位值

几个特殊值:0x7ff0000000000000L => Double.POSITIVE_INFINITY

0xfff0000000000000L => Double.NEGATIVE_INFINITY

0x7ff0000000000001L to 0x7fffffffffffffffL => Double.NaN 

0xfff0000000000001L to 0xffffffffffffffffL => Double.NaN

 

2.3.6    CONSTANT_String_info

用于记录常量字符串的值(represent constant objects of the type String:

CONSTANT_String_info

type

descriptor

remark

u1

tag

CONSTANT_String(8)

u2

string_index

constant_pool中的索引,CONSTANT_Utf8_info类型。表示String类型值。

 

2.3.7    CONSTANT_Fieldref_info

用于记录字段信息(包括类或接口中定义的字段以及代码中使用到的字段)。

CONSTANT_Fieldref_info

type

descriptor

remark

u1

tag

CONSTANT_Fieldref(9)

u2

class_index

constant_pool中的索引,CONSTANT_Class_info类型。记录定义该字段的类或接口。

u2

name_and_type_index

constant_pool中的索引,CONSTANT_NameAndType_info类型。指定类或接口中的字段名(name)和字段描述符(descriptor)。

 

2.3.8    CONSTANT_Methodref_info

用于记录方法信息(包括类中定义的方法以及代码中使用到的方法)。

CONSTANT_Methodref_info

type

descriptor

remark

u1

tag

CONSTANT_Methodref(10)

u2

class_index

constant_pool中的索引,CONSTANT_Class_info类型。记录定义该方法的类。

u2

name_and_type_index

constant_pool中的索引,CONSTANT_NameAndType_info类型。指定类中扽方法名(name)和方法描述符(descriptor)。

 

2.3.9    CONSTANT_InterfaceMethodref_info

用于记录接口中的方法信息(包括接口中定义的方法以及代码中使用到的方法)。

CONSTANT_InterfaceMethodref_info

type

descriptor

remark

u1

tag

CONSTANT_InterfaceMethodref(11)

u2

class_index

constant_pool中的索引,CONSTANT_Class_info类型。记录定义该方法的接口。

u2

name_and_type_index

constant_pool中的索引,CONSTANT_NameAndType_info类型。指定接口中的方法名(name)和方法描述符(descriptor)。

 

2.3.10    CONSTANT_NameAndType_info

记录方法或字段的名称(name)和描述符(descriptor)represent a field or method, without indicating which class or interface type it belongs to:)。

CONSTANT_NameAndType_info

type

descriptor

remark

u1

tag

CONSTANT_NameAndType (12)

u2

name_index

constant_pool中的索引,CONSTANT_Utf8_info类型。指定字段或方法的名称。

u2

descriptor_index

constant_pool中的索引,CONSTANT_utf8_info类型。指定字段或方法的描述符(见附录C

 

2.3.11    CONSTANT_Utf8_info

记录字符串的值(represent constant string values. String content is encoded in modified UTF-8.

modifie

d UTF-8 refer to :

http://download.ora

cle.com/javase/1.4.2/docs/api/java/io/DataInputStream.html

CONSTANT_Utf8_info

type

descriptor

remark

u1

tag

CONSTANT_Utf8 (1)

u2

length

bytes所代表

的字符串的长度

u1

bytes[length]

字符串的byte数据,可以通过DataInputStream中的readUtf()方法(实例方法或静态方法读取该二进制的字符串的值。)

 

2.4  access_flags

指定类或接口的访问权限。

类或接口的访问权限

Flag Name

Value

Remarks

ACC_PUBLIC

0x0001

pubilc,包外可访问。

ACC_FINAL

0x0010

final,不能有子类。

ACC_SUPER

0x0020

用于兼容早期编译器,新编译器都设置该标记,以在使用 invokespecial指令时对子类方法做特定处理。

ACC_INTERFACE

0x0200

接口,同时需要设置:ACC_ABSTRACT。不可同时设置:ACC_FINALACC_SUPERACC_ENUM

ACC_ABSTRACT

0x0400

抽象类,无法实例化。不可和ACC_FINAL同时设置。

ACC_SYNTHETIC

0x1000

synthetic,由编译器产生,不存在于源代码中。

ACC_ANNOTATION

0x2000

注解类型(annotation),需同时设置:ACC_INTERFACEACC_ABSTRACT

ACC_ENUM

0x4000

枚举类型

 

2.5  this_class

this_class是指向constant pool的索引值,该值必须是CONSTANT_Class_info类型,指定当前字节码定义的类或接口。

 

2.6  super_class

super_class是指向constant pool的索引值,该值必须是CONSTANT_Class_info类型,指定当前字节码定义的类或接口的直接父类。只有Object类才没有直接父类,此时该索引值为0。并且父类不能是final类型。接口的父类都是Object类。

 

2.7  interfaces

interfaces数组记录所有当前类或接口直接实现的接口。interfaces数组中的每项值都是一个指向constant pool的索引值,这些值必须是CONSTANT_Class_info类型。数组中接口的顺序和源代码中接口定义的顺序相同。

 

2.8  fields

fields数组记录了类或接口中的所有字段,包括实例字段和静态字段,但不包含父类或父接口中定义的字段。fields数组中每项都是field_info类型值,它描述了字段的详细信息,如名称、描述符、字段中的attribute等。

field_info

type

descriptor

remark

u2

access_flags

记录字段的访问权限。见2.8.1

u2

name_index

constant_pool中的索引,CONSTANT_Utf8_info类型。指定字段的名称。

u2

descriptor_index

constant_pool中的索引,CONSTANT_Utf8_info类型,指定字段的描述符(见附录C)。

u2

attributes_count

attributes包含的项目数。

attribute_info

attributes[attributes_count]

字段中包含的Attribute集合。见2.8.2-2.8.7

注:fields中的项目和CONSTANT_Fieldref_info中的项目部分信息是相同的,他们主要的区别是CONSTANT_Fieldref_info中的项目不仅包含了类或接口中定义的字段,还包括在字节码中使用到的字段信息。不过这里很奇怪,为什么field_info结构中不把name_indexdescriptor_index合并成fieldref_index,这样的class文件不是更加紧凑吗??不知道这是sun因为某些原因故意这样设计还是这是他们的失误??

 

2.8.1    字段访问权限

字段的访问权限

Flag Name

Value

Remarks

ACC_PUBLIC

0x0001

pubilc,包外可访问。

ACC_PRIVATE

0x0002

private,只可在类内访问。

ACC_PROTECTED

0x0004

protected,类内和子类中可访问。

ACC_STATIC

0x0008

static,静态。

ACC_FINAL

0x0010

final,常量。

ACC_VOILATIE

0x0040

volatile,直接读写内存,不可被缓存。不可和ACC_FINAL一起使用。

ACC_TRANSIENT

0x0080

transient,在序列化中被忽略的字段。

ACC_SYNTHETIC

0x1000

synthetic,由编译器产生,不存在于源代码中。

ACC_ENUM

0x4000

enum,枚举类型字段

注:接口中的字段必须同时设置:ACC_PUBLICACC_STATICACC_FINAL

 

2.8.2    ConstantValue Attribute JVM识别)

ConstantValue Attribute

type

descriptor

remark

u2

attribute_name_index

constant_pool中的索引,CONSTANT_Utf8_info类型。指定Attribute的名称(“ConstantValue”)

u4

attribute_length

Attribute内容的字节长度(固定值:2

u2

constant_value_index

constant_pool中的索引,

CONSTANT_Integer_infointbooleancharshortbyte)、

CONSTANT_Float_infofloat)、

Constant_Double_infodouble)、

CONSTANT_Long_infolong

CONSTANT_String_infoString)类型

每个常量字段(final,静态常量或实例常量)都包含有且仅有一个ConstantValue AttributeConstantValue Attribute结构用于存储一个字段的常量值。

 

对一个静态常量字段,该常量值会在类或接口被初始化之前,由JVM负责赋给他们,即它在任何静态字段之前被赋值。

 

对一个非静态常量字段,该值会被虚拟机忽略,它的赋值由生成的实例初始化函数(<init>)实现。如类:

class A {

    public static final int fa = 10;

    public final int fa2 = 30;

    private static int sa = 20;

    static {

       sa = 30;

    }

}

生成的字节码如下:

// Compiled from Test.java (version 1.6 : 50.0, super bit)

class org.levin.insidejvm.miscs.staticinit.A {

 public static final int fa = 10;

 public final int fa2 = 30;

 private static int sa;

  static {};

     0 bipush 20

     2 putstatic org.levin.insidejvm.miscs.staticinit.A.sa : int [16]

     5 bipush 30

     7 putstatic org.levin.insidejvm.miscs.staticinit.A.sa : int [16]

    10 return

 public A();

     0 aload_0 [this]

     1 invokespecial java.lang.Object() [21]

     4 aload_0 [this]

     5 bipush 30

     7 putfield org.levin.insidejvm.miscs.staticinit.A.fa2 : int [23]

10 return

 

2.8.3    Synthetic Attribute

参考2.11.1

2.8.4    Signature Attribute

参考2.11.2

2.8.5    Deprecated Attribute

参考2.11.3

2.8.6    RuntimeVisibleAnnotations Attribute

参考2.11.4

2.8.7    RuntimeInvisibleAnnotations Attribute

参考2.11.5

上一篇:PHP array_push函数


下一篇:H3C设备之OSPF的配置