数组实现的队列为什么需要一个空节点

对队列指针的三种设计：
（1）font指向第一个节点，rear指向最后的节点
（2）font指向第一个节点的前一个空节点，rear指向最后的节点
（3）font指向第一个节点，rear指向最后节点的下一个节点

若使用第一种：在初始化时font=rear=-1。在第一个元素进队时，font++，rear++。此后加入元素都是rear=（rear+1）%length，array[rear]=element,元素出队都是font= ++font%array.length。

若使用第二种：初始化时font=rear=0。元素进队时rear=（rear+1）%length，array[rear]=element。元素出队时，font= ++font%array.length。

若使用第三种：初始化时font=rear=0.元素进队时array[rear]=element,rear=（rear+1）%length元素出队时font= ++font%array.length。

关于留下一个空间最主要的原因还是环形队列的存在：

环形链表的很多操作都会涉及到取余运算（x%array.length）array.length为数组的长度。其中就包括求链表的长度。x%array.length的取值范围是[0,array.length-1]。所以链表长度的取值范围也应该是[0,array.length-1]。
意味着利用长度为array.length的数组实现的链表其最大长度应该是array.length-1。

也就是说数组中存在一个没有意义的空节点。