为什么变量索引与 0x1f 进行两次 AND 运算？

Question

我正在阅读 Scala 中不可变集合的底层数据结构（HashMap 和 Vector，更准确地说），在阅读代码时，我遇到了 get0 函数在 HashTrieMap。

为什么变量 index 在第 312 行又与 0x1f 进行了“与”运算？在我看来，结果是一样的（即第二个 AND 不是必需的）。我错过了什么？

这是上述函数：

override def get0(key: A, hash: Int, level: Int): Option[B] = {
  val index = (hash >>> level) & 0x1f // index is AND-ed with 0x1f
  val mask = (1 << index)
  if (bitmap == - 1) {
    elems(index & 0x1f).get0(key, hash, level + 5) // once again, AND-ed with 0x1f
  } else if ((bitmap & mask) != 0) {
    val offset = Integer.bitCount(bitmap & (mask-1))
    elems(offset).get0(key, hash, level + 5)
  } else
    None
}

Answer 1

你没有遗漏任何东西。事实上，第二个 AND 不是必需的。

为什么变量索引与 0x1f 进行两次 AND 运算？

Why is variable index ANDed twice with 0x1f?

java

scala

hashmap

immutability

trie