基于数组的双端队列通常使用称为循环缓冲区的数据结构来实现。这个想法是我们维护一个元素数组,但假设数组的末端粘在一起形成一个环。
从您的调试来看,ArrayDeque 内部似乎维护了一个包含 16 个元素的数组,我们可以这样查看:
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| | | | | | | | | | | | | | | | |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
我们维护两个不同的指针,一个头指针和一个尾指针,跟踪双端队列第一个元素的位置和最后一个元素的位置双端队列的元素。最初,它们将指向数组的开头:
head
|
v
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| | | | | | | | | | | | | | | | |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
^
|
tail
每当我们执行addFirst 时,我们都会将头指针备份一步,然后将元素写入我们找到的位置。由于我们假设数组的两端是连在一起的,所以这里倒退一步会将头指针移动到最后一个位置:
head
|
v
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| | | | | | | | | | | | | | | | X |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
^
|
tail
要做一个addLast,我们写到尾部位置,然后向前推进:
head
|
v
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| X | | | | | | | | | | | | | | | X |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
^
|
tail
如果我们再做两个addFirsts 会是什么样子:
head
|
v
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| X | | | | | | | | | | | | | X | X | X |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
^
|
tail
如果我们再做两个addLasts,这就是它的样子:
head
|
v
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
| X | X | X | | | | | | | | | | | X | X | X |
+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+---+
^
|
tail
我们从头指针开始读取双端队列的元素,然后继续向前直到到达尾指针。所以在这种情况下,我们从head指向的槽开始读取,而不是数组中的第一个位置。
最终,两个指针会在中间相遇。发生这种情况时,我们会创建一个比原始数组大(通常大 150%)的全新数组,然后将元素复制到新数组中以释放一些空间。