栈与队列理论基础

栈和队列是STL（C++标准库）里面的两个数据结构。它们分别遵循先进后出（FIFO）和先进先出（LIFO）的原则。

C++中的栈和队列

栈（stack）

• 是否为容器：在C++中，stack不被归类为容器，而是被归类为container adapter（容器适配器）。
• STL版本：stack的实现依赖于特定的STL版本。常见的版本有HP STL、P.J.Plauger STL和SGI STL。
• 底层实现：stack的底层实现可以是vector、deque或list。在SGI STL中，如果没有指定，默认使用deque。
• 迭代器：stack不提供迭代器来遍历其空间。

队列（queue）

• 底层实现：与stack类似，queue的底层实现也可以是deque或list。在SGI STL中，默认使用deque。
• 迭代器：queue同样不提供迭代器来遍历其空间。

deque的底层实现

deque（双端队列）由多个固定大小的连续内存块（缓冲区）组成，每个缓冲区存储一定数量的元素。deque通过一个指向这些缓冲区的指针数组来管理它们，并维护头尾指针来访问首尾元素。它使用STL的内存分配器来分配和释放内存。

总结

• queue和deque都是STL中的组件，但它们有不同的角色。queue是一个容器适配器，提供队列的接口；而deque是一个容器，提供了在两端高效插入和删除的能力。
• queue利用deque的这些特性来实现队列的FIFO特性。
• deque的底层实现是通过一系列分散的缓冲区和指针数组来模拟一个逻辑上的连续内存块。