JVM-08 class常量池和运行时常量池

• class常量池

Class常量池是Class文件中的资源仓库。 Class文件中除了包含类的版本、字段、方法、接口等描述信息外，还有一项信息就是常量池(constant pool table)，用于存放编译期生成的各种字面量(Literal)和符号引用(Symbolic References)。

示例代码：

package org.example;

public class Main {
    public static void main(String[] args) {
        System.out.println("Hello world!");
    }

    public int test(int a) {
        int b = 0;
        if(a==b) {
            return b;
        }
        return 1;
    }
}

class文件的16进制大体结构如下图： 

对应的含义如下，细节可以查下oracle官方文档 

可以通过javap命令生成可读的JVM字节码指令文件：

javap -v Math.class 

Constant pool就是class常量池信息，常量池中主要存放两大类常量：字面量和符号引用 

1）字面量

字面量就是由字母、数字等构成的字符串或者数值常量

字面量只可以右值出现，就是等号右边的值，如：int =0 b为左值，0为右值。0就是字面量。

2）符号引用 

符号引用是编译原理中的概念，是相对于直接引用来说的。主要包括了以下三类常量：

        类和接口的全限定名 

        字段的名称和描述符 

        方法的名称和描述符

b是字段名称，是一种符号引用

Main类常量池里的Lorg/example/Main是类的全限定名，也是符号引用

main和test是方法名称，也是符号引用

()是一种UTF8格式的描述符，也是符号引用。

这些常量池是静态信息，只有到运行时被加载到内存后，这些符号才有对应的内存地址信息，这些常量池一旦被装入内存就变成运行时常量池，对应的符号引用在程序加载或运行时会被转变为被加载到内存区域的代码的直接引用，也就是我们说的动态链接。例如，test()这个符号引用在运行时就会被转变为test()方法具体代码在内存中的地址，主要通过对象头里的类型指针去转换直接引用。

• 字符串常量池 

1）字符串的分配耗费高昂的时间与空间代价，大量频繁的创建字符串，极大影响程序的性能

2）JVM为了提高性能和减少内存开销，在实例化字符串常量的时候进行了一些优化

        为字符串开辟一个字符串常量池，类似于缓存区

        创建字符串常量时，首先查询字符串常量池是否存在该字符串

        存在该字符串，返回引用实例，不存在，实例化该字符串并放入池中

3）三种字符串操作

        直接赋值

String s = "test"; // s指向常量池中的引用

这种方式创建的字符串对象，只会在常量池中。因为有"test"这个字面量，创建对象s的时候，JVM会先去常量池中通过 equals(key) 方法，判断是否有相同的对象,如果有，则直接返回该对象在常量池中的引用；如果没有，则会在常量池中创建一个新对象，再返回引用。

        new String();

String s1 = new String("zhuge"); // s1指向内存中的对象引用

这种方式会保证字符串常量池和堆中都有这个对象，没有就创建，最后返回堆内存中的对象引用。

步骤如下：

1. 根据"test"字面量，先检查字符串常量池中是否存在字符串"test"

2. 不存在，先在字符串常量池里创建一个字符串对象；再去内存中创建一个字符串对象"test"；

3. 存在，就直接去堆内存中创建一个字符串对象"test"；

4. 最后，将内存中的引用返回

        intern方法

String s1 = new String("test");

String s2 = s1.intern();

System.out.println(s1 == s2); //false

String中的intern方法是一个 native 的方法，调用 intern方法时，如果池已经包含一个等于此String对象的字符串（用equals(oject)方法确定），则返回池中的字符串。否则，将intern返回的引用指向当前字符串 s1(jdk1.6版本需要将 s1 复制到字符串常量池里)。

4）字符串常量池位置

Jdk1.6及之前： 有永久代, 运行时常量池在永久代，运行时常量池包含字符串常量池

Jdk1.7：有永久代，但已经逐步“去永久代”，字符串常量池从永久代里的运行时常量池分离到堆里

Jdk1.8及之后： 无永久代，运行时常量池在元空间，字符串常量池里依然在堆里

/**
 * jdk6：-Xms6M -Xmx6M -XX:PermSize=6M -XX:MaxPermSize=6M  
 * jdk8：-Xms6M -Xmx6M -XX:MetaspaceSize=6M -XX:MaxMetaspaceSize=6M
 */
public class RuntimeConstantPoolOOM{
    public static void main(String[] args) {
        ArrayList<String> list = new ArrayList<String>();
        for (int i = 0; i < 10000000; i++) {
            String str = String.valueOf(i).intern();
            list.add(str);
        }
    }
}

运行结果：
jdk7及以上：Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
jdk6：Exception in thread "main" java.lang.OutOfMemoryError: PermGen space

5）字符串常量池设计原理

字符串常量池底层是hotspot的C++实现的，底层类似一个 HashTable， 保存的本质上是字符串对象的引用。

String s1 = new String("he") + new String("llo");

String s2 = s1.intern();  

System.out.println(s1 == s2);

// 在 JDK 1.6 下输出是 false，创建了 6 个对象

// 在 JDK 1.7 及以上的版本输出是 true，创建了 5 个对象

// 当然我们这里没有考虑GC，但这些对象确实存在或存在过

6）String常量池问题的几个例子 

待补充..

• 八种基本类型的包装类和对象池

1)Byte,Short,Integer,Long,Character,Boolean都实现了常量池技术(严格讲应该叫对象池，在堆上)

2)Float和Doube浮点数类型的包装类没有实现常量池技术

3)Byte,Short,Integer,Long,Character这5种整型的包装类也只是在对应值小于等于127时才可使用对象池，也即对象不负责创建和管理大于127的这些类的对象。因为一般这种比较小的数用到的概率相对较大。