Final变量的使用

预备知识：

一、常量折叠

参考自：https://blog.csdn.net/feigeswjtu/article/details/78996691
常量折叠是属于javac编译器在进行语义分析阶段（标注检查）发生。

1.常量折叠是Java在编译期做的一个优化，简单的来说，在编译期就把一些表达式计算好，不需要在运行时进行计算。
2.编译期常量之间进行运算才会进行常量折叠，编译器常量就是编译时就能确定其值的常量，这个定义很严格，需要满足以下条件:
1. 字面量是编译期常量（字面量包括：1.文本字符串 2.八种基本类型的值 3.被声明为final的常量等）。
2. 编译期常量进行简单运算的结果也是编译期常量，如1+2，”a”+”b”。
3. 被编译器常量赋值的 final 的基本类型和字符串变量也是编译期常量。

举例理解：

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

执行结果为true。
这里的编译器常量a bc ab c 在经过常量折叠后，在常量池中用s1=”abc”; s2=”abc”;进行替换，常量池中没有 a bc ab c 的字面量了，只有abc 所以 s1 和s2 都指向常量池abc所以地址相同；
我们使用javac编译之后，在通过反编译工具（这个有个JAVA反向工程网 可以用）看下编译器优化后的代码:

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(); （jdk 1.7之前）
所以两个字符串对象的地址肯定不一样。
所以最终得到的s1和s2是不相等(==)的。
3.这里的Final 常量同样的问题

这里的解释是一样： a b 为final修饰的常量编译器会进行常量折叠；所以
s1=”ab”;
s2=”ab”;

---

二、字符串链接问题+

附：如果一个表达式以字符串起头，那么后续所有操作数都必须是字符串类型


出自：java编程思想

字符串链接问题 运算符重载+的含义

由于mango 不是常量不会 进行常量折叠、通过了编译器；

参考自：java编程思想

---