1、stack

1.1、stack的使用

1.2、stack的OJ题

1.2.1、最小栈

1.2.2、栈的压入弹出序列

1.2.3、逆波兰表达式求值

1.3、stack的模拟实现

2、queue

2.1、queue的使用

2.2、queue的OJ题

2.2.1、二叉树的层序遍历

2.3、queue的模拟实现

3、priority_queue

3.1、priority_queue的使用

3.2、priority_queue的OJ题

3.2.1、数组中第k大的元素

3.3、仿函数

3.3.1、仿函数的概念

3.3.2、less以及greater模拟实现

3.4、priority_queue的模拟实现

4、deque

4.1、deque的结构

4.2、deque的使用

4.2.1、构造及赋值重载

4.2.2、迭代器

4.2.3、容量

4.2.4、访问

4.2.5、修改

适配器是一种设计模式(设计模式是一套被反复使用的、多数人知晓的、经过分类编目的、代码设计经验的总结)，该种模式是将一个类的接口转换成客户希望的另外一个接口。

虽然stack和queue中也可以存放元素，但在STL中并没有将其划分在容器的行列，而是将其称为容器适配器，这是因为stack和queue以及priority_queue只是对其他容器的接口进行了包装，STL中stack和queue默认使用deque作为容器，priority_queue默认以vector作为容器。

1、stack

template <class T, class Container = deque<T> > class stack;

stack的文档介绍

stack是一种容器适配器，专门用在具有后进先出操作的上下文环境中，其删除只能从容器的一端进行元素的插入与提取操作。stack是作为容器适配器被实现的，容器适配器即是对特定类封装作为其底层的容器，并提供一组特定的成员函数来访问其元素。其结构如图所示：

stack的底层容器应该支持以下操作：

empty：判空操作。

back：获取尾部元素操作。

push_back：尾部插入元素操作。

pop_back：尾部删除元素操作。

size：获取有效元素的个数。

标准容器vector、deque、list均符合这些需求，默认情况下，如果没有为stack指定特定的底层容器，默认情况下使用deque。

1.1、stack的使用

bool empty() const;size_type size() const;reference top();
const_reference top() const;void push (const value_type& val);void pop();

例如：

int main()
{   stack<int> st;st.push(1);st.push(2);st.push(3);st.push(4);st.push(5);while (!st.empty()){cout << st.top() << ' ';st.pop();}cout << endl;return 0;
}

1.2、stack的OJ题

1.2.1、最小栈

最小栈

参考：

1.2.2、栈的压入弹出序列

栈的压入弹出序列

参考：

1.2.3、逆波兰表达式求值

逆波兰表达式求值

参考：

1.3、stack的模拟实现

template<class T,class Container=deque<T>>
class stack
{
public:void push(const T& x){_con.push_back(x);}void pop(){_con.pop_back();}const T& top(){return _con.back();}bool empty(){return _con.empty();}size_t size(){return _con.size();}private:Container _con;
};

2、queue

template < class T, class Alloc = allocator<T> > class deque;

queue的文档介绍

队列是一种容器适配器，专门用于先进先出的操作，其中从容器一端插入元素，另一端提取元素。队列作为容器适配器实现，容器适配器即将特定容器类封装作为其底层容器类，元素从队尾入队列，从队头出队列。结构如图所示：

该底层容器应至少支持以下操作：

empty：队列是否为空

size：有效元素的个数

front：返回队头元素

back：返回队尾元素

push_back：在队列尾部入队列

pop_front：在队列头部出队列

标准容器类deque和list满足了这些要求。默认情况下，如果没有为queue实例化指定容器类，则使用标准容器deque。

2.1、queue的使用

bool empty() const;size_type size() const;value_type& front();
const value_type& front() const;value_type& back();
const value_type& back() const;void push (const value_type& val);void pop();

例如：

int main()
{   queue<int> q;q.push(1);q.push(2);q.push(3);q.push(4);q.push(5);while (!q.empty()){cout << q.front() << ' ';q.pop();}cout << endl;return 0;
}

2.2、queue的OJ题

