容器--WeakHashMap

一、概述

　　WeakHashMap是Map的一种，根据其类的命令可以知道，它结合了WeakReference和HashMap的两种特点，从而构造出了一种Key可以自动回收的Map。

　　前面我们已经介绍了WeakReference的特点及实现原理，以及HashMap的实现原理，所以我们本文重点介绍WeakReference的在这类Map中的使用，以及其和原来的HashMap有什么不一样的地方。

二、实现原理分析

　　还是按之前的方式，我们从几个方面去分析Map的具体实现。

　　1. 初始化

　　WeakHashMap和普通的HashMap的初始化方式类似，可以指定初始容量和加载因子，若不指定则使用默认值，也可以用一个现有的Map来填充，如下：

　　

　　第一个构造函数的实现方式如下：

    public WeakHashMap(int initialCapacity, float loadFactor) {
        if (initialCapacity < 0)
            throw new IllegalArgumentException("Illegal Initial Capacity: "+
                    initialCapacity);
        if (initialCapacity > MAXIMUM_CAPACITY)
            initialCapacity = MAXIMUM_CAPACITY;

        if (loadFactor <= 0 || Float.isNaN(loadFactor))
            throw new IllegalArgumentException("Illegal Load factor: "+
                    loadFactor);

        int capacity = 1;

        //找到一个最合适的大小
        while (capacity < initialCapacity)
            capacity <<= 1;
        table = newTable(capacity);
        this.loadFactor = loadFactor;
        threshold = (int)(capacity * loadFactor);
        useAltHashing = sun.misc.VM.isBooted() &&
                (capacity >= Holder.ALTERNATIVE_HASHING_THRESHOLD);
    }

　　从上面的实现来看没有什么特别的，就是根据参数来计算了实际的容量和阈值。

　　2. 添加元素

　　和前几篇一样，我们还是来看下put的实现：

 public V put(K key, V value) {
         Object k = maskNull(key);
         int h = hash(k);
         Entry<K,V>[] tab = getTable();
         int i = indexFor(h, tab.length);

         for (Entry<K,V> e = tab[i]; e != null; e = e.next) {
             if (h == e.hash && eq(k, e.get())) {
                 V oldValue = e.value;
                 if (value != oldValue)
                     e.value = value;
                 return oldValue;
             }
         }

         modCount++;
         Entry<K,V> e = tab[i];
         tab[i] = new Entry<>(k, value, queue, h, e);
         if (++size >= threshold)
             resize(tab.length * 2);
         return null;
     }  

这段代码大体上看来，和HashMap的实现是差不多的，为了更好的便于对于，我们把HashMap里的相关实现也贴出来：

 public V put(K key, V value) {
         if (table == EMPTY_TABLE) {
             inflateTable(threshold);
         }
         if (key == null)
             return putForNullKey(value);
         int hash = hash(key);
         int i = indexFor(hash, table.length);//table中的位置
         for (Entry<K,V> e = table[i]; e != null; e = e.next) {
             Object k;

             //entry相同的条件 , hash相同 , key的引用相同,或者equals()
             if (e.hash == hash && ((k = e.key) == key || key.equals(k))) {
                 V oldValue = e.value;
                 e.value = value;
                 e.recordAccess(this);
                 return oldValue;
             }
         }

         modCount++;

         //新增
         addEntry(hash, key, value, i);
         return null;
     }

接下来，我们先总结一下有哪些主要的区别，然后再详细分析WeakHashMap为什么要这样做。

通过对比代码，我们得知主要的区别如下：

1）WeakHashMap没有空表判断：这个很好理解，因为初始化时就已经创建了Entry数组，所以没必要判断空表

2）对key进行了maskNull封装：由于这个实现比较简单就不贴代码了，前面我们也介绍过maskNull的用法，主要用在那些原生的null表示不存在，但又需要支持null值的场合下，也就是说，用一个特殊的“null”，来代表对于空指针key的支持。因为WeakHashMap中的key是弱引用构造的，作为弱引用的引用对象，其自身是不能为null的。

3）没有直接使用table，而是使用了getTable(): 这个下面详细解释

