用Java如何完成最终字符串的连接？

Question

当我编译此代码片段时。

public class InternTest {
    public static void main(String...strings ){
        final String str1="str";
        final String str2="ing";
        String str= str1+str2;

    }
}

产生以下字节码

public static void main(java.lang.String...);
   flags: ACC_PUBLIC, ACC_STATIC, ACC_VARARGS
   Code:
     stack=1, locals=4, args_size=1
        0: ldc           #16                 // String str
        2: astore_1
        3: ldc           #18                 // String ing
        5: astore_2
        6: ldc           #20                 // String string
        8: astore_3
        9: return

因此常量池中已经存在字符串文字“ string”，该常量池6: ldc #20 // String string在此行被压入堆栈。

引用JSL

从JLS§4.12.4-最终变量：

基本类型或String类型的变量是最终变量，并使用编译时常量表达式（第15.28节）进行了初始化，该变量称为常量变量。

同样来自JLS§15.28-ConstantExpression：

使用String＃intern（）方法，始终将String类型的编译时常量表达式“ interned”，以便共享唯一的实例。

所以我知道str1和str2将在创建后立即被插入。“ str”和“ ing”将在行上共享相同的内存，String str= str1+str2;
但是str1 + str2如何在常量字符串池中直接产生“ string”。 没有调用任何String
Builder类，就像我不写时那样final。
？看看它和实习生有什么关系

我写了这个片段

public class IntermTest {
    public static void main(String...strings ){
         String str1=("str").intern();
        String str2=("ing").intern();
        String str= str1+str2;

    }
}

但是当我生成字节码时我得到了

public static void main(java.lang.String...);
    flags: ACC_PUBLIC, ACC_STATIC, ACC_VARARGS
    Code:
      stack=3, locals=4, args_size=1
         0: ldc           #16                 // String str
         2: invokevirtual #18                 // Method java/lang/String.intern:
()Ljava/lang/String;
         5: astore_1
         6: ldc           #24                 // String ing
         8: invokevirtual #18                 // Method java/lang/String.intern:
()Ljava/lang/String;
        11: astore_2
        12: new           #26                 // class java/lang/StringBuilder
        15: dup
        16: aload_1
        17: invokestatic  #28                 // Method java/lang/String.valueOf
:(Ljava/lang/Object;)Ljava/lang/String;
        20: invokespecial #32                 // Method java/lang/StringBuilder.
"<init>":(Ljava/lang/String;)V
        23: aload_2
        24: invokevirtual #35                 // Method java/lang/StringBuilder.
append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
        27: invokevirtual #39                 // Method java/lang/StringBuilder.
toString:()Ljava/lang/String;
        30: astore_3
        31: return

实际上，它也stringBuilder用于串联。因此，它与final有关系。关于final字符串，我绝对不知道有什么特别的地方吗？

Answer 1

http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.28说

引用常量变量（第4.12.4节）的简单名称（第6.5.6.1节）是常量表达式。

http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.28还说：

常量表达式是表示原始类型或String的值的表达式，该值不会突然完成，并且仅使用以下内容组成：

• 基本类型的文字和字符串类型的文字（§3.10.1，§3.10.2，§3.10.3，§3.10.4，§3.10.5）
• […]
• 加法运算符+和-（§15.18）
• […]
• 引用常量变量（第4.12.4节）的简单名称（第6.6.5.6.1节）。
  
  

示例15.28-1 常数表达式

[…]

“整数” + Long.MAX_VALUE +“很大。

由于这两个变量是常量表达式，因此编译器进行串联：

String str = str1 + str2;

编译方式与

String str = "str" + "ing";

编译方式与

String str = "string";