画图：

小汽车是线性排列，而且只能从一端进，另一端出，这就是"队列"，队列也是一种线性表，只不过它是操作受限的线性表，只能在两端操作，先进先出（First In First Out，FIFO）。

进的一端称为队尾（rear），出的一端称为队头（front）。队列可以用顺序存储，也可以用链式存储。

1. 顺序队列

队列的顺序存储形式，可以用一个一维数组存储数据元素，用两个整型变量记录队头和队尾元素的下标。

顺序存储方式：

顺序队列的结构体定义：

2. 完美图解

接下来看看顺序队列的入队和出队情况：

假设现在顺序队列Q分配了6个空间，然后进行入队出队操作，过程如图所示：

(1) 开始时为空队，Q.front=Q.rear，如图所示：

(2) 元素a1进队，放入尾指针Q.rear（整型下标）的位置，Q.rear后移一位，如图所示：

(3) 元素a2进队，放入尾指针Q.rear（整型下标）的位置，Q.rear后移一位，如图所示：

(4) 元素a3，a4，a5分别按顺序进队，尾指针Q.rear依次后移，如图所示：

(5) 元素a1出队，头指针Q.front（整型下标）后移一位，如图所示：

(6) 元素a2出队，头指针Q.front（整型下标）后移一位，如图所示：

(7) 元素a6进队，放入尾指针rear（整型下标）的位置，rear后移一位，如图所示：

(8) 元素a7进队，此时尾指针Q.rear已经超过了数组的下标，无法再存储进队，但是我们发现前面明明有2个空间，却出现了队满的情况，这种情况称为"假溢出"。

那么如何解决该问题呢？

能否利用前面的空间继续存储入队呢？

试试看…～

上面第（7）步元素a6进队之后，尾指针Q.rear要后移一个位置，此时已经超过了数组的下标，即Q.rear+1=Maxsize（最大空间数6），那么如果前面有空闲，Q.rear可以转向前面0的位置，如图所示：

然后元素a7进队，放入尾指针Q.rear（整型下标）的位置，Q.rear后移一位，如图所示：

元素a8进队，放入尾指针Q.rear（整型下标）的位置，Q.rear后移一位，如图所示：

这时候虽然队列空间存满了，但是出现了一个大问题，队满时Q.front=Q.rear，这和队空的条件一模一样，无法区分队空还是队满，如何解决呢？有两种办法：一是设置一个标志，标记队空和队满；另一种办法是浪费一个空间，当尾指针Q.rear的下一个位置Q.front是时，就认为是队满。如图所示：

3. 循环队列

上述到达尾部又向前存储的队列称为循环队列，为了避免"假溢出"，我们通常采用循环队列。

循环队列无论入队还是出队，队尾、队头加1后都要取模运算，例如入队后队尾后移一位：Q.rear =(Q.rear+1)%Maxsize。

为什么要%Maxsize呢？

主要是为了处理临界状态，即Q.rear向后移动一个位置Q.rear+1后，很有可能超出了数组的下标，这时它的下一个位置其实是0，如果将一维数组画成环形图，如图所示：

上图中最大空间Maxsize，当Q.rear=Maxsize-1时，(Q.rear+1)%Maxsize=0，而且Q.front=0，正好满足队满的条件：(Q.rear+1) %Maxsize= Q.front，此时为队满。

因此无论是front还是rear向后移动一个位置时，都要加1与最大空间Maxsize取模运算，处理临界问题。

总结：

队空：Q.front=Q.rear; // Q.rear和Q.front指向同一个位置

队满： (Q.rear+1) %Maxsize=Q.front; // Q.rear向后移一位正好是Q.front

入队：

Q.base[Q.rear]=x; //将元素放入Q.rear所指空间，

Q.rear =( Q.rear+1) %Maxsize; // Q.rear向后移一位

出队：

e= Q.base[Q.front]; //用变量记录Q.front所指元素，

Q.front=(Q.front+1) %Maxsize // Q. front向后移一位

循环队列中到底存了多少个元素呢？

因为队列是循环的，所以存在两种情况：

（1）Q.rear>= Q.front，如下图所示：

这种情况队列中元素个数为：Q.rear-Q.front=4-1=3。

（2）Q.rear

