ArrayDeque 的 addFirst 不会越界翻转，而是通过预分配空间和头指针循环减法（head = (head - 1) & (length - 1)）实现环形插入；其循环性由 2 的幂长度数组与位运算保障，扩容发生在满时而非越界时。
ArrayDeque 的 addFirst 不会在数组头部“越界”时环形翻转——它根本不会越界，而是从设计上就预留了头部空间，并通过头指针（head）的循环减法实现真正的环形插入。
ArrayDeque 是一个基于循环数组（circular array）实现的双端队列，它没有传统意义上的“数组头部越界”问题。它的“环形”不是靠运行时检测越界再翻转，而是靠预分配空间 + 指针模运算逻辑来保证 head 和 tail 始终落在有效索引范围内。
下面分几个关键点说清楚：
1. ArrayDeque 的内存布局是循环数组，不是线性伸缩数组
ArrayDeque 底层用 Object[] elements 存储元素，但不从索引 0 开始填满。它维护两个关键指针：
立即学习“Java免费学习笔记（深入）”；
-
head：指向队首元素（即下次
removeFirst()或getFirst()返回的位置） -
tail：指向队尾**下一个空位**（即下次
addLast()插入的位置）
这两个指针始终在 [0, elements.length) 范围内，靠位运算（head = (head - 1) & (elements.length - 1)）实现“减一后自动绕回末尾”，前提是数组长度必须是 2 的幂（ArrayDeque 构造时会自动扩容为最近的 2 的幂）。
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
2. addFirst 的实际操作：先移动 head，再赋值
调用 addFirst(e) 时，执行顺序是：
- 计算新 head：
final int h = (head - 1) & (elements.length - 1) - 把元素 e 放到
elements[h] - 更新 head = h
注意：这个 & (length - 1) 就是模运算的高效替代（仅当 length 是 2 的幂时成立）。例如 length=8，则 (0 - 1) & 7 == 7，head 从 0 变成 7 —— 看似“翻到末尾”，其实是合法的、预期的环形行为，不是异常或补救措施。
3. 扩容发生在空间不足时，而非越界时
ArrayDeque 不允许 head == tail（这表示队列为空），但允许它们相邻来区分空/满。当 head == tail 且要插入时，说明已满，此时触发扩容（新建更大数组，复制元素，重置 head/tail）。所以：
- 不存在“插入时数组索引越界然后翻转”的场景
- 所有 head/tail 运算都在合法范围内，靠位运算保障循环性
- 用户代码永远看不到 IndexOutOfBoundsException 来自 addFirst
4. 为什么你感觉像“翻转”？因为 head 在变小
初始状态（空队列）：head = 0, tail = 0
addFirst(A) → head = 7（length=8）→ A 存在 elements[7]
addFirst(B) → head = 6 → B 存在 elements[6]
…直到 head = 1，再 addFirst(C) → head = 0 → C 存在 elements[0]
下一次 addFirst(D) → head = 7 → D 存在 elements[7]（覆盖原来的 A）？不，此时若 size == capacity-1，会先扩容。
所以“翻到头部”只是 head 指针自然递减+取模的结果，不是错误处理，更不是运行时检测越界后的补偿动作。
不复杂但容易忽略
