HashMap的tableSizeFor方法解析

tableSizeFor

返回大于或等于参数的最近的2的整数次幂的数
tableSizeFor(5) => 8
tableSizeFor(8) => 8

示例

// 设cap=8; n=7
int n = cap - 1;
// 0000 0000 0000 0000 0000 0000 0000 0111
// 0000 0000 0000 0000 0000 0000 0000 0011
n |= n >>> 1;
// 0000 0000 0000 0000 0000 0000 0000 0111
// 0000 0000 0000 0000 0000 0000 0000 0001
n |= n >>> 2;
n |= n >>> 4;
n |= n >>> 8;
n |= n >>> 16;
// 0000 0000 0000 0000 0000 0000 0000 0111
// 负数返回1, 超出最大值返回最大值
return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;

// 设cap=13; n=12
int n = cap - 1;
// 0000 0000 0000 0000 0000 0000 0000 1101
// 0000 0000 0000 0000 0000 0000 0000 0110
n |= n >>> 1;
// 0000 0000 0000 0000 0000 0000 0000 1111
// 0000 0000 0000 0000 0000 0000 0000 0011
n |= n >>> 2;
n |= n >>> 4;
n |= n >>> 8;
n |= n >>> 16;
// 0000 0000 0000 0000 0000 0000 0000 1111
// 负数返回1, 超出最大值返回最大值
return (n < 0) ? 1 : (n >= MAXIMUM_CAPACITY) ? MAXIMUM_CAPACITY : n + 1;

• 解析

1. 已知 2的整数次幂表示在二进制为 最高位 (值: 1) 后面几个0
2. 已知 任何数表示在二进制最高位都是1
3. 方法逻辑 将传入参数所表示的二进制. 最高位1 后面的所有位的值变为1. 再将结果+1.

代码解析

// 这是为了避免传入参数正好为 2的整数次幂 时. 计算的结果过大. -1 后计算的结果会是他本身
int n = cap -1
// 最高位右移1位然后与原值 进行 或 运算. 得到的结果 最高的两位值变为1(不论原值是什么)
// 0100 **
// 0010 **
// 0110 **
n|= n>>> 1
// 现在可以确定最高2位的值均为1 . 所以右移2位然后 或运算
n|= n>>> 2
// 以此类推
n|= n>>>4
n|= n>>>8
n|= n>>>16