循环队列中区分队空和队满，有三种处理方式：

① 牺牲一个单元来区分队空和队满，入队时少用一个队列单元，这是一个较为普遍的做法，约定以“队头指针在队尾指针的下一个位置作为队满的标志”。

队满条件：(Q.rear + 1) % MaxSize == Q.front

队空条件：Q.front == Q.rear

队列中元素的个数：(Q.rear - Q.front + MaxSize) % MaxSize

② 类型中增设表示元素个数的数据成员size：

队满条件：Q.size == MaxSize

队空条件：Q.size == 0

队列中元素的个数：Q.size

③ 类型中增设用于区分队满还是队空的数据成员tag，入队标记tag = 1，出队标记tag = 0：

队满条件：Q.front == Q.rear && tag == 1

队空条件：Q.front == Q.rear && tag == 0

队列中元素的个数：(Q.rear - Q.front + MaxSize) % MaxSize

以上三种方法本人简记为：

① 空一法（空格法）

② 计数法

③ 标记法（标志法）

A[0..M-1]数组的容量为M，队列中最多能容纳 M-1 个元素，很明显采用了空一法。

把变量名对着题目改一遍，很明显A选项符合条件。

本题选A。