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

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

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

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

 

java代码：

查看 复制到剪贴板 打印

1. class AntHill{    
2.     static final boolean debug = true ;    
3. }    
4.     
5. class Example{    
6.     public static void main(String[] args){    
7.         if (AntHill.debug){    
8.             System.out.println("Debug is true!");    
9.         }    
10.     }    
11. }    

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

 

main方法的字节码如下：

java代码：

查看 复制到剪贴板 打印

1. public static main(String[]) : void    
2.     GETSTATIC System.out : PrintStream    
3.     LDC "Debug is true!"    
4.     INVOKEVIRTUAL PrintStream.println(String) : void    
5.     LINENUMBER 54 L1    
6.     RETURN    
7.      

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

 

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

如果在源代码如下：

 

java代码：

查看 复制到剪贴板 打印

1. class AntHill{    
2.     static final boolean debug = fasle ;    
3. }    
4.     
5. class Example{    
6.     public static void main(String[] args){    
7.         if (AntHill.debug){    
8.             System.out.println("Debug is true!");    
9.         }    
10.     }    
11. }   

 

main方法字节码为：

java代码：

查看 复制到剪贴板 打印

1. public static main(String[]) : void    
2.    RETURN    

没有任何其他代码。

 

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