使用字符串文字创建字符串常量池的编译器行为

Question

阅读这些讨论后 - question 1、question 2、article

我对Java字符串常量池的理解如下（如有错误请指正）：

编译源代码时，编译器会在我们的程序中查找所有字符串字面量（放在双引号中的字面量），并在堆区域中创建不同（无重复）的对象，并将它们的引用保存在一个名为String Constant Pool（方法区域内的一个区域）。任何其他字符串对象都是在运行时创建的。

假设我们的代码有以下语句：

String a = "abc";                  //Line 1
String b = "xyz";                  //Line 2
String c = "abc";                  //Line 3
String d = new String("abc"):      //Line 4

上述代码编译完成后，

第 1 行：在堆中创建了一个字符串对象“abc”，该对象由变量 a 和字符串常量池引用。

第 2 行： 编译器在字符串常量池中搜索对对象“xyz”的任何现有引用。但是没有找到。因此，它创建对象“xyz”并将其引用放入字符串常量池中。

第 3 行： 这一次编译器在字符串常量池中找到对象，并且不会在池或堆中添加任何额外的条目。变量 c 只是引用现有的对象，它也被 a 引用。

第 4 行： 第 4 行中的文字出现在字符串常量池中。因此，池中不再有条目。然而，在运行时会为“abc”创建另一个 String 对象，并将其引用存储在变量 d 中。

现在我有以下问题/疑问：

1. 上面描述的究竟是什么情况？
2. 编译器如何创建对象？据我所知，对象 在运行时创建，堆是运行时内存区域。又怎样 以及在哪里创建 String 对象 编译！
3. 源代码可以在一台机器上编译并在不同的机器上运行 机器。或者，即使在同一台机器上，它们也可以编译和运行 不同的时间。然后这些对象（在编译时创建）是如何 康复了吗？
4. 当我们实习字符串时会发生什么。

Answer 1

1. 上面描述的究竟是什么情况？

是的，但是从概念上讲，常量池和字符串池是不同的东西。

constant pool 是 .class 文件的一部分，该文件包含此类中使用的所有常量。

string pool 是一个运行时概念 - 内部字符串和字符串文字 are stored here。

这是常量池上的JVM specification。它是.class 格式部分的一部分。

1. 编译器如何创建对象？据我所知，对象是在运行时创建的，而堆是运行时内存区域。那么，String 对象在编译时是如何以及在哪里创建的！

确切地发生这种情况的方式/时间，我相信，是 JVM 实现特定的细节（如果我错了，请纠正我），但基本解释是，每当 JVM 决定加载一个类时，在 constant pool 中找到的任何字符串都会自动放入 runtime string pool，并且任何重复项都会引用同一个实例。

在其中一个链接答案的 cmets 中，Paŭlo Ebermann says：

当类在 VM 中加载时，字符串常量将被复制到堆中，复制到 VM 范围的字符串池中

看来这至少是 Sun 的 VM 实现字符串池的方式。

在 JDK 7/HotSpot 之前，实习字符串存储在 permanent generation space 中 - 现在它们存储在主堆中。

1. 源代码可以在一台机器上编译并在另一台机器上运行。或者，即使在同一台机器上，它们也可以在不同的时间编译和运行。那么这些对象（在编译时创建的）是如何恢复的呢？

常量存储在编译文件中。因此，只要 JVM 决定加载此类，它们就可以检索。

4. 当我们实习字符串时会发生什么。

这是answered here：

对一系列字符串执行String.intern() 将确保所有具有相同内容的字符串共享相同的内存