2.2.1、二叉树的层序遍历

二叉树的层序遍历

参考：

2.3、queue的模拟实现

template<class T, class Container = deque<T>>
class queue
{
public:void push(const T& x){_con.push_back(x);}void pop(){_con.pop_front();}const T& front(){return _con.front();}const T& back(){return _con.back();}bool empty(){return _con.empty();}size_t size(){return _con.size();}
private:Container _con;
};

3、priority_queue

template <class T, class Container = vector<T>, class Compare = less<typename Container::value_type> > 
class priority_queue;

priority_queue文档介绍

优先队列是一种容器适配器，逻辑结构就是堆。优先队列被实现为容器适配器，容器适配器即将特定容器类封装作为其底层容器类，提供一组特定的成员函数来访问其元素。需要支持随机访问迭代器，以便始终在内部保持堆结构。

容器应该可以通过随机访问迭代器进行访问，并支持以下操作：

empty()：检测容器是否为空

size()：返回容器中有效元素个数

front()：返回容器中第一个元素的引用

push_back()：在容器尾部插入元素

pop_back()：删除容器尾部元素

标准容器类vector和deque满足这些需求。默认情况下，如果没有为特定的priority_queue类实例化指定容器类，则使用vector。

3.1、priority_queue的使用

bool empty() const;size_type size() const;const value_type& top() const;void push (const value_type& val);void pop();

例如：

int main()
{   priority_queue<int> q;q.push(3);q.push(1);q.push(5);q.push(4);while (!q.empty()){cout << q.top() << ' ';q.pop();}cout << endl;return 0;
}

默认是大堆，如果想要小堆，可以像下面这样写：

int main()
{   priority_queue<int, vector<int>, greater<int>> q;q.push(3);q.push(1);q.push(5);q.push(4);while (!q.empty()){cout << q.top() << ' ';q.pop();}cout << endl;return 0;
}

注意：如果在priority_queue中放自定义类型的数据，用户需要在自定义类型中提供> 或者< 的重载。例如：

class Date
{
public:Date(int year = 1900, int month = 1, int day = 1): _year(year), _month(month), _day(day){}bool operator<(const Date& d) const{return (_year < d._year) ||(_year == d._year && _month < d._month) ||(_year == d._year && _month == d._month && _day < d._day);}bool operator>(const Date& d) const{return (_year > d._year) ||(_year == d._year && _month > d._month) ||(_year == d._year && _month == d._month && _day > d._day);}friend ostream& operator<<(ostream& _cout, const Date& d);private:int _year;int _month;int _day;
};ostream& operator<<(ostream& _cout, const Date& d)
{_cout << d._year << "-" << d._month << "-" << d._day;return _cout;
}struct PDateCompare
{bool operator()(Date* p1, Date* p2){return *p1 > *p2;}
};int main()
{priority_queue<Date> q1;q1.push(Date(2018, 10, 29));q1.push(Date(2018, 10, 28));q1.push(Date(2018, 10, 30));cout << q1.top() << endl;priority_queue<Date*, vector<Date*>, PDateCompare> q2;q2.push(new Date(2018, 10, 29));q2.push(new Date(2018, 10, 28));q2.push(new Date(2018, 10, 30));cout << *q2.top() << endl;return 0;
}

3.2、priority_queue的OJ题

3.2.1、数组中第k大的元素

数组中第k大的元素

参考：

3.3、仿函数

3.3.1、仿函数的概念

在C++中，仿函数是指一个可以像函数一样被调用的对象。通常通过定义一个类，并在该类中重载函数调用运算符 operator() 来实现。比如：在functional中的less和greater用来比较大小

template <class T> struct less;template <class T> struct greater;

例如：

int main()
{   less<int> ls;cout << ls(2, 3) << endl;greater<int> gt;cout << gt(2, 3) << endl;return 0;
}

3.3.2、less以及greater模拟实现

//仿函数
template<class T>//仿函数的存在是为了替代函数指针。
class Less
{
public:bool operator()(const T& x, const T& y){return x < y;}
};template<class T>
class Greater
{
public:bool operator()(const T& x, const T& y){return x > y;}
};

