chapter4 序列式容器：stack&queue

1 stack

1.1 概述

stack是一种先进后出（First In Last Out, FILO)的数据结构。它只有一个出口。stack允许新增元素、移除元素、取得最顶端元素。但除了最顶端外，没有任何其他办法可以存取stack的其他元素。换言之，stack不允许遍历行为。

1. push：将元素推入栈
2. pop：将元素推出栈

1.2 stack定义完整列表

stack可以某种既有容器作为底部结构，将接口改变，使之符合“先进后出”的特性。SGI STL便是以deque作为缺省情况下的stack底部结构实现stack。

由于stack系以底部容器完成其所有工作，而具有这种“修改某物接口，形成另一种风貌”之性质者，称为adapter（配接器），因此，STL stack往往不被归类为container（容器），而被归类为container adapter。

template<class T, class Sequence = deque<T>>
class stack {
    //__STL_NULL_TMPL_ARGS会开展为<>
    friend bool operator==__STL_NULL_TMPL_ARGS (const stack&, const stack&);
    friend bool operator< __STL_NULL_TMPL_ARGS (const stack&, const stack&);
public:
    typedef typename Sequence::value_type value_type;
    typedef typename Sequence::size_type size_type;
    typedef typename Sequence::reference reference;
    typedef typename Sequence::const_reference const_reference;
protected:
    Sequence c;	//底层容器
public:
    //通过Sequence c的操作完成stack的操作
    bool empty() const { return c.empty(); }
    size_type size() const { return c.size(); }
    reference top() { return c.back(); }
    const_reference top() const { return c.back(); }
    //deque是双向开口的线性连续空间，可两头进出，stack是末端进，末端出（所以后进者先出）
    void push(const value_type& x) { c.push_back(x); }
    void pop() { c.pop_back(); }
};

template<class T, class Sequence>
bool operator==(const stack<T, Sequence>& x, const stack<T, Sequence>& y) {
    return x.c == y.c;
}

template<class T, class Sequence>
bool operator<(const stack<T, Sequence>& x, const stack<T, Sequence>& y) {
    return x.c < y.c;
}

1.3 stack没有迭代器

stack所有元素的进出都必须符合“先进后出”的条件，只有stack顶端的元素，才有机会被外界取用。stack 不提供走访功能，也不提供迭代器。

1.4 以list作为stack的底层容器

除deque外，list也是双向开口的数据结构。上述stack源代码中使用的底层容器的函数list都具备。因此，若以list为底部结构并封闭其头端开口，一样能够形成一个stack。

2 queue

2.1 概述

queue是一种先进先出(First In First Out, FIFO)的数据结构。它有两个出口。queue允许新增元素、移除元素、从最底端加入元素、取得最顶端元素。但除了最底端可以加入、最顶端可以取出外，没有任何其他办法可以存取queue的其他元素。换言之，queue不允许有遍历行为。

2.2 queue定义完整列表

1. queue同样可以以某种既有容器作为底部结构，改变接口，以使其符合“先进先出”特性。SGI STL便是以deque作为底部结构并封闭其底部出口和前端入口，实现queue。

2. 由于queue是以底部容器完成其所有工作，因此往往将其归类为container adapter(配接器)。

template<class T, class Sequence = deque<T>>
class queue {
    //__STL_NULL_TMPL_ARGS会开展为<>
    friend bool operator==__STL_NULL_TMPL_ARGS (const queue& x, const queue& y);
    friend bool operator< __STL_NULL_TMPL_ARGS (const queue& x, const queue& y);
public:
    typedef typename Sequence::value_type value_type;
    typedef typename Sequence::size_type size_type;
    typedef typename Sequence::reference reference;
    typedef typename Sequence::const_reference const_reference;
protected:
    Sequence c;	//底层容器
public:
    //通过Sequence c的操作完成queue的操作
    bool empty() const { return c.empty(); }
    size_type size() const { return c.size(); }
    reference front() { return c.front(); }
    const_reference front() const { return c.front(); }
    reference back() { return c.back(); }
    const_reference back() const { return c.back(); }
    //deque是双向开口的线性连续空间，可两头进出，queue是末端进，前端出（所以先进者先出）
    void push(const value_type& x) { c.push_back(x); }
    void pop() { c.pop_front(); }
};

template<class T, class Sequence>
bool operator==(const queue<T, Sequence>& x, const queue<T, Sequence>& y) {
    return x.c == y.c;
}

template<class T, class Sequence>
bool operator<(const queue<T, Sequence>& x, const queue<T, Sequence>& y) {
    return x.c < y.c;
}

2.3 queue没有迭代器

queue所有元素的进出都必须符合“先进先出”的条件，只有queue顶端的元素，才有机会被外界取用。queue不提供遍历功能，也不提供迭代器。

2.4 以list作为queue的底层容器

除deque外，list也是双向开口的数据结构。上述queue源代码中使用的底层容器的函数list都具备。因此，若以list为底部结构并封闭其头端开口，一样能够形成一个queue。