在网上看到了下面的一段代码:
[java]view plain
copy上述代码会打印出什么结果来呢?10还是20?本文将以此代码为引子,着重讨论一下静态变量的初始化问题。
Java类中可以定义一个static块,用于静态变量的初始化。如:
[java]view plain
copy当然最常用的初始化静态变量的操作是在声明变量时直接进行赋值操作。如:
[java]view plain
copy那么上述两例在本质上有什么区别吗?回答是没有区别。两例代码编译之后的字节码完全一致,通过 “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."
static {}; Code: 0: bipush 10 2: putstatic #2; //Field _i:I 5: return
}
通过字节码还可以看出,当类的定义中不含有static块时,编译器会为该类提供一个默认的static块。当然这是在含有静态变量初始化操作的前提下。如果静态变量没有初始化操作,则编译器不会为之提供默认的static块。如:
[java]view plain
copy其字节码的表现形式为:
public class Test extends java.lang.Object{public static int _i;
public Test(); Code: 0: aload_0 1: invokespecial #1; //Method java/lang/Object."
}
由于静态变量是通过赋值操作进行初始化的,因此可以通过静态函数返回值的方式为其初始化。如:
[java]view plain
copy其本质与下面的代码相同:
[java]view plain
copy类定义中可以存在多个static块吗?回答是可以。如:
[java]view plain
copy此类编译之后的字节码为:
public class Test extends java.lang.Object{public static int _i;
public Test(); Code: 0: aload_0 1: invokespecial #1; //Method java/lang/Object."
public static void main(java.lang.String[]); Code: 0: return
static {}; Code: 0: bipush 10 2: putstatic #2; //Field _i:I 5: bipush 20 7: putstatic #2; //Field _i:I 10: return
}
观察static{}部分可以看出,上例的代码与下面的代码效果一致:
[java]view plain
copy此例可以证明,不仅类定义中可以有多个static块,而且在编译时编译器会将多个static块按照代码的前后位置重新组合成一个static块。
静态变量存放在常量池之中。如何证明呢?如:
[java]view plain
copy使用“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."
{public static int _i;
public Test(); Code: Stack=1, Locals=1, Args_size=1 0: aload_0 1: invokespecial #1; //Method java/lang/Object."
static {}; Code: Stack=1, Locals=0, Args_size=0 0: bipush 10 2: putstatic #2; //Field _i:I 5: return LineNumberTable: line 3: 0
}
我们看到,常量池中const #2指向的就是Test._i,也就是静态变量。静态变量被保存到常量池中的工作原理这里不深入讨论。在此需要注意的是:
如:
[java]view plain
copy上述代码的本质可以视为:
[java]view plain
copy由于静态变量的声明在编译时已经明确,所以静态变量的声明与初始化在编码顺序上可以颠倒。也就是说可以先编写初始化的代码,再编写声明代码。如:
[java]view plain
copy解答了上述三个问题,让我们再来看看开篇提到的问题。代码如下:
[java]view plain
copy其本质可以用下面的代码表示:
[java]view plain
copy再简化一下,可以表示为:
[java]view plain
copy至此,代码已经明确告诉我们打印结果是什么了!
来源: http://www.bubuko.com/infodetail-2132666.html