C++primer第九章 顺序容器 9.6 容器适配器

9.6容器适配器

• 除了顺序容器外，标准库还定义了三个顺序容器适配器：stack、queue和priority_queue
• 适配器(adaptor)是标准库中的一个通用概念。容器、迭代器和函数<369I
• 都有适配器。本质上，一个适配器是一种机制，能使某种事物的行为看起来像另外一种事物一样。一个容器适配器接受一种已有的容器类型，使其行为看起来像一种不同的类型。
• 例如，stack适配器接受一个顺序容器(除array或forward_list外)，并使其操作起来像一个stack一样(外层包装)。表9.17列出了所有容器适配器都支持的操作和类型。

定义一个适配器

• 每个适配器都定义两个构造函数：默认构造函数创建一个空对象，接受一个容器的构造函数拷贝该容器来初始化适配器。例如，假定deq是一个deque<int>,我们可以用deq来初始化一个新的stack,如下所示：
• stack<int>stk(deq);//从deq拷贝元素到stk
• 默认情况下，stack和queue是基于deque实现的，priority_queue是在vector之上实现的。我们可以在创建一个适配器时将-个命名的顺序容器作为第二个类型参数，来重载默认容器类型。
• //在vector_h实现的空栈
• stack<string,vector<string>> str_stk;
• stack<string,vector<string>>str_stk2(svec);   //str_stk2在vector上实现，初始化时保存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头文件中。表 9.18列出了 stack所支持的操作。下面的 程序展示了如何使用stack：
• stack<int> intStack; // 空栈
• / / 填满栈
• for (size_t ix = 0; ix != 10; ++ix)
• intStack.push (ix) ; // intStack 保存 0 到 9 十个数
• while (! intStack. empty () ) ( // intStack 中有值就继续循环
• int value = intStack.top();
• / / 使用栈顶值的代码
• intStack.pop () ; / / 弹出栈顶元素，继续循环
• }
• 其中，声明语句
• stack<int> intStack; // 空栈
• 定义了一个保存整型元素的栈intStack,初始时为空。for循环将10个元素添加到栈 中，这些元素被初始化为从0 开始连续的整数。while循环遍历整个stack,获取top 值，将其从栈中弹出，直至栈空。

• 每个容器适配器都基于底层容器类型的操作定义了自己的特殊操作。我们只可以使用适配器操作，而不能使用底层容器类型的操作。例如，
• intStack.push(ix);//intStack保存0到9十个数
• 此语句试图在intStack的底层deque对象上调用push_back
• 虽然stack是基于deque实现的，但我们不能直接使用deque操作。不能在一个stack调用push_back,而必须使用stack自己的操作push

队列适配器

• queue和 priority_queue适配器定义在queue头文件中。表 9.19列出了它们所支持的操作。

• 标准库queue使用一种先进先出（first-in,first-out,FIFO）的存储和访问策略。进入队列的对象被放置到队尾，而离开队列的对象则从队首删除。饭店按客人到达的顺序来为他们安排座位，就是一个先进先出队列的例子。
• priority_queue允许我们为队列中的元素建立优先级。新加入的元素会排在所有优先级比它低的已有元素之前。饭店按照客人预定时间而不是到来时间的早晚来为他们安排座位，就是一个优先队列的例子。默认情况下，标准库在元素类型上使用〈运算符来确定相对优先级。我们将在11.2.2节（第378页）学习如何重载这个默认设置。

小结

• 标准库容器是模板类型，用来保存给定类型的对象。在一个顺序容器中，元素是按顺序存放的，通过位置来访问。顺序容器有公共的标准接口：如果两个顺序容器都提供一个特定的操作，那么这个操作在两个容器中具有相同的接口和含义。
• 所有容器（除arrav外）都提供高效的动态内存管理。我们可以向容器中添加元素，不必担心元素存储在哪里。容器负责管理自身的存储。vector和string都提供更细致的内存管理控制，这是通过它们的reserve和capacity成员函数来实现的.
• 很大程度，容器只定义了极少的操作。每个容器都定义了构造函数、添加和删除元素的操作、确定容器大小的操作以及返回指向特定元素的迭代器的操作。其他一些有用的操作，如排序或搜索，并不是由容器类型定义的，而是由标准库算法实现的，我们将在第I0章介绍这些内容。
• 当我们使用添加和删除元素的容器操作时，必须注意这些操作町能使指向容器中元素的迭代器、指针或引用失效。很多会使迭代器失效的操作，如insert和erase,都会返回一个新的迭代器，来带助程序员维护容器中的位置。如果循环程序中使用了改变容器大小的操作，就要尤其小心其中迭代器、指针和引用的使用。

