HashMap中数组使用的长度是2的幂次方？

HashMap面试系列（2）

Q:为什么是hashmap的长度是2的n次方？？？？

这个问题首先要从系列1的Hash码出发
由于在JVM内存中HashCode是32b的，因此HashMap中计算出的Hash也是32b，由此可以推断整个Hash的表示范围是正负2^31

以下为1.8的相关方法，用于计算数组长度

//参数cap为hash中元素的个数，该函数用于计算数组的大小
/*
计算方式如下，例如输入cap=10，那么
   n=9
   |：表示求一个1就是1，即 1|0=1 1|1=1 0|0=0；
   二进制什么情况下是2的n次方？
   当二进制数从最高位数起，之后各位都是1时再加1就是2的n次方
   例如：
   111（二进制）=7（十进制），7+1=8=2^3
   11(二进制)=3(十进制),3+1=4=2^2
   以此类推
   那么cap=10，n=9的情况下
   n |= n >>> 1
   9=二进制（1001）右移等于 （0100）, 进行运算|，得到.    n=1101
   同理，这个操作接下来就是为了把后面的二进制位全变为1
   所以最后n=1111，即n=15
   return n+1就是16，2的4次方
*/
static final int tableSizeFor(int cap) {
        int n = cap - 1;
        n |= n >>> 1;
        n |= n >>> 2;
        n |= n >>> 4;
        n |= n >>> 8;
        n |= n >>> 16;
        return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;
    }

所以但一个Hash数组要满足这个条件要用约40亿个存储空间，不现实。

根据《数据结构》的理论，每个元素的下标采取了%（ 取模）的方式进行计算下标，当数组下标相同时，采取拉链法（1.7:链表，1.8:红黑树，一种左右基本平衡的二叉树）进行扩充。

下面看计算1.8Hash值的代码

//注意其中这行即可
//first = tab[(n - 1) & hash]) != null
//计算table数组的下标是用(n - 1) & hash 这行的
//&表示两个1才为1
//n-1，为任意2的幂次方减1，即是最高位后全为1
final Node<K,V> getNode(int hash, Object key) {
        Node<K,V>[] tab; Node<K,V> first, e; int n; K k;
        if ((tab = table) != null && (n = tab.length) > 0 &&
            (first = tab[(n - 1) & hash]) != null) {
            if (first.hash == hash && // always check first node
                ((k = first.key) == key || (key != null && key.equals(k))))
                return first;
            if ((e = first.next) != null) {
                if (first instanceof TreeNode)
                    return ((TreeNode<K,V>)first).getTreeNode(hash, key);
                do {
                    if (e.hash == hash &&
                        ((k = e.key) == key || (key != null && key.equals(k))))
                        return e;
                } while ((e = e.next) != null);
            }
        }
        return null;
    }

既然采取%的方式计算，那么自然是index=Hash%n(n代表了数组的长度)。而位运算（n-1）& Hash取模效率高，但只对2的n次方适用，因此只能数组的长度只能是2的n次方（也就是说为了取模效率而作出的限定）