【Java】一个关于WeakHashMap与常量池的问题

思考

在学习ThreadLocal源码中了解到WeakHashMap这样一个类，它的底层实现是依靠弱引用（gc的时候会被回收）自己实践的时候发现了这样一个问题：

2段代码唯一不同点在于a和b是怎么定义的。

思考一下这4种情况下最终打印情况是什么。

情况1：

    public static void main(String[] args) {
        Object ob = new Object();
        WeakHashMap<String, Object> mp = new WeakHashMap<>();
        String a = "a";
        String b = "b";

        mp.put(a, ob);
        mp.put(b, ob);

        a = null;

        System.gc();
        for (Map.Entry<String,Object> item : mp.entrySet()) {
            System.out.print(item.getKey());
        }
    }

 情况2：

    public static void main(String[] args) {
        Object ob = new Object();
        WeakHashMap<String, Object> mp = new WeakHashMap<>();
        String a = new String("a");
        String b = new String("b");

        mp.put(a, ob);
        mp.put(b, ob);

        a = null;

        System.gc();
        for (Map.Entry<String,Object> item : mp.entrySet()) {
            System.out.print(item.getKey());
        }
    }

答案

情况1：ab

情况2：b

先需要了解2种初始化字符串方式的区别：

• 当使用String str="abc"这种形式的时候，JVM会在字符串常量池中创建该对象并且str1会指向这个常量池对象；
• 当使用String str=new String("abc")这种形式的时候，JVM会先检查在字符串常量池中是否已存在"abc"，如果不存在则在常量池中创建该对象，如果已存在则不创建。除此之外，还会在堆内存创建一个额外的字符串对象，并且str2会指向这个对象。

在JDK1.7常量池在方法区，此时hotspot虚拟机对方法区的实现为永久代，而JDK1.7以后常量池被放在了堆区。 

再回到问题，指向new关键字创建的字符串对象的弱引用会被System.gc()触发的gc回收掉，而指向字面量字符串的弱引用则不会被System.gc()触发的gc回收掉。这说明new关键字创建的字符串对象如果不可达了会被gc回收，而字符串字面量创建的字符串对象则不会，因为常量池中还持有对该字面量字符串的引用。