class字节码结构(三)(字段集合的结构)

时间:2023-01-22 09:18:50

《Java虚拟机原理图解》1.4 class文件中的字段表集合--field字段在class文件中是怎样组织的

字段区:包括了字段计数器和字段数据区:

class字节码结构(三)(字段集合的结构)

字段是指在类中定义的静态或者非静态的全局变量,而不是在类中的方法内定义的局部变量。

class字节码结构(三)(字段集合的结构)

Field字段应该包含的信息:

class字节码结构(三)(字段集合的结构)

class字节码结构(三)(字段集合的结构)

field字段的访问标志(access_flags)占有两个字节16位,通过每一位来表示不同的特征

class字节码结构(三)(字段集合的结构)

字段的数据类型表示:

class字节码结构(三)(字段集合的结构)

field_info结构体中,存储的是指向了常量池中该字段的名称和字段描述符的索引。

属性表集合:

针对final修饰的字段会有一个ConstantValue属性,将字段的值关联起来,存放的是指向常量池的字段值的索引。

class字节码结构(三)(字段集合的结构)

特别注意的是:

,为什么会存在多个ConstantValue(有点奇怪,要么就是上图画错了,应该是字段存在多个属性,而不是多个constantValue)。
,还有就是有个说法只有static的字段 才有这个属性,但是我测试,只有final修饰的才有这个属性。

我的测试:(只有final有constantValue属性)

代码的全局变量:
int aa=;
static int aaa=;
final int b=;
static final int c=; 字节码字段区域如下:(javap -v xxx类名xxx打开 显示的效果,不是索引,可能和虚拟机版本也有关系吧)
int aa;
descriptor: I
flags: static int aaa;
descriptor: I
flags: ACC_STATIC final int b;
descriptor: I
flags: ACC_FINAL
ConstantValue: int static final int c;
descriptor: I
flags: ACC_STATIC, ACC_FINAL
ConstantValue: int

关于字段赋值的时机:

public static final int MAX=;
public int count=;
a,对于非静态的field字段的赋值将会出现在实例构造方法<init>()中
b,对于静态的field字段,有两个选择:
、在静态构造方法<cinit>()中进行;
、使用ConstantValue属性进行赋值

编译器对于静态field字段的初始化赋值策略:

如果final和static同时修饰一个字段,并且这个字段是基本类型或者String类型的,
那么编译器在编译这个字段的时候,会在对应的field_info结构体中增加一个ConstantValue类型的结构体,在赋值的时候使用这个ConstantValue进行赋值;
如果该field字段并没有被final修饰,或者不是基本类型或者String类型,那么将在类构造方法中赋值。 感觉有点问题:测试结果是有final就有ConstantValue属性。

一个例子:

public class Simple {
private transient static final String str ="This is a test";
}

class字节码结构(三)(字段集合的结构)

总结:对于字段区域是对接口和类的全局字段的描述,将字段各部分关联起来。

最后有一个疑问:对于不是final修饰的字段,常量池没有存放它的值,字段数据区域也没有存放。程序运行后怎么得到它的值的。

只能看接下,构造方法是否有存放了。

补充:对于全局变量的值是被编译在构造器中赋值的:

例子:Java字节码浅析(—)

public class SimpleClass {
public int simpleField = ;
}

字节码中字段信息:

public int simpleField;
Signature: I
flags: ACC_PUBLIC

字节的构造方法中赋值:

  public SimpleClass();
Signature: ()V
flags: ACC_PUBLIC
Code:
stack=, locals=, args_size=
: aload_0
: invokespecial # // Method java/lang/Object."<init>":()V
: aload_0
: bipush
: putfield # // Field simpleField:I
: return
aload_0
从局部变量数组中加载一个对象引用到操作数栈的栈顶。尽管这段代码看起来没有构造方法, 但是在编译器生成的默认的构造方法里,就会包含这段初始化的代码。第一个局部变量正好是this引用, 于是aload_0把this引用压到操作数栈中。aload_0是aload_指令集中的一条,这组指令会将引用加载到操作数栈中。 n对应的是局部变量数组中的位置,并且也只能是0,,,。还有类似的加载指令,它们加载的并不是对象引用, 比如iload_,lload_,fload_,和dload_, 这里i代表int,l代表long,f代表float,d代表double。 局部变量的在数组中的位置大于3的,得通过iload,lload,fload,dload,和aload进行加载, 这些指令都接受一个操作数,它代表的是要加载的局部变量的在数组中的位置。 invokespecial
这条指令可以用来调用对象实例的构造方法,私有方法和父类中的方法。 它是方法调用指令集中的一条,其它的还有invokedynamic, invokeinterface, invokespecial, invokestatic, invokevirtual. 这里的invokespecial指令调用的是父类也就是java.lang.Object的构造方法。 bipush 它是用来把一个字节作为整型压到操作数栈中的,在这里100会被压到操作数栈里。
putfield
它接受一个操作数,这个操作数引用的是运行时常量池里的一个字段,在这里这个字段是simpleField。 赋给这个字段的值,以及包含这个字段的对象引用,在执行这条指令的时候,都 会从操作数栈顶上pop出来。 前面的aload_0指令已经把包含这个字段的对象压到操作数栈上了,而后面的bipush又把100压到栈里。 最后putfield指令会将这两个值从栈顶弹出。执行完的结果就是这个对象的simpleField这个字段的值更新成了100。