队列“假溢出”情况
在队列的顺序存储结构中,用一组地址连续的存储单元依次存放从队头到队尾的元素,如一维数组Queue[MAXSIZE]。
此外,由于队头和队尾的位置都是动态变化的,因此需要附设两个指针front和rear,分别指示队头元素和队尾元素在数组中的位置。
初始化队列时,令front=rear=0(如下图所示)。
入队时,直接将新元素送到尾指针rear所指的单元,然后将尾指针加1;出队时,直接取出队头指针front所指的元素,然后头指针加1(如下图所示)。
显然,在非空顺序队列中,队头指针始终指向当前的队头元素,而队尾元素始终指向真正队尾元素的下一个单元。
当rear==MAXSIZE时,认为队满。但此时不一定是真的队满。因为随着部分元素的出队,数组前面会出现一些空单元(如下图所示)。
但由于只能在队尾入队,使得前面空单元无法使用。此时再入队,就会造成一种尾指针溢出,但是队列其实不是真的已满的现象(如下图所示)。这种现象称为假溢出。真正队满的条件应该是rear-front==MA