JAVA 常量池与String

提到常量池，一般是指运行时常量池，是方法区的一部分。方法区就是通常说的永久代。那么常量池中会存储那些数据呢？

  ①编译期生成的各种字面量和符号引用

  ②也有可能将运行期间的常量放入常量池

先看第一种：编译期生成的各种字面量和符号引用，这部分数据经过编译后存在.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

再看第二种： 也有可能将运行期间的常量放入常量池
  比如

string.intern()

会检查常量池中是否存在string则返回池里的字符串引用；如果不存在则将string加入到常量池再返回其引用。这样做可以避免在堆中不断的创建字符串对象，起到节省空间的作用。
测试五(下面这段代码来自博客 http://txy821.iteye.com/blog/760957 )

  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的内存划分中并没有这样一块区域。
  所以我把"字符串池"理解成"常量池中字符串的集合"

  以上，如有错误，请指正