队列是一种数据结构，遵循“先进先出”（FIFO）的原则，即最先插入的元素会最先被删除。队列的基本操作是基于两个指针：head，队头指针，通常初始化为0，表示队列为空；tail，队尾指针，表示队列中最后一个元素的位置。队列的容量由数组Q[1…m]的上界m决定，当rear等于MAXSIZE时，队列满；当front等于rear时，队列为空。
队列元素的进出操作直观地表现为指针的变化。出队操作中，通过head=head+1将队头元素移除；入队操作时，tail=tail+1并将新元素放入Q(tail)。当tail达到数组末尾并指向1时，如果还要入队，就可能发生“假溢出”，但实际队列还有空位。为避免假溢出，可以使用循环队列，将数组视为首尾相连的环形区域，元素装满后，尾指针绕回数组头部。
循环队列的入队算法如下：首先，tail增加1；如果tail超过数组长度n+1，则将其重置为1；如果head等于tail，意味着队列满，需要处理上溢出错误；否则，将新元素X存入Q(tail)后，入队过程结束。
队列和栈都是只允许在特定位置进行插入和删除的线性数据结构，它们在计算机科学中有着广泛的应用，如任务调度、消息传递等场景中都有重要的作用。
队列是一种特殊的线性表，它只允许在表的前端（front）进行删除操作，而在表的后端（rear）进行插入操作。进行插入操作的端称为队尾，进行删除操作的端称为队头。队列中没有元素时，称为空队列。