首先:要弄清楚常量池、运行时常量池和字符串常量池(StringTable)三者之间的关系和特性:
三者之间的关系:
1、常量池:
俗称静态常量池,又称常量池表(Constant Pool Table),存在于*.class文件中,就是一张表,虚拟机指令根据这张表找到要执行的类名、类方法、参数类型、字面量等信息
常量池:
虚拟机指令:
2、运行时常量池:
类被加载时,其常量池信息会被放入运行时常量池,并把里面的符号地址变为真实地址。
3、StringTable:
运行时常量池的一部分,储存字符串常量,其存在于堆中(jdk1.7之后改的)。最重要一点,StringTable中存储的并不是String类型的对象,储存的而是指向String对象的索引,真实对象还是储存在堆中。
StringTable的特性:
1、StringTable数据结构为一个hash表(数组+链表),不可扩容,存字符串常量,唯一不重复。
2、常量池中的字符串仅是符号,第一次用到时才会变为对象(懒创建)
3、其创建方式为懒创建,用到时才创建。
如上图所示:当类被加载时,a b ab 都是常量池中的符号,还未变成java字符串对象。
当图中1执行时,先去StringTable中看看是否有字符串 “a” 对象的引用,若没有,则在java堆中创建一个字符串 “a” 对象(该对象本身存在于java堆中),将 “a” 对象的引用加入StringTable;若有,则直接使用StringTable中的 “a” 对象引用。2、3也是如此。
String s1="a";
String s2="b";
String s3="a"+"b";//编译器在编译阶段能确定为常量"ab",即在编译期转换为s3="ab"。(编译期优化)
/** 上面三行代码都是先去StringTable中查找是否存在该字符串对象引用,
若不存在,则创建该字符串对象,将该字符串对象引用加入StringTable中;
若存在,则直接使用StringTable中的字符串对象引用。 */
String s4=s1+s2;//编译器在编译阶段不能确定为常量,就不能去StringTable中查找了
/** 在运行阶段,采用StringBuilder的字符串拼接原理;等价于:
new StringBuilder().append("a").append("b").toString;
所以字符串变量拼接是new出了一个新的字符串对象,存在于java堆中。
所以,s4引用的是java堆中的字符串"ab"对象。不是StringTable中的引用 */
String s6=s4.intern();
/** String.intern()方法,主动将StringTable中还没存在的字符串对象引用加入StringTable中
jdk1.6,如果StringTable中已存在,则不放入;
否则,将s4对象复制一份放入StringTable中;最终都是返回StringTable中的对象。
此时,StringTable中的对象是s4对象的副本,两者不是同一个对象,不相等。
jdk1.6以后,如果已存在,则不放入;
否则,将s4对象引用放入StringTable中;最终都是返回StringTable中的对象。
此时,两者是同一个对象,相等。
经典面试题:
String s1="a";
String s2="b";
String s3="a"+"b";//编译期优化为String s3="ab";
String s4=s1+s2;
String s5="ab";
String s6=s4.intern();//常量池中已有"ab"引用,返回值为StringTable中的对象
//问
System.out.println(s3==s4);//false;s3是StringTable中的,s4是堆中的。
System.out.println(s3==s5);//true
System.out.prinln(s3==s6);//true
String x2=new String("c")+new String("d");//new String("cd");在堆中
String x1="cd";//"cd";在StringTable中
x2.intern();
System.out.println(x1==x2);//false
//问,如果调换了【最后两行代码】的位置呢?
System.out.println(x1==x2);//true
//问,调换了【最后两行代码】的位置后,如果是jdk1.6呢?
System.out.println(x1==x2);//false