①编译期生成的各种字面量和符号引用
②也有可能将运行期间的常量放入常量池
先看第一种: 编译期生成的各种字面量和符号引用,这部分数据经过编译后存在.class文件的‘常量池’中,注意这个所谓的‘常量池’是‘静态常量池’,静态常量池的数据会在类加载后放入运行时常量池。举个例子
测试一
public class ConstantPoolAndStrTest { String string1 = "Hello"; public void methodTest(){ String string2 = "pool"; } }
将上面代码编译后生成ConstantPoolAndStrTest.class文件,现在我们要想知道数据成员string1=“Hello”和局部变量string2=”pool“会不会进入常量池,只需要解析ConstantPoolAndStrTest.class文件,看其常量池(静态)中是否包含“Hello”和“pool”。而.class文件中存储的是只有JVM能够读懂的字节码,所以我们要想识别其内容要借助JDK自带的反汇编工具javap。执行命令javap -verbose ConstantPoolAndStrTest.class 可以得到下面数据:
上图只贴出了常量池(静态)的数据。可以看到string1和string2都被放入了常量池,String 之所以会被放到常量池里是因为她是final型,而这部分数据会在类加载后放入运行时常量池。
经过同上的测试发现:
测试二
String strTest = "my"+"string";
编译期会将上面代码优化为strTest="mystring","mystring"被存入常量池中,但"my"和"string"并没有进入常量池。
测试三
String string1 = "a"; String string2 = "b"; String string3 = string1+string2; String string4 = string1+"c";
上面的代码,string3="ab"和string4="bc"都没有进入常量池。结合测试二、测试三可知:java编译器会对字面量的运算(测试一)进行优化,但不会对含有引用的运算(测试二)进行优化。
下面说一个稍微绕一点的情况:
测试四
String newStrtest = new String("pool");
编译,javap 可得到下面结果
到这里可能会有一点迷惑了:
new String("pool")不是在堆中创建对象么?怎么会跑到了常量池里?
没错,new String("pool")是在堆中分配,但new的操作要等到运行时才能执行,编译期并不会执行new操作,而编译器只是把字面量"pool"放入常量池中。运行时执行new操作会重新在堆中创建对象,并将引用 newStrtest指向这个对象。即测试四创建了两个对象,一个在常量池中,一个在堆中。下面这代码输出结果为false,可以证明这一点。
String s1 = "hey"; String s2 = new String("hey"); System.out.println(s1==s2);//==比较的是引用,s1指向常量池,s2指向堆中,引用指向不同地址,因此输出false
再看第二种:[size=small]也有可能将运行期间的常量放入常量池
比如
string.intern()会检查常量池中是否存在string则返回池里的字符串引用;如果不存在则将string加入到常量池再返回其引用。这样做可以避免在堆中不断的创建字符串对象,起到节省空间的作用。
测试五(下面这段代码来自博客 http://txy821.iteye.com/blog/760957)[/size]
String str1 = "a"; String str2 = "bc"; String str3 = "a"+"bc"; String str4 = str1+str2; System.out.println(str3==str4); str4 = (str1+str2).intern(); System.out.println(str3==str4);
输出结果为false,true ‘测试三’中说过:编译器不会优化包含引用的运算,str4会在运行期,在堆中分配内存,所以第一个输出为false;而经过
str4 = (str1+str2).intern();
s4指向了常量池中的"abc"所以第二个输出为true。这样就可以证明上面提到的intern()的作用。
最后, 在JDK源码String.intern()方法的注释中有这样一段话,"A pool of strings, initially empty, is maintained privately by the class {@code String}."
说"有一个字符串池,初始为空,由String类私有的维护"。但注释中并没有说这个字符串池位于JVM内存分区的哪一个部分。是在方法区?堆区?这个困扰了我很长时间。查资料看到有人说位于堆中,但如果这样的话将会和方法区中常量池中的数据大量重复。而且网上的资料看到很多人都在说"字符串池"怎样怎样,但JVM的内存划分中并没有这样一块区域。
所以我把"字符串池"理解成"常量池中字符串的集合"
以上,如有错误,请指正