4）使用了eq()来判断，且使用e.get()来获取key: 这个也好理解，弱引用对象就是通过get()方法来获取其所引用的对象，这里的key就是其引用对象。

5）在创建一个新的Entry时，多了一个queue的参数：这个queue的类型为ReferenceQueue类型，前面我们介绍过，这个是用于存储引用目标已经被回收的那些弱引用。

经过上面的分析，我们发现其它的都比较好懂，就是不清楚getTable()都做了些什么事，下面看一下其源码实现：

     private Entry<K,V>[] getTable() {
         expungeStaleEntries();
         return table;
     }

 /**
      * 根据英文的解释,移除陈旧的数据
      * 这个方法的具体实际其实比较简单,就是将遍历队列中的每一个元素,这个元素就是一个entry,
      * 在内部数组中找到它,并将其移除,移除比较简单,就是将值置为空.
      *
      * 那么通过这个反推,queue里面存储的就是所有失效的key了.
      * Expunges stale entries from the table.
      */
     private void expungeStaleEntries() {
         for (Object x; (x = queue.poll()) != null; ) {
             synchronized (queue) {
                 @SuppressWarnings("unchecked")
                 Entry<K,V> e = (Entry<K,V>) x;//it's a entry
                 int i = indexFor(e.hash, table.length);

                 Entry<K,V> prev = table[i];
                 Entry<K,V> p = prev;
                 while (p != null) {
                     Entry<K,V> next = p.next;
                     if (p == e) {
                         if (prev == e)
                             table[i] = next;
                         else
                             prev.next = next;
                         // Must not null out e.next;
                         // stale entries may be in use by a HashIterator
                         e.value = null; // Help GC
                         size--;
                         break;
                     }
                     prev = p;
                     p = next;
                 }
             }
         }
     }

上面的代码是一个双重循环，看似复杂，但如果了解了queue的定义，我们理解起来也就方便了。前面提到queue里存储的是一些弱引用实例，它们共同的特点是其引用目标已经被垃圾回收器回收。

在这个大前提下，这段代码做了以下几件事：

1）依次取出queue中的所有元素进行处理直到queue为空

2）每个出队的元素都是map中的一个entity，所以可以根据其hash值找到对应的存储位置。

3）判断entity的位置，根据其是否为散列表的表头来决定怎么将其从列表中移除了，当然，由于其key已经被回收，所以只需将其value置为null即可。

4）处理完毕后，表示存储中少了一个entity，size-1

所以这个方法就是完成了对于WeakHashMap的自动回收元素的处理，如果不这样处理则仍然有内存泄露的风险，另外大小也就不准确了。这个方法是典型的对于弱引用失效队列的监控和处理，值得学习。

3. 删除

删除的方法如下：

  public V remove(Object key) {
         Object k = maskNull(key);
         int h = hash(k);
         Entry<K,V>[] tab = getTable();
         int i = indexFor(h, tab.length);
         Entry<K,V> prev = tab[i];
         Entry<K,V> e = prev;

         while (e != null) {
             Entry<K,V> next = e.next;
             if (h == e.hash && eq(k, e.get())) {
                 modCount++;
                 size--;
                 if (prev == e)
                     tab[i] = next;
                 else
                     prev.next = next;
                 return e.value;
             }
             prev = e;
             e = next;
         }

         return null;
     }

可见删除方法的逻辑也跟之前的HashMap差不多，惟一变化的就是在table的获取上使用了getTable(), 而这个方法我们前面已经介绍了。

如果有兴趣，还可以再看下其它的处理方法，基本上所有的操作都会先执行getTable()，来对自动失效的key进行相应的清理。在此就不一一分析。

另外我们可以看到Entity实际上就是一个弱引用对象，其引用的目标为key, 代码截图如下：

至此，对于WeakHashMap的实现原理便一目了然了。

三、总结

　　WeakHashMap由于其弱引用的特点，使得其非常适合用于做缓存的存储结构，这样当缓存中的数据不再使用之后，垃圾回收器可以自动回收，从而实现不需要人工干预且能自动释放内存的效果。

　　同时，这也是一个学习如何使用弱引用的很好的例子。