JLS
JLS 7 3.10.5对其进行了定义并给出了一个实际示例：
而且，字符串文字总是引用类String的相同实例。这是因为使用方法String.intern，对“字符串文字”（或更一般而言，是作为常量表达式的值的字符串（第15.28节）进行“插入”），以便共享唯一的实例。
示例3.10.5-1 字符串文字
该程序由编译单元（第7.3节）组成：
package testPackage;
class Test {
public static void main(String[] args) {
String hello = "Hello", lo = "lo";
System.out.print((hello == "Hello") + " ");
System.out.print((Other.hello == hello) + " ");
System.out.print((other.Other.hello == hello) + " ");
System.out.print((hello == ("Hel"+"lo")) + " ");
System.out.print((hello == ("Hel"+lo)) + " ");
System.out.println(hello == ("Hel"+lo).intern());
}
}
class Other { static String hello = "Hello"; }
和编译单元：
package other;
public class Other { public static String hello = "Hello"; }
产生输出：
true true true true false true
虚拟机
JVMS 7 5.1说，使用专用CONSTANT_String_info结构神奇而有效地实现了实习（与大多数具有更通用表示形式的其他对象不同）：
字符串文字是对String类实例的引用，它是从CONSTANT_String_info结构（第4.4.3节）以类或接口的二进制表示形式派生的。CONSTANT_String_info结构给出了构成字符串文字的Unicode代码点的序列。
Java编程语言要求相同的字符串文字（即，包含相同代码点序列的文字）必须引用String类的相同实例（JLS§3.10.5）。另外，如果在任何字符串上调用String.intern方法，则结果是对该类实例的引用，如果该字符串以文字形式出现，则将返回该实例。因此，以下表达式必须具有值true：
("a" + "b" + "c").intern() == "abc"
为了派生字符串文字，Java虚拟机检查由CONSTANT_String_info结构给出的代码点序列。
如果先前在类String的实例上调用了String.intern方法，该实例包含与CONSTANT_String_info结构给出的序列相同的Unicode代码点序列，则字符串文字派生的结果是对该类String的该实例的引用。
否则，将创建一个新的String类实例，其中包含由CONSTANT_String_info结构给出的Unicode代码点序列；对该类实例的引用是字符串文字派生的结果。最后，将调用新String实例的intern方法。
字节码
让我们反编译一些OpenJDK 7字节码，以查看实际的操作。
如果我们反编译：
public class StringPool {
public static void main(String[] args) {
String a = "abc";
String b = "abc";
String c = new String("abc");
System.out.println(a);
System.out.println(b);
System.out.println(a == c);
}
}
我们在常量池上有：
#2 = String #32 // abc
[...]
#32 = Utf8 abc
和main：
0: ldc #2 // String abc
2: astore_1
3: ldc #2 // String abc
5: astore_2
6: new #3 // class java/lang/String
9: dup
10: ldc #2 // String abc
12: invokespecial #4 // Method java/lang/String."<init>":(Ljava/lang/String;)V
15: astore_3
16: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
19: aload_1
20: invokevirtual #6 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
23: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
26: aload_2
27: invokevirtual #6 // Method java/io/PrintStream.println:(Ljava/lang/String;)V
30: getstatic #5 // Field java/lang/System.out:Ljava/io/PrintStream;
33: aload_1
34: aload_3
35: if_acmpne 42
38: iconst_1
39: goto 43
42: iconst_0
43: invokevirtual #7 // Method java/io/PrintStream.println:(Z)V
注意如何：
0和3：ldc #2加载相同的常量（文字）12：创建了一个新的字符串实例（#2作为参数）35：a并c与常规对象进行比较if_acmpne
在字节码上，常量字符串的表示非常神奇：
并且上面的JVMS引用似乎表明，只要Utf8指向相同，就会通过加载相同的实例ldc。
我已经对字段进行了类似的测试，并且：
static final String s = "abc"通过ConstantValue属性指向常量表- 非最终字段没有该属性，但仍可以使用进行初始化
ldc
结论：字符串池直接支持字节码，并且内存表示有效。
奖励：将其与没有直接字节码支持（即无模拟）的Integer池进行比较CONSTANT_String_info。