Java静态变量的初始化(static块的本质)

在网上看到了下面的一段代码:

上述代码会打印出什么结果来呢?10还是20?本文将以此代码为引子,着重讨论一下静态变量的初始化问题。

问题1:静态变量如何初始化

Java类中可以定义一个static块,用于静态变量的初始化。如:

当然最常用的初始化静态变量的操作是在声明变量时直接进行赋值操作。如:

那么上述两例在本质上有什么区别吗?回答是没有区别。两例代码编译之后的字节码完全一致,通过 “javap -c”查看到的字节码如下:

public class Test extends java.lang.Object{public static int _i;

public Test(); Code: 0:aload_0 1:invokespecial#1; //Method java/lang/Object.”<init>”:()V 4:return

static {}; Code: 0:bipush10 2:putstatic#2; //Field _i:I 5:return

}

通过字节码还可以看出,当类的定义中不含有static块时,编译器会为该类提供一个默认的static块。当然这是在含有静态变量初始化操作的前提下。如果静态变量没有初始化操作,则编译器不会为之提供默认的static块。如:

其字节码的表现形式为:

public class Test extends java.lang.Object{public static int _i;

public Test(); Code: 0:aload_0 1:invokespecial#1; //Method java/lang/Object.”<init>”:()V 4:return

}

由于静态变量是通过赋值操作进行初始化的,因此可以通过静态函数返回值的方式为其初始化。如:

其本质与下面的代码相同:

问题2:JDK如何处理static块

类定义中可以存在多个static块吗?回答是可以。如:

此类编译之后的字节码为:

public class Test extends java.lang.Object{public static int _i;

public Test(); Code: 0:aload_0 1:invokespecial#1; //Method java/lang/Object.”<init>”:()V 4:return

public static void main(java.lang.String[]); Code: 0:return

static {}; Code: 0:bipush10 2:putstatic#2; //Field _i:I 5:bipush20 7:putstatic#2; //Field _i:I 10:return

}

观察static{}部分可以看出,上例的代码与下面的代码效果一致:

此例可以证明,不仅类定义中可以有多个static块,而且在编译时编译器会将多个static块按照代码的前后位置重新组合成一个static块。

问题3:如何看待静态变量的声明

静态变量存放在常量池之中。如何证明呢?如:

使用“javap -c -verbose”查看其字节码的内容如下:

public class Test extends java.lang.Object SourceFile: “Test.java” minor version: 0 major version: 49 Constant pool:const #1 = Method#4.#14;// java/lang/Object.”<init>”:()Vconst #2 = Field#3.#15;// Test._i:Iconst #3 = class#16;// Testconst #4 = class#17;// java/lang/Objectconst #5 = Asciz_i;const #6 = AscizI;const #7 = Asciz<init>;const #8 = Asciz()V;const #9 = AscizCode;const #10 = AscizLineNumberTable;const #11 = Asciz<clinit>;const #12 = AscizSourceFile;const #13 = AscizTest.java;const #14 = NameAndType#7:#8;// “<init>”:()Vconst #15 = NameAndType#5:#6;// _i:Iconst #16 = AscizTest;const #17 = Ascizjava/lang/Object;

{public static int _i;

public Test(); Code: Stack=1, Locals=1, Args_size=1 0:aload_0 1:invokespecial#1; //Method java/lang/Object.”<init>”:()V 4:return LineNumberTable: line 2: 0

static {}; Code: Stack=1, Locals=0, Args_size=0 0:bipush10 2:putstatic#2; //Field _i:I 5:return LineNumberTable: line 3: 0

}

我们看到,常量池中const #2指向的就是Test._i,也就是静态变量。静态变量被保存到常量池中的工作原理这里不深入讨论。在此需要注意的是:

静态变量的声明与初始化是两个不同的操作;静态变量的声明在编译时已经明确了内存的位置。

如:

上述代码的本质可以视为:

由于静态变量的声明在编译时已经明确,,所以静态变量的声明与初始化在编码顺序上可以颠倒。也就是说可以先编写初始化的代码,再编写声明代码。如:

对初始问题的解答

解答了上述三个问题,让我们再来看看开篇提到的问题。代码如下:

其本质可以用下面的代码表示:

再简化一下,可以表示为:

至此,代码已经明确告诉我们打印结果是什么了!

没有伞的孩子必须努力奔跑!

Java静态变量的初始化(static块的本质)

相关文章:

你感兴趣的文章:

标签云: