字符串相等性从char数组构造字符串或连接字符

Question

我明白在一个方法里面：

String myStr1 = "good";
String myStr2 = "good";
System.out.println(myStr1==myStr2);

打印真实。 出于同样的原因：

String myStr1 = "good";
String myStr2 = ""+'g'+'o'+'o'+'d';
System.out.println(myStr1==myStr2);

印刷品也是如此。

那么为什么：

String myStr1 = "good";
char[] myCharArr = {'g', 'o', 'o', 'd' };
String myStr2 = ""+myCharArr[0]+myCharArr[1]+myCharArr[2]+myCharArr[3];
System.out.println(myStr1==myStr2);

打印错误？ 我没有看到最后两个代码之间的区别。 任何想法？ 谢谢。

Answer 1

myCharArr[0]无法在编译时进行评估，因为编译器（谁的聪明才是限制器）认为在运行之前可能会在字符串连接之前对这个数组进行编辑（可能是由其他一些线程），这意味着它的内容可以改变所以它不假设例如myCharArr[0]应该是'g' （可能在将来这种行为将得到改善）。

因此，虽然使用像""+'g'+'o'+'o'+'d'的代码可以确定它处理的值，但它可以确定结果字符串是"good" （因为我们使用了编译时） -constants）所以为了优化我们的代码并防止每次运行我们的代码时重新计算这个表达式，它只需用"good"替换""+'g'+'o'+'o'+'d' 。
但由于它无法为myCharArr[0]评估此表达式，因此无法以相同的方式优化我们的代码，这意味着它需要将此字符串的创建留给在运行时执行的代码。

---

现在，如果你想知道为什么==为"good"=="good"返回true ，但对于像"good"==new String("good")这样的代码则返回false ，你需要知道：

• ==比较引用，换句话说，它让我们测试我们是否正在比较存储相同对象的引用（如果你想检查对象是否相等使用equal方法）
• Java具有存储文字的字符串池，以避免重新创建存储相同数据的许多String对象，并且编译器添加了负责从该池放置和检索文字的代码，因此当您执行"good"=="good"两个文字都是该池中的相同对象这true证实了这一点
• 但编译器不会添加负责放入池或从中检索的代码使用new Sring(data)构造函数显式地在运行时创建的字符串，以防止池中的字符串很可能不会再次被重新处理，所以"good"==new String("good")你要比较两个不同的对象，从池中"good" ，以及new String(...) ，它与池中的一个（确认结果为false == ）。

Answer 2

编译器替换从Constant Expressions构建的多个值相等的String ，如下所示：

String myStr1 = "good";
String myStr2 = ""+'g'+'o'+'o'+'d';
System.out.println(myStr1==myStr2);

使用从String.intern获取的唯一String对象。 然后将该唯一的String对象分配给这两个变量。 这就是为什么他们的参考是平等的。

String myStr1 = "good";
char[] myCharArr = {'g', 'o', 'o', 'd' };
String myStr2 = ""+myCharArr[0]+myCharArr[1]+myCharArr[2]+myCharArr[3];
System.out.println(myStr1==myStr2);

编译器无法对此进行优化，因为它具有不是常量表达式的数组引用。 这导致两个单独的String对象，它们不是引用相等的。 否则会违反Java语言规范。

以下是Java语言规范中的常量表达式的定义：

常量表达式是表示基本类型值的表达式或不突然完成的字符串，仅使用以下内容组成：

• 原始类型的文字和String类型的文字（§3.10.1，§3.10.2，§3.10.3，§3.10.4，§3.10.5）

• 转换为基本类型并转换为String类型（第15.16节）

• 一元运算符+， - ，〜，和！ （但不是++或 - ）（§15.15.3，§15.15.4，§15.15.5，§15.15.6）

• 乘法运算符*，/和％（§15.17）

• 加法运算符+和 - （§15.18）

• 移位运算符<< ， >>和>>> （§15.19）

• 关系运算符< ， <= ， >和>= （但不是instanceof）（§15.20）

• 等于运算符==和!= （§15.21）

• 按位和逻辑运算符＆，^和| （§15.22）

• 条件和运算符&&和条件运算符|| （§15.23，§15.24）

• 三元条件运算符？ ：（§15.25）

• 带括号的表达式（第15.8.5节），其包含的表达式是一个常量表达式。

• 引用常量变量的简单名称（第6.5.6.1节）（§4.12.4）。

• TypeName形式的限定名称（第6.5.6.2节）。 引用常量变量的标识符（§4.12.4）。

String类型的常量表达式始终是“interned”，以便使用String.intern方法共享唯一的实例。

常量表达式始终被视为FP-strict（第15.4节），即使它出现在非常量表达式不被认为是FP严格的上下文中。

消息来源： http ： //docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#d5e30892

Answer 3

以下声明

String myStr2 = ""+myCharArr[0]+myCharArr[1]+myCharArr[2]+myCharArr[3];

将编译为以下内容：

1. StringBuilder sb = new StringBuilder()
2. sb.append(myCharArr[0]) ... sb.append(myCharArr[3])
3. 然后调用sb.toString()返回一个新的String

反编译字节码，你会看到类似的东西

  28: invokespecial #3                  // Method java/lang/StringBuilder."<init>":()V
  31: ldc           #4                  // String
  33: invokevirtual #5                  // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
  36: aload_1
  37: iconst_0
  38: caload
  39: invokevirtual #6                  // Method java/lang/StringBuilder.append:(C)Ljava/lang/StringBuilder;
  42: aload_1
  43: iconst_1
  44: caload
  45: invokevirtual #6                  // Method java/lang/StringBuilder.append:(C)Ljava/lang/StringBuilder;
  48: aload_1
  49: iconst_2
  50: caload
  51: invokevirtual #6                  // Method java/lang/StringBuilder.append:(C)Ljava/lang/StringBuilder;
  54: aload_1
  55: iconst_3
  56: caload
  57: invokevirtual #6                  // Method java/lang/StringBuilder.append:(C)Ljava/lang/StringBuilder;
  60: invokevirtual #7                  // Method java/lang/StringBuilder.toString:()Ljava/lang/String;

其他声明在哪里

String myStr1 = "good";
String myStr2 = ""+'g'+'o'+'o'+'d';

声明两个常量字符串，这是byte-code

   0: ldc           #2                  // String good
   2: astore_1
   3: ldc           #2                  // String good
   5: astore_2

编译器立即将它们声明为常量。

Answer 4

只有编译时常量字符串会自动实现。 在Oracle文档中描述了常量字符串（通常用于常量表达式）。 根据该定义，您的char数组不是常量，因此使用它的表达式将创建一个新的String对象。