C++标准库不只是包含了STL framework 所提供的容器,还包含一些为满足特殊需求而设计的容器,它们提供简单而清晰的接口。这些容器可被归类为容器适配器,它们改造自标准STL容器,使之满足特殊需求。
有三种标准的容器适配器: stacks、 queues 和 priority queues。Priority queue 就是“根据排序准则,自动将元素排序”的queue,其所谓“下一个”元素总是拥有最大值(最高优先级)。
Stack堆栈的基本内容
Class stack<>实现出一个stack。你可以使用push()将任意数量的元素放入stack,也可以使用pop()将元素依其插入的相反次序从容毒中移除。
使用stack之前,必须先包含头文件<stack>:
#include<stack>
在头文件<stack>中,class stack定义如下:
namespace std {
template <typename T,typename Container = deque<T>>
class stack;
}
第一个template 参数代表元素类型。带有默认值的第二个template 参数用来定义stack内部存放元素的实际容器,默认为deque。之所以选择deque 而非vector,是因为deque 移除元素时会释放内存,并且不必在重分配时复制全部元素。
Stack 的实现中只是很单纯地把各项操作转化为内部容器的对应调用。你以使用任何 sequence容器支持stack,只要它们提供以下成员函数:back(),push_back()和pop_back()。例如你可以使用vector 或list 来容纳元素:
std::stack<int,std::vector<int>> st;
//整形堆栈内部实现为一个vector
Stack的核心接口
Stack的核心接口由三个成员函数提供:push(),top()和pop()。
push():将一个元素放人stack内。
top():返回 stack内的“下一个”元素。
pop():从stack 中移除元素。
注意,pop()移除下一个元素,但是并不返回它;top()返回下一个元素,但是并不移除它。如果 stack 内没有元素,调用top()和pop()会导致不明确的行为。你可以采用成员函数size()和empty()来检验容器是否为空。
细究Class stack<>
Class stack<>的接口或多或少直接映射了容器内部所用的相应成员。例如:
namespace std {
template <typename T, typename Container = deque<T>>
class stack {
public:
typedef typename Container::value_type value_type;
typedef typename Container::reference reference;
typedef typename Container::const_reference const_reference;;
typedef typename Container::size_type size_type;
typedef Container container_type;
protected:
Container c; //内部实现的容器
public:
bool empty() const {return c.empty();}
size_type size() const {return c.size();}
void push(const value_type& x) { c.push_back(x);}
void push(value_type&& x) { c.push_back(move(x));}
void pop() { c.pop_back();}
value_type& top() {return c.back();}
const value_type& top() const {return c.back();}
template <typename...Args>
void emplace (Args&&...args) {
c.emplace_back(std::forward<Args>(args);}
void swap (stack& s){ swap(c,s.c);}
...
};
}