### 編譯期優化 編譯器在編譯期會針對字符串常量疊加得到固定值，字符串常量包括"hello"或用fianl修飾的變量，編譯器認為這些常量是不可變的 ### 編譯器優化String常量連接 示例一 ``` String str = "hello" + "java" + 1; // 編譯期編譯器會直接編譯為"hellojava1" #2 = String #21 // hellojava1 #21 = Utf8 hellojava1 ``` 示例二 ``` public static final String A = "ab"; // 常量A public static final String B = "cd"; // 常量B public static void main(String[] args) { String s = A + B; // 將兩個常量用+連接對s進行初始化 String t = "abcd"; if (s == t) { System.out.println("s等于t，它們是同一個對象"); } else { System.out.println("s不等于t，它們不是同一個對象"); } } output ==> s等于t，它們是同一個對象 ``` 說明：A和B都是常量，值是固定的，因此s的值也是固定的，它在類被編譯時就已經確定了。也就是說：String s=A+B; 等同于：String s="ab"+"cd"; 示例三 ``` public static final String A; // 常量A public static final String B; // 常量B static { A = "ab"; B = "cd"; } public static void main(String[] args) { // 將兩個常量用+連接對s進行初始化 String s = A + B; String t = "abcd"; if (s == t) { System.out.println("s等于t，它們是同一個對象"); } else { System.out.println("s不等于t，它們不是同一個對象"); } } output ==> s不等于t，它們不是同一個對象 ``` A和B雖然被定義為常量，但是它們都沒有馬上被賦值。在運算出s的值之前，他們何時被賦值，以及被賦予什么樣的值，都是個變數。因此A和B在被賦值之前，性質類似于一個變量。那么s就不能在編譯期被確定，而只能在運行時被創建了 ### 循環內String加操作 * 性能較低的代碼： ``` public void implicitUseStringBuilder(String[] values) { String result = ""; for (int i = 0 ; i < values.length; i ++) { result += values[i]; } System.out.println(result); } ``` 編譯后的字節碼： ``` public void implicitUseStringBuilder(java.lang.String[]); Code: 0: ldc #11 // String 2: astore_2 3: iconst_0 4: istore_3 5: iload_3 6: aload_1 7: arraylength 8: if_icmpge 38 11: new #5 // class java/lang/StringBuilder 14: dup 15: invokespecial #6 // Method java/lang/StringBuilder."<init>":()V 18: aload_2 19: invokevirtual #7 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 22: aload_1 23: iload_3 24: aaload 25: invokevirtual #7 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 28: invokevirtual #8 // Method java/lang/StringBuilder.toString:()Ljava/lang/String; 31: astore_2 32: iinc 3, 1 35: goto 5 38: getstatic #9 // Field java/lang/System.out:Ljava/io/PrintStream; 41: aload_2 42: invokevirtual #10 // Method java/io/PrintStream.println:(Ljava/lang/String;)V 45: return ``` 其中8: if\_icmpge 38 和35: goto 5構成了一個循環； 8: if\_icmpge 38的意思是如果（i &lt; values.length的相反結果）成立，則跳到第38行（System.out）。 35: goto 5則表示直接跳到第5行。 但是這里面有一個很重要的就是StringBuilder對象創建發生在循環之間，也就是意味著有多少次循環會創建多少個StringBuilder對象，這樣明顯性能較低 * 性能較高的代碼 ``` public void explicitUseStringBuider(String[] values) { StringBuilder result = new StringBuilder(); for (int i = 0; i < values.length; i ++) { result.append(values[i]); } } ``` ``` public void explicitUseStringBuider(java.lang.String[]); Code: 0: new #5 // class java/lang/StringBuilder 3: dup 4: invokespecial #6 // Method java/lang/StringBuilder."<init>":()V 7: astore_2 8: iconst_0 9: istore_3 10: iload_3 11: aload_1 12: arraylength 13: if_icmpge 30 16: aload_2 17: aload_1 18: iload_3 19: aaload 20: invokevirtual #7 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder; 23: pop 24: iinc 3, 1 27: goto 10 30: return ``` 從上面可以看出，`13: if_icmpge 30`和`27: goto 10`構成了一個loop循環，而`0: new #5`位于循環之外，所以不會多次創建StringBuilder. > 注意：循環體中需要盡量避免隱式或者顯式創建StringBuilder