除了顺序容器外,标准库还定义了三个顺序容器适配器:stack、queue和priority_queue。适配器是标准库中的一个通用概念。容器、迭代器和函数都有适配器。本质上,一个适配器是一种机制。能使某种事物的行为看起来像另外一种事物一样。一个容器适配器接受一种已有的容器类型,使其行为看起来像一种不同的类型。例如,stack适配器接受一个顺序容器(除array或forward_list外),并使其操作起来像一个stack一样。下表列出了所有适配器都支持的操作和类型:
所以容器适配器都支持的操作和类型 |
size_type 一种类型,足以保存当前类型的最大对象的大小 value_type 元素类型 container_type 实现适配器的底层容器类型 A a; 创建一个名为a的空适配器 A a(c); 创建一个名为a的适配器,带有容器c的一个拷贝 关系运算符 每个适配器都支持所有关系运算符:==、!=、<、<=、>和>=,这些运算符返回底层容器的比较结果 a.empty() 若a包含任何元素,返回false,否则返回true a.size() 返回a中的元素数目 swap(a,b) 交换a和b的内容,a和b必须有相同的类型,包括底层容器类型也必须相同 a.swap(a,b) |
定义一个适配器
每个适配器都定义了两个构造函数:默认构造函数创建以空对象,接受一个容器的构造函数拷贝该容器来初始化适配器。例如,假定deq是一个deque<int>,我们可以用deq来初始化一个新的stack,如下所示:
stack<int> stk(deq); //从deq拷贝元素到stk
默认情况下,stack和queue是基于deque实现的,priority_queue是在vector之上实现的。我们可以在创建一个适配器时将一个命名的顺序容器作为第二个类型参数,来重载默认容器类型:
//vector上实现的空栈
stack<string,vector<string>> str_stk; //默认是在deque上实现的,这里显示的指定为在vector上实现
//str_stk2在vector上实现,初始化时保存svec的拷贝
stack<string,vector<string>> str_stk2(svec);
对于一个给定的适配器,可以使用哪些容器是有限制的。所有适配器都要求容器具有添加和删除元素的能力。因此,适配器不能构造在array之上。类似的,我们也不能用forward_list来构造适配器,因为所有适配器要求容器具有添加、删除以及访问尾元素的能力。stack只要求push_back、pop_back和back操作,因此可以使用除array和forward_list之外的任何容器类型来构造stack。queue适配器要求back、push_back、front和push_front,因此它可以构造与list和deque之上,但不能基于vector构造。priority_queue除了front、push_back和pop_back操作之外还要求随机访问能力,因此它可以构造于vector和deque之上,但不能基于list构造。
栈适配器
stack类型定义在stack头文件中。下表列出了stack支持的操作。下面的程序展示了如何使用stack:
stack<int> intStack; //空栈 //填满栈 for(size_t ix=0;ix!=10;++ix) intStack.push(ix); while(!intStack.empty()) { //使用栈顶的值 int value=intStack.top(); //弹出栈顶的元素,继续循环 intStack.pop(); }
栈操作 |
栈默认是基于deque实现,也可以在list或vector上实现 s.pop() 删除栈顶元素,但不返回该元素的值 s.push(item) 创建一个新元素压人栈顶,该元素通过拷贝或移动item而来,或者由args构造 s.emplace(args) s.top() 返回栈顶元素,但不将元素弹出栈 |
每个容器适配器都基于底层类型的操作定义了自己的特殊操作。我们只能使用适配器操作,而不能使用底层容器类型的操作。例如:
intStack.push(ix);
此语句试图在intStack的底层deque对象上调用push_back。虽然stack是基于deque实现的,但我们不能直接使用deque操作。不能在一个stack上调用push_back,而必须使用stack自己的操作——push。
队列适配器
queue和priority_queue适配器定义在queue头文件中。下表列出了它所支持的操作:
queue和priority_queue的操作 |
queue默认基于deque实现,priority_queue默认基于vector实现; queue也可以由list或vector实现,priority_queue也可以用deque实现 q.pop() 返回queue的首元素或priority_queue的最高优先级的元素,但不删除此元素 q.front() 返回首元素或尾元素,但不删除此元素 q.back() 只适用于queue q.top() 返回最高优先级元素,但不删除该元素,只适用于priority_queue q.push(item) 在queue末尾或priority_queue中恰当的位置创建一个元素。其值为item,或者由args构造 q.emplace(args) |
标准库queue使用一种先进先出的存储和访问策略。进入队列的对象被放置在队尾,而离开队列的对象则从队首删除。
priority_queue允许我们为队列中的元素建立优先级。新加入的元素会排在所有优先级比它低的已有元素之前。