arraydeque扩容发生在size == elements.length时，而非“满容量”；它将循环数组中逻辑连续的元素整体平铺复制到2倍长的新数组，使head=0、tail=size，形成物理连续布局。
ArrayDeque 并不支持“满容量扩容”这个概念——它根本就没有固定容量限制，也不会在“满”时才扩容。它的底层是循环数组，扩容发生在插入新元素、但当前数组已无可用空间时（即 size == elements.length），此时会触发扩容，且扩容逻辑**不是简单地两段拷贝，而是整体重排为连续存储的新数组**。
扩容触发条件：不是“满”，而是“无空位”
ArrayDeque 的容量始终是 2 的幂（初始为 16），它用 head 和 tail 两个索引维护逻辑首尾，实际存储是循环的。当 tail == head 且 size > 0 时，说明数组已满（所有位置都被占用）。此时再调用 addLast() 或 addFirst() 就会扩容。
- 判断依据是：
size == elements.length（而非 tail == head 的初始状态） - 扩容前，数组中元素物理上可能是“断开”的两段：从
head到末尾，再从开头到tail-1
扩容时的实际拷贝方式：一次整体平铺
扩容不是分两段分别拷贝，而是将逻辑上连续的双端队列内容，按顺序重新写入新数组的开头位置，变成物理连续的排列：
- 新数组长度 = 原长度 × 2（例如 16 → 32）
- 遍历原数组中所有有效元素（共
size个），按逻辑顺序依次复制：- 先拷贝
[head, elements.length)区间（后半段） - 再拷贝
[0, tail)区间（前半段）
- 先拷贝
- 拷贝完成后，
head = 0，tail = size，新数组变成“左对齐”的线性布局
为什么叫“两段数组”，但拷贝不复杂？
所谓“两段”，只是描述扩容前循环数组的物理布局形态，并非设计成必须分两次 memcpy。JDK 实现直接用一个 for 循环 + 取模或分支判断完成平铺：
- 源码中类似逻辑（简化）：
for (int i = 0; i newElements[i] = elements[(head + i) & (elements.length - 1)];
}
利用位运算模拟循环索引，自动跨段读取，本质是一次顺序读 + 顺序写 - 没有显式的“先拷后半段、再拷前半段”两轮 System.arraycopy，而是单次遍历完成
扩容后结构更简洁，但代价是 O(n) 时间
虽然拷贝本身是 O(n)，但均摊下来每次 add 操作仍是 O(1)。扩容后的数组恢复为标准线性结构，后续插入/删除只需移动 head/tail，无需再跨段处理。
它不追求“零拷贝”或“就地扩容”，而是用清晰的重排换取后续操作的常数时间性能和代码可维护性。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
