ArrayDeque的环形数组设计以2的幂长度为基础，通过位运算（index & (length-1)）实现高效绕回，head指向队首元素、tail指向队尾后一位置，扩容时重排元素保持逻辑连续性。
ArrayDeque 的环形数组设计是它高效支持双端操作的核心，不是靠物理上首尾相连，而是用数学运算模拟逻辑上的“循环”。关键在于：数组长度始终是 2 的幂，头尾索引通过位运算（而非取模）实现绕回，既快又避免负数取模问题。
为什么必须是 2 的幂长度
这是环形定位的底层前提。源码中所有容量初始化（如无参构造默认 16）、扩容（doubleCapacity）都确保新长度为 2 的幂。这样就能用 index & (length - 1) 替代 index % length —— 当 length 是 2 的幂时，length−1 的二进制全是 1，位与操作等价于取余，且无分支、无负数风险。
- 例如 length=16，length−1=15（二进制 1111），那么 index=17 → 17 & 15 = 1，自动绕回到索引 1
- head 和 tail 始终在这个范围内滑动，不越界也不需判断正负
head 和 tail 的真实含义
它们不是简单的“起点”和“终点”，而是带语义的游标：
-
head 指向队首元素所在位置（即
getFirst()、removeFirst()操作的位置） -
tail 指向队尾下一个可插入位置（即
addLast()、offerLast()将写入的位置） - 所以实际元素个数是 (tail − head) & (elements.length − 1)，不是 tail − head
这种设计让空队列天然满足 head == tail，满队列则被禁止（扩容触发在 tail 追上 head 前一刻），避免了“空/满歧义”问题。
扩容时如何保持环形结构
当 tail 绕过数组末尾、接近 head 时（即队列将满），会调用 doubleCapacity()。它不是简单复制原数组，而是按 head 为新起点重排：
- 先计算原数组中从 head 到末尾的元素个数 r
- 用
System.arraycopy把 [head, end) 段复制到新数组开头 - 再把 [0, head) 段复制到新数组紧接其后的位置
- 最后设 head=0，tail=r + (head 原值)，让逻辑连续性在新数组中重建
这个过程把原本“断开”的环，在更大空间里拉直再缝合，维持了 head 在 0、元素连续存储的简洁视图。
所有 add/remove 方法如何利用该设计
以 addFirst(e) 为例，源码实际执行：
- 先将 head 减 1：head = (head − 1) & (elements.length − 1)
- 再把 e 放入 elements[head]
减 1 后若为负，位与立刻转成合法大索引（比如 head=0，减 1 得 −1，−1 & 15 = 15），自然落到数组末尾——这就是“从头部插入”在环形数组里的本质：往 head 前一位填，靠位运算自动绕到尾部。同理，addLast() 对 tail 执行加法再位与。
不复杂但容易忽略
