笔记：数据结构（循环队列相关判断条件）

在循环队列中判断队列的空、满以及长度是关键操作。以下是循环队列的相关判断条件的详细罗列1.判断队列是否为空条件队头指针front等于队尾指针rear。代码实现Cbool IsEmpty(SqQueue Q) { return Q.front Q.rear; }解释当front rear时队列中没有元素队列为空。2.判断队列是否为满条件队尾指针rear的下一个位置是队头指针front即(rear 1) % MAXQSIZE front。代码实现Cbool IsFull(SqQueue Q) { return (Q.rear 1) % MAXQSIZE Q.front; }解释循环队列中为了区分队列空和队列满的情况通常会牺牲一个元素空间。当(rear 1) % MAXQSIZE front时队列已满。3.计算队列的长度条件队列的长度为(rear - front MAXQSIZE) % MAXQSIZE。代码实现Cint QueueLength(SqQueue Q) { return (Q.rear - Q.front MAXQSIZE) % MAXQSIZE; }解释rear - front可能为负数当rear绕到front前面时因此加上MAXQSIZE确保结果为正。通过取模运算% MAXQSIZE确保结果在0到MAXQSIZE - 1之间。4.入队操作的条件条件队列未满即(rear 1) % MAXQSIZE ! front。代码实现CStatus EnQueue(SqQueue Q, QElemType e) { if ((Q.rear 1) % MAXQSIZE Q.front) { return ERROR; // 队列已满无法入队 } Q.base[Q.rear] e; // 将元素插入队尾 Q.rear (Q.rear 1) % MAXQSIZE; // 队尾指针后移 return OK; }解释如果队列未满则将元素插入队尾并将rear指针后移。通过取模运算% MAXQSIZE确保rear指针在数组范围内循环。5.出队操作的条件条件队列不为空即front ! rear。代码实现CStatus DeQueue(SqQueue Q, QElemType e) { if (Q.front Q.rear) { return ERROR; // 队列为空无法出队 } e Q.base[Q.front]; // 取出队头元素 Q.front (Q.front 1) % MAXQSIZE; // 队头指针后移 return OK; }解释如果队列不为空则取出队头元素并将front指针后移。通过取模运算% MAXQSIZE确保front指针在数组范围内循环。6.队列的初始化条件队头指针front和队尾指针rear都初始化为0。代码实现CStatus InitQueue(SqQueue Q) { Q.base new QElemType[MAXQSIZE]; // 动态分配数组空间 if (!Q.base) { exit(OVERFLOW); // 内存分配失败 } Q.front Q.rear 0; // 初始化队头和队尾指针 return OK; }解释初始化时队列为空因此front和rear都指向数组的起始位置。7.队列的销毁条件释放队列的存储空间并将front和rear置为0。代码实现CStatus DestroyQueue(SqQueue Q) { if (Q.base) { delete[] Q.base; // 释放数组空间 } Q.front Q.rear 0; // 重置队头和队尾指针 return OK; }解释销毁队列时释放动态分配的数组空间并将指针重置。总结循环队列的关键判断条件如下队列空front rear队列满(rear 1) % MAXQSIZE front队列长度(rear - front MAXQSIZE) % MAXQSIZE入队条件队列未满出队条件队列不为空通过以上判断条件可以确保循环队列的正确操作。