此时，Q.rear=4，Q.front=Maxsize-2，Q.rear-Q.front=6-Maxsize。但是我们可以看到循环队列中的元素实际上为6个，那怎么办呢？当两者之差为负数时，可以将差值+Maxsize计算元素个数，即：Q.rear-Q.front+Maxsize=6-Maxsize+Maxsize =6，元素个数为6。

那么在计算元素个数时，可以分两种情况判断：

Q.rear>= Q.front：元素个数为Q.rear-Q.front；

Q.rear也可以采用取模的方法把两种情况统一为一个语句：队列中元素个数：(Q.rear-Q.front+Maxsize)% Maxsize当Q.rear-Q.front为负数时，加上Maxsize再取余正好是元素个数，如(-2+6)%6=4；当Q.rear-Q.front为正数时，加上Maxsize超过了最大空间数，取余后正好是元素个数，如(3+6)%6=3。

4. 队列的基本操作队列的基本操作包括初始化、入队、出队、取队头元素、求队列长度。

(1)初始化

      //循环队列的初始化bool InitQueue(SqQueue &Q)//注意使用引用参数，否则出了函数，其改变无效{Q.base=new int[Maxsize];

      //分配空间if(!Q.base) return false;Q.front=Q.rear=0; //头指针和尾指针置为零，队列为空return true;}

(2)入队bool EnQueue(SqQueue &Q,int e)

     //将元素e放入Q的队尾{if((Q.rear+1)%Maxsize==Q.front) //尾指针后移一位等于头指针，表明队满return false;Q.base [Q.rear]=e;

       //新元素插入队尾Q.rear=(Q.rear+1)%Maxsize; //队尾指针后移一位return true;}

(3)出队bool DeQueue(SqQueue &Q, int &e)

       //删除Q的队头元素，用e返回其值{if (Q.front==Q.rear)return false;

       //队空 e=Q.base[Q.front]; //保存队头元素Q.front=(Q.front+1)%Maxsize; //队头指针后移一位return true;}

(4)取队头元素int GetHead(SqQueue Q)

      //返回Q的队头元素，不修改队头指针{if (Q.front!=Q.rear)

     //队列非空return Q.base[Q.front];return -1;}

(5)循环队列的长度

      int QueueLength(SqQueue Q){return (Q.rear-Q.front+Maxsize)%Maxsize;}

实例代码：

package main

import (
	"errors"
	"fmt"
)
type QElemType int
const QueueSize = 5
/*
   队列长度的计算公式： 参考《大话数据结构》
   队列满时，还有一个空闲位置（主要是为了区别空队列和满队列）参考《大话数据结构》
*/
//循环队列存储结构
type SqQueue struct {
	data  [QueueSize]QElemType
	front int
	rear  int
}

//初始化队列，头尾指针都为0
func InitQueue(q *SqQueue) {
	q.front = 0
	q.rear = 0
}
//计算队列的长度
func QueueLength(q *SqQueue) (len int) {
	len = (q.rear - q.rear + QueueSize) % QueueSize
	return
}
//入队操作
func EnQueue(q *SqQueue, e QElemType) (err error) {
	if (q.rear+1)%QueueSize == q.front%QueueSize {
		err = errors.New("队列已满！")
		return
	}
	q.data[q.rear] = e
	q.rear = (q.rear + 1) % QueueSize //循环，不然会越界
	return
}
//出队列
func DeQueue(q *SqQueue) (err error, res QElemType) {
	if q.rear == q.front {
		err = errors.New("队列为空，没有数据出队列")
		return
	}
	res = q.data[q.front]
	q.data[q.front]=0//清空数据
	q.front = (q.front + 1) % QueueSize//数据出队列之后，指针移动到即将出队列的元素位置
	return
}
func main() {
	var sq SqQueue
	InitQueue(&sq)
	EnQueue(&sq,QElemType(888))
	EnQueue(&sq,QElemType(666))
	EnQueue(&sq,QElemType(333))
	EnQueue(&sq,QElemType(222))
	EnQueue(&sq,QElemType(10))
	EnQueue(&sq,QElemType(3))
	fmt.Println("入队列之后的数据：",sq.data)
	DeQueue(&sq)
	DeQueue(&sq)
	DeQueue(&sq)
	DeQueue(&sq)
	DeQueue(&sq)
	DeQueue(&sq)
	fmt.Println("出队列之后的数据：",sq.data)
}

运行效果：