String 类型的变量和常量做 “+” 运算时发生了什么？

先看看字符串不加 final 关键字拼接的情况（jdk1.8）:

String str1 = "str"
String str2 = "ing"
String str3 = "str" + "ing"
String str4 = str1 + str2
String str5 = "string"
System.out.println(str3 == str4);//false
System.out.println(str3 == str5);//true
System.out.println(str4 == str5);//false

注意：比较 String 字符串的值是否相等，可以使用 equals() 方法。 String 中的 equals 方法是被重写过的。 Object 的 equals 方法是比较的对象的内存地址，而 String 的 equals 方法比较的是字符串的值是否相等。

String str1 = "str"
String str2 = "ing"
String str3 = "str" + "ing" // 常量池中的对象
String str4 = str1 + str2 // 在堆上创建的新对象
String str5 = "string" // 常量池中的对象
System.out.println(str3 == str4);//false
System.out.println(str3 == str5);//true
System.out.println(str4 == str5);//false

对于编译期可以确定值的字符串，也就是常量字符串，jvm 会将其存入到字符串常量池。并且字符串常量拼接得到的字符串常量在编译阶段就已经被存放到字符串常量池，这个得益于编译器的优化

在编译过程中，Javac编译器会进行一个叫做 常量折叠的代码 优化。常量折叠会把常量表达式的值求出来作为常量嵌在最终生成的代码中，这时 Javac 编译器对源代码做的极少量优化措施之一。

对于 String str3 = "str" + "ing" ; 编译器会将代码优化成 String str3 = "string"; 。

并不是所有的常量都会进行折叠，只有编译器在程序编译期就可以确定值的常量才可以：

• 基本数据类型（byte、boolean、short、char、int、float、long、double）以及字符串常量。
• final 修饰的基本数据类型和字符串变量
• 字符串通过 “+” 拼接得到的字符串、基本数据类型之间算术运算、基本数据类型的位运算。

引用的值在程序编译期间时无法确定的，编译器无法对其进行优化。

对象引用 和 “+” 的字符串拼接方式，实际上是通过 StringBuilder 调用 append() 方法实现的，拼接完成之后调用 toString() 得到一个 String 对象。

String str4 = new StringBuilder().append(str1).append(str2).toString();

在平时写代码的时候，尽量避免多个字符串对象拼接，因为这样会重新创建对象。如果需要改变字符串的话，可以使用 StringBuilder 或者 StringBuffer 。

不过字符串使用 final 关键字声明之后，可以让编译器当做常量处理。

eg：

final String str1 = "str";
final String str2 = "ing";
// 下面两个表达式其实是等价的
String c = "str" + "ing";// 常量池中的对象
String d = str1 + str2; // 常量池中的对象
System.out.println(c == d);// true

被 final 关键字修饰后的 String 会被编译器当做常量处理，编译器在程序编译期就可以确定它的值，其效果相当于访问常量。

如果编译器在运行期才能确定它的值的话，就无法对其优化。