首先，我们先看下以下代码的输出情况

String s = "a" + "b";System.out.println(s == "ab"); //  true

将这段代码反编译后得到如下结果

public static void main(java.lang.String[]);    Code:       0: aload_0       1: invokespecial #1                  // Method java/lang/Object."
    
     ":()V       4: return  public static void main(java.lang.String[]);    Code:       0: ldc           #2                  // String ab       2: astore_1       3: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;       6: aload_1       7: ldc           #2                  // String ab       9: if_acmpne     16      12: iconst_1      13: goto          17      16: iconst_0      17: invokevirtual #4                  // Method java/io/PrintStream.println:(Z)V      20: return
    

重点是这句0: ldc #2 // String ab，可以发现 从一开始"a"+"b"就是一个整体，这是因为jvm在编译时就去掉其中的加号，直接将其编译成一个相连的结果存入了常量池，而不是等到运行时再去进行相加，所以运行s=="ab"结果为true;