Java中执行“宏替换”的变量

对于一个final变量，不管它是类变量、实例变量，还是局部变量，只要定义该变量时使用了final修饰符修饰，并在定义该final类变量时指定了初始值，而且该初始值可以在编译时就被确定下来，那么这个final变量本质上已经不再是变量，而是相当于一个直接量。

public class FinalTest{public static void main(String[] args){<strong>final int a=5+2;final double b=1.2/3;final String str="疯狂" + "Java";final String book="疯狂Java讲义"+99.0;</strong>//下面的book2变量的值因为调用了方法，所以无法在编译时确定下来final String book2="疯狂Java讲义"+String.valueOf(99.0);                //              1System.out.println(book=="疯狂Java讲义99.0");System.out.println(book2=="疯狂Java讲义99.0");}}

上面程序中的粗体字代码定义了四个final变量，程序为这四个变量赋予初始值，指定的初始值要么是算术表达式，要么是字符串连接运算。即使字符串连接运算中包含隐式类型（将数值转换为字符串）转换，编译器依然可以在编译时就确定a、b、str、book这四个变量的值，因此它们都是“宏变量”

“宏变量”:final修饰符的一个重要用途就是定义“宏变量”。当定义final变量时就为该变量指定了初始值，而且该初始值可以在编译时就确定下来，那么这个final变量本质上就是一个“宏变量”，编译器会把程序所有用到该变量的地方直接替换成该变量的值。

从表面上看,1行代码定义的book2与book没有太大的区别，只是定义book2变量时的显式将数值99.0转换为字符串。但由于该变量的值需要调用String类的方法，因此编译器无法在编译时确定book2的值，book2不会被当成“宏变量”类处理。

例如下列示例：

public class FinalTest{public static void main(String[] args){String s1="疯狂Java";String s2="疯狂"+"Java";System.out.println(s1==s2);String str1="疯狂";String str2="Java";<span style="color:#ff0000;">String s3=str1+str2;</span>System.out.println(s1==s3);}}

对于s3而言，它的值由str1和str2进行连接后得到。由于str1/str2只是两个普通变量，编译器不会执行“宏替换”，因此编译器无法在编译时确定s3的值，不会让s3指向字符串池中缓存的“疯狂Java”。由此可见，s1==s3将输出false

为了让s1==s3输出为true也很简单，只要编译器可以对str1和str2两个变量执行“宏替换”这样编译器既可以在编译阶段就确定s3的值，就会让s3指向字符串池中缓存的“疯狂Java".即把程序改成如下形式：

public class FinalTest{public static void main(String[] args){String s1="疯狂Java";String s2="疯狂"+"Java";System.out.println(s1==s2);<strong>final String str1="疯狂";final String str2="Java";</strong>String s3=str1+str2;System.out.println(s1==s3);}}

如下列示例：

public class FinalTest{final static String str1;final static String str2="Java";static {str1="Java";}public static void main(String[] args){System.out.println(str1+str1=="JavaJava");System.out.println(str2+str2=="JavaJava");}}

上面程序定义了两个final类变量，但是只有str2在定义该变量时指定了初始值，str1则在静态初始化块中指定了初始值，因此系统不会对str1进行宏替换，但会对str2执行”宏替换“。