java constants_inconstant constants（变化无常的常量）

inconstant constants ( 变化无常的常量 )

马嘉楠

2006-10-18

看到这个题目也许你会感到奇怪，会想我在胡说八道什么，一定又是起个怪异的名字，骗取点击率。还请你耐心看完，如果你有所收获，那么我很高兴；如果你还是觉得上当了，那我继续努力写出点有用的东西，呵呵。

其实我想了很久，也还是不知道起一个什么题目好，就套用了《 The Java Language Specification》中的一个名词“ inconstant constants”，我把他翻译成“变化无常的常量”

注：部分内容在《

使用Java中的final变量需要注意的地方

》有提到，不过我转载的原文不够详细深入，这才重新写一下。

我们还是来先看一段代码，由代码引出问题：

public

class

ClassX {

public

static

final

int

X

=

2

;

}

public

class

ClassTest {

public

static

void

main(String[] args){

System.out.println(ClassX.X);

}

}

输出结果：

2

结果是显而易见的，这里需要说明的是：

根据Java语言规范，对于java中的static final变量，如果用一个在编译期间(complie time)可以计算出结果的表达式进行初始化，则用到此变量的地方会被该表达式的结果所替代。本例中，在编译期间，ClassTest.main() 函数中 ClassX.X 将被2所替代。

此时，在类ClassTest main()中不再有指向ClassX的动态链接，告诉ClassTest在运行的时候从ClassX获得X的值，你可以通过使用javap反编译器帮助你理解。

1. 先编译ClassTest.java文件

javac ClassTest.java

2. 使用javap

javap -c ClassTest

屏幕输出：

Complied from "ClassTest.java"

public class ClassTest extends java.lang.Object{

public ClassTest();

Code:

0: aload_0

1: invokespecial     #1; //Method java/lang/Object."

":()V

4: return

public static void main(java.lang.String[]);

Code:

0: getstatic         #2; //Field java/lang/System.out:Ljava/io/PrintStream;

3: iconst_2

4: invokevirtua      #3; //Method java/io/PrintStream.println:(I)V

7: return

}

可以看出，在调用System.out.println()之前，整数2已经被放在JVM的堆栈中，不再有指向ClassX.X的链接。如果此时，改变ClassX.X的值为1,并且重新编译ClassX.X文件，但是并不重新编译ClassTest.java文件，运行ClassTest，输出结果仍然是2.

这么做(常量替换)的一个原因是为了在编译期间检查switch case语句。switch语句中的每一个case都需要一个常量值，而且每两个之间都不能相同，编译器在编译期间将会做检查。

如果用来给static final变量进行初始化的表达式，只能在运行时刻才可以计算出值，那么常量替换就不会发生.例如：

public

class

ClassX {

public

static final int X= new

java.util.Random().nextInt();

}

ClassX 改变了，我们再来看一下Main.main():

Complied from "ClassTest.java"

public class ClassTest extends java.lang.Object{

public ClassTest();

Code:

0: aload_0

1: invokespecial      #1; //Method java/lang/Object."

":()V

4: return

public static void main(java.lang.String[]);

Code:

0: getstatic          #2; //Field java/lang/System.out:Ljava/io/PrintStream;

3: getstatic          #3; //Field ClassX.X:I

6: invokevirtual      #4; //Method java/io/PrintStream.println:(I)V

9: return

}

此时我们可以看见有个引用指向了Field X。

( 如果把类ClassX改成Interface，仍然会出现上面的结果 )

当然有方法可以使你避免出现"inconstant constants"问题。

第一种方法：当你要声明一个编译期间常量的时候，一定要保证此变量不会或者不太可能改变，或者尽量少使用声明为static final的变量。当然这只能治标不能治本，所以我推荐使用第二种方法。

第二种方法：

将变量声明为private，同时声明一个方法来获得此变量的值

//

ClassX.java修改如下：

public

class

ClassX {

private static final int X= 2

;

public

static

int

getX(){

return

X;

}

}

//

ClassTest.java修改如下：

public class

ClassTest{

public static void

main(String[] args){

System.out.println(ClassX.getX());

}

}

此时再改变ClassX.X的值为1，重新编译ClassX.java，而不编译ClassTest，结果就会显示1，而非2。这就避免了"inconstant constants"的问题。

下一篇准备讲一下

《在java中使用循环定义会出现哪些问题？》

马嘉楠

jianan.ma@gmail.com

posted on 2006-10-18 16:27 马嘉楠 阅读(1493) 评论(5)  编辑  收藏 所属分类: Java