Java字节码编译中字符串拼接的差异成因、预测及管控方法

问题背景 #

给定如下Java代码：

public class TestException extends Exception {

  public TestException(String msg) {
    super("This is the message: " + msg);
  }
}

编译后出现两种不同的字节码实现：

实现1：使用StringBuilder拼接 #

public class TestException extends java.lang.Exception {
  public TestException(java.lang.String);
    Code:
       0: aload_0
       1: new           #1                  // class java/lang/StringBuilder
       4: dup
       5: invokespecial #3                  // Method java/lang/StringBuilder."<init>":()V
       8: ldc           #7                  // String This is the message:
      10: invokevirtual #9                  // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
      13: aload_1
      14: invokevirtual #9                  // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
      17: invokevirtual #13                 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;
      20: invokespecial #17                 // Method java/lang/Exception."<init>":(Ljava/lang/String;)V
      23: return
}

这种实现会创建StringBuilder对象，通过多次调用append方法完成拼接，最后调用toString得到结果。

实现2：使用StringConcatFactory拼接 #

public class TestException extends java.lang.Exception {
  public TestException(java.lang.String);
    Code:
       0: aload_0
       1: aload_1
       2: invokedynamic #1,  0              // InvokeDynamic #0:makeConcatWithConstants:(Ljava/lang/String;)Ljava/lang/String;
       7: invokespecial #5                  // Method java/lang/Exception."<init>":(Ljava/lang/String;)V
      10: return
}

这种实现通过invokedynamic指令调用StringConcatFactory.makeConcatWithConstants()方法完成字符串拼接。

差异的决定因素 #

• JDK版本：Java 8及更早版本的javac编译器，默认生成StringBuilder相关的拼接代码；Java 9及以后版本，javac默认采用invokedynamic结合StringConcatFactory的方式，这种方式在运行时可选择更高效的拼接策略（比如直接拼接、使用StringBuilder或StringJoiner等）。
• 编译选项：即使在Java 9+环境中，也可通过编译参数强制指定拼接方式：
  • -XDstringConcat=inline：强制生成StringBuilder拼接代码
  • -XDstringConcat=dynamic：强制使用invokedynamic方式
• 编译器实现：不同的Java编译器（如Oracle javac、Eclipse ECJ）可能有不同的默认行为，部分编译器在Java 9+环境下仍默认生成StringBuilder代码。

如何预测和控制行为 #

1. 根据JDK版本预测：
   • Java 8及以下：必然生成StringBuilder拼接代码
   • Java 9+：默认使用invokedynamic方式，除非通过编译参数修改
2. 通过编译参数控制：
   • 强制使用StringBuilder：编译时添加参数 -XDstringConcat=inline
   • 强制使用invokedynamic：编译时添加参数 -XDstringConcat=dynamic
3. ASM拦截处理：
   • 针对StringBuilder实现：重写MethodVisitor.visitLdcInsn()方法拦截ldc指令并操作字符串
   • 针对invokedynamic实现：重写MethodVisitor.visitInvokeDynamicInsn()方法处理动态调用逻辑

其他可能的行为 #

如果拼接的所有字符串都是编译期常量（例如"Hello" + "World"），javac会在编译阶段直接将其合并为单个常量字符串，生成ldc指令加载合并后的结果，不会生成StringBuilder或invokedynamic相关代码。

内容的提问来源于stack exchange，提问作者Irfan Latif