解释假溢出；写出循环队列判队满，判队空的语句。

假溢出通常发生在计算机系统对数值计算进行边界检查时，特别是在使用固定大小的数据结构（如数组或位移寄存器）处理大数值时。当一个操作可能导致数据“溢出”到数据类型的边界之外，但实际上因为硬件或编程语言的特性，它并不会引发错误，而是可能出现意想不到的结果。例如，在无符号整数运算中，如果结果超过了表示的最大值，可能会“假溢出”，实际上只是数据重新从低位开始循环。

对于循环队列（Circular Queue），其判队满和判队空的常见做法是基于两个索引：一个头指针front用于记录队首元素的位置，另一个尾指针rear用于记录队尾元素的下一个位置。队满的条件通常是 rear 指针等于 front 加上队列容量（queue_size），即 (rear + queue_size) % capacity == front。而队空的条件则是 head 和 tail 相等，即 front == rear。

以下是示例的 C++ 代码：

bool isQueueFull(CircularQueue& queue) {
    return (queue.rear + queue.capacity) % queue.capacity == queue.front;
}

bool isQueueEmpty(CircularQueue& queue) {
    return queue.front == queue.rear;
}

这里假设 CircularQueue 类包含成员变量 front、rear 和 capacity。