一.少用一个存储位置

 
第一种情况：

当队列为空时条件：rear == front

当队列满时条件为：rear+1 == front
  
  上述方式对于上述图是适用的，但如果出现了有下标标识，上述判断条件就不适用了。比如下图有下标了，当队列满时，显然条件就不能判断了，就要用到另一种判断。
 
第二种情况：
当队列为空时条件：rear == front

当队列满时条件为：（rear+1）% maxsize == front
 
 
 

二.设置一个标记位

 
设置初始标记： boolean flag=false

当入队列时，让rear往后移动，让flag=true
当出队列时，让front往后移动，让flag=false

当队列为空时： rear == front && flag==false
当队列为满时： rear == front && flag == true

三.计数count——队列中有效元素个数

 
队列为空时，count == 0

当有元素入队时，count++，当count和队列的maxsize相等时，代表队列已满

前言

我们这里一共三个方法，通过是否舍弃空间来实现队列空满的判断。

队列的数据结构

const int MaxSize=10;
typedef struct
{
    int data[MaxSize];
    int front,rear; 
}Queue;

front指向第一个元素。
rear指向下一个为空的，可插入的位置。

初始化

bool initqueue(Queue &q){
    q.front=q.rear=0;
    return true;
}

初始化时，令front和rear都指向第一个位置。
此时，队列为空，所以我们自然想到一个判断队列为空的条件：
q.front == q.rear
不知掉是否会有疑问？为什们不是像初始化那样等于0？
因为队列的特性，它是FIFO（先进先出）的，最后出队列的位置
不一定是第一个位置（往往也不是第一个位置）。

一、舍弃空间

判断队列为满的条件：

((q.rear+1)%MaxSize)==0 //取余是因为是循环队列

意思就是最后一个空位置的下一个位置就是队列的第一个位置(循环)

如上图，此时的循环队列就是判断为满的条件。
但是我们为什们就必须要舍弃呢？
假设我们不舍弃，判断为满的条件是：

q.front==q.rear

是不是很眼熟，因为它和判断队列为空的条件重合了。
所以在没有其他条件的情况下，我们只有通过舍弃最后一个位置来
判断循环队列为满了。

二、不舍弃空间

不舍弃空间的话，我们有两种方法。

1.计数器

通过在队列的数据结构中添加一个计数位来实现判断队列的空满。

const int MaxSize=10;
typedef struct
{
    int data[MaxSize];
    int front,rear; 
    int count;
}Queue;

在初始化时，也要微调：

bool initqueue(Queue &q){
    q.front=q.rear=0;
    q.count=0;
    return true;
}

令计数器（count）等于0。
显而易见的，此时的条件：
队列满：count==MaxSize。
队列空：count ==0。

2.设置标志位

我们在程序设计时，遇到此时的条件不能直接判断时，通常的做法就是添加标志位。

const int MaxSize=10;
typedef struct
{
    int data[MaxSize];
    int front,rear; 
    int sign;
}Queue;

将 int 类型的sign作为标志位。
成功插入就：sign=1。
成功删除就：sign=0。

初始化：

bool initqueue(Queue &q){
    q.front=q.rear=0;
    q.sign=0;
    return true;
}

因为此时队列为空，sign就为0。
之前讲到，不舍弃空间的话，队满的条件和队空的条件重合了。
即：q.front == q.rear。
现在有了标志位，就能将其分开：
队满： q.front == q.rear && sign == 1；
队空： q.front == q.rear && sign==0；

标循环队列判断队满和队空的条件

队满：front=(rear+1)%size ;
队空：front = rear&&

图片上的信息来自王红梅教授版数据结构第二版