数据结构——线性结构（6）——链队列的原理

链队列

队列类也使用链表结构进行简单的表示。为了说明基本的方法，队列的元素存储在从队列头部开始并以尾部结尾的列表中。并且为了保证入队和出队持续运行，Queue对象必须含有指向队列两端的指针。 因此，私有实例变量的定义在queuepriv.h的修订版本如下：

/*
 *这个文件保存的是Queue.h的私有部分
 *我们这个时候用链队列。也就是用链表来实现我们的队列
 *这样的队列我们称为链队列
 */
private:
    /*队列的链式结构*/
    struct Cell{
        ValueType data;
        Cell *link;
    };
    /*实例化变量*/
    Cell *head; //头指针
    Cell *tail; //尾指针
    int count; //记录队列元素的总数


    /* Make it illegal to copy queues */
    Queue(const Queue & value) { }
    const Queue & operator=(const Queue & rhs) { return *this; }

链队列中的enqueu和dequeue操作

我们先来想象一下没有尾指针的情况

1. 首先我们假设一下我们初始化的队列如下所示：
   
2. 这个时候我们执行入队操作：
   
3. 显然，这个时候我们相当于在链表中插入一个元素，且位于头结点的第一个，自然我们的复杂度为O（1）。但是当我们执行出队操作时，情况就不同了，我们必须验证头指针遍历到最后一个节点，再执行delet操作：
   
4. 删除节点后，如下所示，不用多说，执行了遍历，算法的复杂度肯定不是O（1）：
   

always a better way

换个思路，当我们设置一个尾指针指向我们的尾部节点，情况会不会好一些呢？
老规矩，先看看我们dequeue的操作（假设都为int型）：

void QueueInt::enqueue(int v) {
    Node * temp = new Node;
    temp->value = v;
    tail->link = temp;
    tail = temp;
}

1. 假设我们初始的队列值为123，并且我们添加的尾指针指向的是我们的3的节点，如图：
   
2. 现在我们要往队列里面加入一个4，执行前面的两行，我们建立了一个节点，并用一个临时指针指向这个节点：
   
3. 然后我们执行第三行，将我们的临时指针的值赋值给我们3尾指针指向节点的指针，这样的结果就是，临时指针跟3下面的指针都同时指向我们的4这个节点。
   
4. 接下来，当然是我们吧tail指针的指向调整为指向我们新添加的节点了，也就是把临时指针的值赋值给我们的tail指针。
   
5. 最终我们返回我们的队列就可以了，因此复杂度为O（1）
   

现在，来看看我们dequeue的思路：

int QueueInt::dequeue() {
    int toReturn = head->value;
    Node * temp = head;
    head = temp->link;
    delete temp;
    return toReturn;
}

1. 我们就拿上面完成的例子为例，进行我们的dequeue操作，我们先看2 3行代码，建立一个临时节点，指向与我们的head指针的指向相同，如下：
   
2. 然后将我们的头指针指向我们的下一个节点：
   
3. 然后我们把第一行的值存储起来，这个时候我们有两种办法，第一种就是我们代码那样，先把值存储起来再进行这些操作，此时 语句就是 int toReturn = head->value;。第二种就是我们改变指向后再保留，按图中的符号，就应该为：
   
4. 接下来的毫无疑问就是删除我们的多余的节点了：
   
5. 最后就是返回我们保存的值就可以了