Java之常量折叠

常量折叠是Java在编译期做的一个优化，简单的来说，在编译期就把一些表达式计算好，不需要在运行时进行计算。
比如: int a = 1 + 2，经过常量折叠后就变成了int a = 3。
我们举个例子:

public class Main {
    public static void main(String[] args) {
        String s1 = "a" + "bc";
        String s2 = "ab" + "c";
        System.out.println(s1 == s2);
    }
}

执行结果为true。
我们使用javac编译之后，在通过反编译工具（这个有个网站可以用）看下编译器优化后的代码:

public class Main {
   public static void main(String[] var0) {
      String var1 = "abc";
      String var2 = "abc";
      System.out.println(var1 == var2);
   }
}

var1和var2的值都是常量池中的”abc”，是同一个引用，所以会相等。
修改下我们的例子:

public class Main {
    public static void main(String[] args) {
        String a = "a";
        String b = "b";
        String s1= a + b;
        String s2= a + b;
        System.out.println(s1 == s2);
    }
}

执行结果为: false。
我们反编译生成的class文件:

public class Main {

   public static void main(String[] var0) {
      String var1 = "a";
      String var2 = "b";
      String var3 = var1 + var2;
      String var4 = var1 + var2;
      System.out.println(var3 == var4);
   }
}

我们知道，对于字符串进行 a + b的代码，运行中是这样处理的:
String s2 = (new StringBuffer()).append(a).append(b).toString();
所以最终得到的s1和s2是不相等(==)的。
第一个例子就是“常量折叠”，并不是所有的常量都会进行折叠，必须是编译期常量之间进行运算才会进行常量折叠，编译器常量就是编译时就能确定其值的常量，这个定义很严格，需要满足以下条件:
1. 字面量是编译期常量（数字字面量，字符串字面量等）。
2. 编译期常量进行简单运算的结果也是编译期常量，如1+2，”a”+”b”。
3. 被编译器常量赋值的 final 的基本类型和字符串变量也是编译期常量。

最后我们举一个final标识的常量折叠的例子:

public class Main {
    static final String a = "a";
    static final String b = "b";
    public static void main(String[] args) {
        String s1= a + b;
        String s2= a + b;
        System.out.println(s1 == s2);
    }
}

输出结果为: true
反编译的结果如下:

public class Main {

   static final String a = "a";
   static final String b = "b";

   public static void main(String[] var0) {
      String var1 = "ab";
      String var2 = "ab";
      System.out.println(var1 == var2);
   }
}