ArrayDeque双端队列完全解析

ArrayDeque双端队列完全解析

重点：

• 底层通过循环数组实现 俩个重要属性 head tail
• 不能添加null值，不然会报空指针
• 每次扩容都是2的n次方
• 可以实现普通队列先进先出排序，也可以实现栈先进后出的排序
• 特别留意，它里面通过二进制方式判断数组是否已满
  (tail = (tail + 1) & (elements.length - 1)) == head
• 注意操作插入和移除时，有Throws exception 和 return Special value 俩种情况

---

循环数组概念

我们知道，ArrayDeque是通过数组实现队列功能 的；而且具有对数组头尾双端添加和移除对象的功能，但如果数组不能实现循环功能，会出现以下情况

图一

在构建一个ArrayDeque对象时，会初始化head和tail的值为0.当有对象加入数组时，tail的值加1，当有对象出列时，head的值会加1.
而head值 == tail值 ，可以帮我们判断数组是已经满。

如果数组容量固定的情况下，从尾追加数据，从头出列数据，会出现实际数组有空的单元，但却tail会超过数组容量的情况，这种现象称为“假溢出” ；但往往，不可能是一种容量固定的数组，一般会有实现自动扩容的方法，但即便可以扩容，按照上面的逻辑，数组容量不断扩大，tail值一直向后，但从头出列的数据越来起多，前面空的内存单造成的浪费更是不能忽略了。

再往下想，不是说Deque接口实现了头和尾添加和删除数据的功能吗？那它不是可以从头添加数据，不就可以利用到前面已经出列的空的单元吗？
但如果就是单纯的就是在往后追加数据呢？那前面空出的内存单元，就这样舍弃掉？简直“暴殄天物”。

所以，为了解决数组单元浪费的问题，就产生了循环数组。且看图
图二