一、设计思想
为字符串开辟一个字符串常量池，创建字符串常量时，首先检测字符串常量池是否存在该字符串。如存在该字符串对象，返回其引用；若不存在，实例化该字符串并放入常量池中，并返回其引用。
二、实现基础
（1）String类字符串实例化后的对象是不可变的，初始化是什么则这个对象就永远是什么，相当于是常量，因此String的对象们可以维护成一个常量池。
（2）运行时字符串常量池中有一个表，总是为池中所有的字符串对象维护一个引用，所以常量池中的这些字符串不会被GC回收。
三、操作常量池的情况
凡是" "形式定义的字符串一定会操作常量池。
不满足上面的情况，但是被编译成String str = " "形式的，会操纵常量池（从中取该常量，如果取不到，就创建一个）
（1）直接赋值
String str = "Java";
当"Java"字符串对象已经存在于常量池中时，str直接指向常量池中的对象。如果不存在，在常量池中创建"Java"，令str指向它。
（2）运算符重载
String str = "Ja" + "va";
Java中可以使用+进行两个字符串的拼接。会被直接编译成str = "Java"，会操作常量池。事实上这句话在常量池中创建了3个对象："Ja"、"va"、"Java"（如果常量池中原本没有这些对象）。
注意，如果是下面的情况：
String temp = "va";
String str = "Ja" + temp;
或者：
String str = "Ja" + new String("va");
此时str不会在编译时不会被自动拼接，即不会被编译成str = "Java"的形式，也就不会在常量池中创建"Java"的对象。但是还是会在常量池中创建"Ja"和"va"。
四、图形化的例子
String m = "hello,world";
String n = "hello,world";
String u = new String(m);
String v = new String("hello,world");
1.会分配一个11长度的char[ ]对象['h','e','l','l','o',',','w','o','r','l','d']，并在常量池分配一个由这个char数组组成的字符串对象"hello,world"，然后由m去引用这个字符串。
2.用n去引用常量池里边的字符串"hello,world"，所以和m引用的是同一个对象。
3.在堆中生成一个新的字符串，但内部的字符数组引用着m内部的字符数组。看一下源码就比较直观了：
public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
/** The value is used for character storage. */
private final char value[];
/** Cache the hash code for the string */
private int hash; // Default to 0
/**
* Initializes a newly created {@code String} object so that it represents
* the same sequence of characters as the argument; in other words, the
* newly created string is a copy of the argument string. Unless an
* explicit copy of {@code original} is needed, use of this constructor is
* unnecessary since Strings are immutable.
*
* @param original
* A {@code String}
*/
public String(String original) {
this.value = original.value;
this.hash = original.hash;
}
4.同样会在堆中生成一个新的字符串，但内部的字符数组引用常量池里边的字符串"hello,world"内部的字符数组，也就是m/n内部字符数组。
使用图来表示的话，情况就大概是这样的(使用虚线只是表示两者其实没什么特别的关系):
测试：
String m = "hello,world";
String n = "hello,world";
String u = new String(m);
String v = new String("hello,world");
System.out.println(m == n); //true
System.out.println(m == u); //false
System.out.println(m == v); //false
System.out.println(u == v); //false
五、String的equals()和intern()
（1）在Java中用==判断左右两边非基本数据类型的引用，是指判断两个引用是否是引用同一个对象。String的equals()方法则是判断两个字符串内部引用的字符数组对象的值是否相同（注意不要求是引用同一个数组对象）。源码如下：
/**
* Compares this string to the specified object. The result is {@code
* true} if and only if the argument is not {@code null} and is a {@code
* String} object that represents the same sequence of characters as this
* object.
*
* @param anObject
* The object to compare this {@code String} against
*
* @return {@code true} if the given object represents a {@code String}
* equivalent to this string, {@code false} otherwise
*
* @see #compareTo(String)
* @see #equalsIgnoreCase(String)
*/
public boolean equals(Object anObject) {
if (this == anObject) {
return true;
}
if (anObject instanceof String) {
String anotherString = (String)anObject;
int n = value.length;
if (n == anotherString.value.length) {
char v1[] = value;
char v2[] = anotherString.value;
int i = 0;
while (n-- != 0) {
if (v1[i] != v2[i])
return false;
i++;
}
return true;
}
}
return false;
}
（2）intern()方法：如果常量池中有与本字符串相同的（equals）字符串，就直接返回池中对象的引用，如果没有就在常量池中创建该对象并返回其引用。源码的注释：
/**
* When the intern method is invoked, if the pool already contains a
* string equal to this {@code String} object as determined by
* the {@link #equals(Object)} method, then the string from the pool is
* returned. Otherwise, this {@code String} object is added to the
* pool and a reference to this {@code String} object is returned.
*/
因此对两个字符串使用intern()和==，也可以起到和equals()一样的功能：
String m = new String("xixi");
String n = new String("xixi");
System.out.println(m.intern() == n.intern()); // true
System.out.println(m.equals(n)); // true
