JAVA：对常量池的编译时解析

from Inside the JAVA2 Virtual Machine P 294- 296

在java文件中，指向编译时常量的类的static final 变量， 会被在运行时解析为一个局部的常量值（也就是说编译成字节码时，会把那些在编译时就能确定的static final 变量直接用常量代替）。这对所有的primitive types（就像int ，float等）和java.lang.String都适用。

这些特别的常量机制源自于java语言的两个特点。第一，常量的局部复制 让static final 变量能够被应用到 switch case语句中。tableswitch 和 lookupswitch 是字节码中实现switch逻辑的指令，它们需要在字节码中查找到case值。而这些指令是不支持运行时对变量的解析的。

另外一个动机是对if等判断语句的编译优化。Java支持根据解析判定值为一个编译时常量来简化对判断语句的编译。如下代码：

class AntHill{
	static final boolean debug = true ;
}

class Example{
	public static void main(String[] args){
		if (AntHill.debug){
			System.out.println("Debug is true!");
		}
	}
}

因为编译器会对primitive 常量进行特殊处理，进儿对if判断语句进行优化，决定是否包含某段代码。

main方法的字节码如下：

public static main(String[]) : void
    GETSTATIC System.out : PrintStream
    LDC "Debug is true!"
    INVOKEVIRTUAL PrintStream.println(String) : void
    LINENUMBER 54 L1
    RETURN
 

这里根本没有出现对AntHill类的调用，也就不会链接、初始化AntHill类。

编译器直接在编译时优化了代码，将AntHill.debug转化为对局部常量的访问，并进一步简化了if判断语句。

如果在源代码如下：

<pre style="margin-top: 4px; margin-right: 0px; margin-bottom: 4px; margin-left: 0px; background-color: rgb(240, 240, 240);" name="code" class="java">class AntHill{
	static final boolean debug = fasle ;
}

class Example{
	public static void main(String[] args){
		if (AntHill.debug){
			System.out.println("Debug is true!");
		}
	}
}</pre>

main方法字节码为：

 public static main(String[]) : void
    RETURN

没有任何其他代码。

同时，我们需要注意，重新编译的时候不能仅仅编译AntHill.class ，而是要编译所有文件！

（笔者感悟：看来要谨慎使用final static 的 primitive 变量！！）