ArrayDeque的容量必为2的幂，因allocateElements通过或运算+加1将输入向上取整至最小2的幂，以支持head&（length-1）等位运算高效索引及扩容翻倍。
ArrayDeque 的 allocateElements 方法并不直接“计算”最接近的 2 的幂，而是通过一个确定性策略——**向上取整到大于等于输入容量的最小 2 的幂**——来分配内部数组大小。这个设计是为了保证双端队列的头尾操作（addFirst/addLast）在摊还意义上保持 O(1) 时间复杂度，并避免频繁扩容。
为什么必须是 2 的幂？
ArrayDeque 内部用循环数组实现，依赖位运算高效判断头尾位置关系和扩容逻辑。例如：
- 用
head & (elements.length - 1)替代模运算求索引，前提是长度为 2 的幂（此时length - 1是全 1 的掩码）； - 扩容时直接左移一位（
newLength = oldLength ），简洁且保证仍为 2 的幂； - 避免因非 2 的幂导致的哈希冲突式索引错位或边界判断复杂化。
allocateElements 的实际逻辑
该方法接收一个初始容量 numElements（通常来自构造函数参数），执行以下步骤：
- 若
numElements <= 8，直接返回 8（最小容量，也是 2³）； - 否则，将
numElements - 1无符号右移并逐位或运算，使高位以下全置为 1，再加 1，得到不小于numElements的最小 2 的幂。
等价于：先减 1，再“填充低位”，最后加 1。例如：
立即学习“Java免费学习笔记（深入）”；
numElements = 16 → 15 → 1111₂ → +1 → 10000₂ = 16
numElements = 17 → 16 → 11111₂ → +1 → 100000₂ = 32
源码关键片段（JDK 8+）
核心实现如下（已简化注释）：
private static int allocateElements(int numElements) {
int initialCapacity = 8;
if (numElements >= initialCapacity) {
initialCapacity = numElements;
initialCapacity |= initialCapacity >> 1;
initialCapacity |= initialCapacity >> 2;
initialCapacity |= initialCapacity >> 4;
initialCapacity |= initialCapacity >> 8;
initialCapacity |= initialCapacity >> 16;
initialCapacity++;
if (initialCapacity < 0) // 溢出回退到 Integer.MAX_VALUE
initialCapacity = Integer.MAX_VALUE;
}
return initialCapacity;
}这种“位或传播”技巧能在常数时间内完成向上取整，比循环左移或 Integer.highestOneBit 更早引入（JDK 6 就已存在），且无需调用额外方法。
注意边界与实际使用
构造时传入的容量只是提示值，ArrayDeque 不保证精确使用该值：
- 传入 0 或负数 → 仍分配 8；
- 传入 8 → 返回 8；
- 传入 9~16 → 返回 16；
- 传入 1073741824（2³⁰）→ 返回 2¹⁶？不，会触发溢出检查，最终返回
Integer.MAX_VALUE（但实际中极少达到）。
日常使用无需手动调用 allocateElements，它由构造器私有调用；若需复用该逻辑，建议直接调用 Integer.highestOneBit(x - 1) << 1（更易读，效果相同）。