术语表

• 适配器（adaptor）标准阵类型、函数或送代器，它们接受一个类型、函数或迭代器，使其行为像另外一个类型、函数或迭代器-样。标准应提供了：一种顺序容器适配器：stack,queue和priority_queue每个适配器都在其底层顺序容器类型之上定义了一个新的接口。
• 数组（array）固定大小的顺序容器。为了定义一个array,除了元素类型之外还必须给定大小.array中的元素可以用其位置下标来访问。array支持快速的随机访问
• begin容器操作，返回个指向容器首元素的迭代器，如果容器为空，则返回尾后迭代器。是否返回const迭代器依赖于容器的类型。
• cbegin容器操作，返回一个指向容器首元素的const_iterator,如果容器为空，则返回尾后迭代器
• cend容器操作，返回个指向容器尾元素之后（不存在:的）的const_iterator.
• 容器 container 保存-组给定类型对象的类型。每个标准库容器类型都是一个模板类型。为了定义一个容器，我们必须指定保存在容器中的元素的类型。除了array之外，标准库容器都是大小可变的。
• deque顺序容器。deque中的元素可以通过位置下标来访问。支持快速的随机访问。deque各方面都和vector类似,唯一的差别是，deque支持在容器头尾位置的快速插入和删除，而目.在两端插入或删除元素都不会导致重新分配空间.
• end容器操作，返回-个指向容器尾元素之后（不存在的）元素的迭代器。是否返回const迭代器依赖于容器的类型
• forward_ist顺序容器，表示一个单向链表。forward_listr的元素只能顺序访问。从一个给定元素开始，为了访问另-个元素，我们只能遍历两者之间的所有元素。forward_list上的迭代器不支持递减运算（一）.forward_list支持任意位置的快速插入（或删除）操作。与其他容器不同，插入和删除发生在一个给定的迭代器之后的位置。因此，除了通常的尾后迭代器之外，forward_list还有一个“首前”迭代器。在添加新元素后，原有的指向forward_list的迭代器仍有效。在删除元素后，只有原来指向被删元素的迭
• 代器才会失效。
  迭代器范围（iteratorrange）由一对迭代器指定的元素范围。第一个迭代器表示序列中第一个元素，第二个迭代器指向最后-个元素之后的位置。如果范围为空，则两个迭代器是相等的（反之亦然，如果两个迭代器不等，则它们表示一个非空范围）.如果范围非空，则必须保证，通过反复递增第一个迭代器，可以到达第二个迭代器。通过递增迭代器，序列中每个元素都能被访问到。
• 左闭合区间（left-inclusiveinterval）值范围，包含首元素，但不包含尾元素。通常表示为［i,j）表示序列从i开始（包含）直至j结束（不包含）。list顺序容器，表示一个双向链表。list中的元素只能顺序访问。从一个给定元素开始，为了访问另一个元素，我们只能遍历两者之间的所有元素。list上的迭代器既支持递增运算（++）,也支持递减运算（--）olist支持任意位置的快速插入（或删除）操作。当加入新元素后，迭代器仍然有效。当删除元素后，只有原来指向被删除元素的迭代器才会失效。
• 首前迭代器（off-the-beginningiterator）表示一个forwardlist开始位置之前（不存在的）元素的迭代器。是forward_list的成员函数before_begin的返回值。与end（）迭代器类似，「不能被解引用。
• 尾后迭代器（off-the-enditerator）表示范围中尾元素之后位置的迭代器。通常被称为“末尾迭代器"（enditerator）。
• priority_queue顺序容器适配器，生成一个队列，插入其中的元素不放在末尾，而是根据特定的优先级排列。默认情况下，优先级用元素类型上的小于运算符确定。
• queue顺序容器适配器，生成一个类型，使我们能将新元素添加到末尾，从头部删除元素。
• 顺序容器（sequentialcontainer）保存相同类型对象有序集合的类型。顺序容器中的元素通过位置来访问。
• stack顺序容器适配器，生成一个类型，使我们只能在其一端添加和删除元素。
• vector顺序容器。vector中的元素可以通过位置下标访问。支持快速的随机访问。我们只能在vector末尾实现高效的元素添加/删除。向vector添加元素可能导致内存空间的重新分配，从而使所有指向vector的迭代器失效。在vector内部添加（或删除）元素会使所有指向插入（删除）点之后元素的迭代器失效