hashmap容量设为2的幂次方，是为了使(n−1)&hash严格等价于hash%n，确保索引均匀且计算高效；非2的幂会因掩码含0位导致哈希坍缩；扰动函数与2的幂协同提升低位信息丰富性；扩容时仅需判断新增位即可确定新索引。
HashMap 数组容量设为 2 的幂次方，核心是为了让 (n − 1) & hash 这个位运算在数学上严格等价于 hash % n，同时带来分布均匀性与计算高效性的双重保障——这不是工程妥协，而是基于二进制数论的精准设计。
位与操作等价取模的数学前提
当容量 n = 2k（k 为非负整数）时，n − 1 的二进制表示恰好是 k 个连续的 1。例如：
- n = 16 = 2⁴ → n − 1 = 15 = 11112
- n = 32 = 2⁵ → n − 1 = 31 = 111112
此时对任意整数 hash 执行 (n − 1) & hash，等价于只保留 hash 的低 k 位，其余高位全被清零。而根据模运算定义：
hash % 2k 的结果，正是 hash 的二进制低 k 位所表示的数值。
→ 所以：(n − 1) & hash ≡ hash % n（当且仅当 n 是 2 的幂）。
为什么非 2 的幂就破坏等价性？
若 n = 10（非 2 的幂），则 n − 1 = 9 = 10012。这个掩码含 0 位，导致按位与时：
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
- hash 的第 1、2 位（从 0 开始计）恒被屏蔽（强制为 0）
- 不同 hash 值只要低 4 位在第 1、2 位不同，却可能得到相同结果
- 例如：hash₁ = 2（0010₂）、hash₂ = 4（0100₂）、hash₃ = 6（0110₂），三者与 9（1001₂）相与，结果全为 0
这已不是“近似取模”，而是数学上不保真——索引空间被人为坍缩，大量哈希值映射到极少数桶中。
扰动函数 + 2 的幂：协同保障低位信息丰富
Java 的 hash 函数做了扰动：
h = key.hashCode() ^ (h >>> 16)
该操作把高 16 位异或进低 16 位，使原始 hashCode 的高位特征“渗入”低位。当 n = 2k 时，(n − 1) & hash 实际提取的是这个“混合后”的低 k 位——既利用了完整哈希信息，又避免了原始 hashCode 低位重复（如对象内存地址常为偶数）导致的聚集。
若 n 非 2 的幂，掩码含 0，再好的扰动也无济于事：有用位被直接丢弃。
扩容迁移的数学简洁性
从 n = 2k 扩容到 2k+1，新掩码比旧掩码多一位 1。此时：
- 旧索引 i = hash & (2k − 1)
- 新索引 j = hash & (2k+1 − 1)
二者关系由 hash 的第 k 位（即新增最高有效位）唯一决定：
→ 若该位为 0，则 j = i；
→ 若该位为 1，则 j = i + 2k。
这是纯位级逻辑推导，无需重新计算 hash 或执行除法，数学上零冗余。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
