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

Question

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

为什么变量HashTrieMap在第312行再次与index进行了对比？在我看来，结果是相同的（即第二个AND不是必需的）。我错过了什么？

以上是上述功能：

0x1f

Answer 1

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