3.4、priority_queue的模拟实现

template<class T, class Container = vector<T>, class Compare = Less<T>>
class Priority_queue
{
public:Priority_queue(){}template<class InputIterator>          //构造函数Priority_queue(InputIterator first, InputIterator last):_con(first,last){//建堆for (int i = (_con.size() - 2) / 2; i >= 0; --i){adjust_down(i);}}void adjust_up(int child){Compare com;int parent = (child - 1) / 2;while (child > 0){if(com(_con[parent],_con[child]))//if (_con[parent] < _con[child]){swap(_con[child], _con[parent]);child = parent;parent = (parent - 1) / 2;}elsebreak;}}void adjust_down(int parent){Compare com;size_t child = parent * 2 + 1;while (child < _con.size())//vector的size()的返回值都是size_t。{if (child + 1 < _con.size() && com(_con[child], _con[child+1]))//if (child + 1 < _con.size() && _con[child] < _con[child+1]){++child;}if (com(_con[parent],_con[child]))//if (_con[parent] < _con[child]){swap(_con[child], _con[parent]);parent = child;child = parent * 2 + 1;}elsebreak;}}void push(const T& x){_con.push_back(x);adjust_up(_con.size() - 1);}void pop(){swap(_con[0], _con.size() - 1);_con.pop_back();adjust_down(0);}const T& top(){return _con[0];}bool empty(){return _con.empty();}size_t size(){return _con.size();}private:Container _con;
};

4、deque

template < class T, class Alloc = allocator<T> > 
class deque;

deque又称为双端队列（是容器）：是一种双开口的“连续”空间的数据结构，双开口的含义是可以在头尾两端进行插入和删除操作，且时间复杂度为O(1)，与vector比较，头插效率高，不需要搬移元素；与list比较，空间利用率比较高。

连续物理空间，优点：极致高效的下标随机访问；缺点：扩容以及中间或者头部插入删除效率低（因为要挪动数据），比如以vector为代表。非连续物理空间，优点：任意位置的插入删除效率高，按需申请释放；缺点：不支持下标随机访问，比如以list为代表。

4.1、deque的结构

Deque是由一段段的定长的连续空间构成以及中控器构成，Deque的最大的工作就是维护这些分段连续的内存空间的整体性的假象，而维持这种假象的就是中控器，中控器的本质就是指针数组，其中每个元素都是一个指针，指向一段定长的连续的空间（本质也是数组），称为缓冲区，缓冲区才是deque的存储空间的主体。如下图所示：

deque并不是真正连续的空间，而是由一段段连续的小空间拼接而成的，实际是分段连续的，为了维护其“整体连续”以及随机访问的假象，deque的迭代器设计的就比较复杂，如下图所示：

与vector比较，deque的优势是头部插入和删除时，不需要搬移元素，效率特别高，而且在扩容时，也不需要搬移大量的元素，因此其效率是必vector高的。与list比较，其底层是连续空间，空间利用率比较高，不需要存储额外字段。

但是，deque有一个致命缺陷就是不适合遍历，因为在遍历时，deque的迭代器要频繁的去检测其是否移动到某段小空间的边界，导致效率低下，而在有些场景中，可能需要经常遍历，因此在实际中，需要线性结构时，大多数情况下优先考虑vector和list，deque的应用并不多，而目前能看到的一个应用就是，STL用其作为stack和queue的底层数据结构。

stack是一种后进先出的特殊线性数据结构，因此只要具有push_back()和pop_back()操作的线性结构，都可以作为stack的底层容器，比如vector和list都可以；queue是先进先出的特殊线性数据结构，只要具有 push_back和pop_front操作的线性结构，都可以作为queue的底层容器，比如list。但是STL中stack和queue默认选择deque作为其底层容器，主要是因为：

1、stack和queue不需要遍历，只需要在固定的一端或者两端进行操作。

2、在stack中元素增长时，deque比vector的效率高(扩容时不需要搬移大量数据)；queue中的元素增长时，deque不仅效率高，而且内存使用率高。