STL源码剖析-stack

1.stack概述

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

 

2. stack定义完整列表

        stack以deque为底部结构并封闭其头端开口，便轻而易举地形成了一个stack。SGI STL以deque作为默认情况下的stack底部结构,stack的实现因而非常简单

        由于stack以deque为底部容器完成其所有工作，所以stack也称为adapter适配器-"修改某物接口，形成另一种风貌"。stack不是容器，而是一种适配器。

        由于stack的代码十分简单，这里就完整列出:

#ifndef __SGI_STL_INTERNAL_STACK_H
#define __SGI_STL_INTERNAL_STACK_H

__STL_BEGIN_NAMESPACE

#ifndef __STL_LIMITED_DEFAULT_TEMPLATES
template <class T, class Sequence = deque<T> >
#else
template <class T, class Sequence>
#endif
class stack {
  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;
}

__STL_END_NAMESPACE

#endif /* __SGI_STL_INTERNAL_STACK_H */

3.stack没有迭代器
 

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

4.以list作为stack的底层容器
 

就是所谓的链栈!

除了deque之外，list也是双向开口的数据结构。stack支持的函数有empty，size，back，push_back,pop_back,这些list都有。因此，可以以list为底部结构并封闭其头端开口，一样能够轻易形成一个stack。