＜C++＞ 优先级队列

目录

前言

一、priority_queue的使用

1. 成员函数

2. 例题

二、仿函数

三、模拟实现

1.  迭代器区间构造函数 && AdjustDown

2. pop

3.  push && AdjustUp

4. top

5. size

6. empty

 四、完整实现

总结

---

前言

        优先级队列以及前面的双端队列基本上已经脱离了队列定义，只是占了队列名字

优先级队列——priority_queue

1. 优先级队列是一种容器适配器，根据一些严格的弱排序标准，经过专门设计，其第一个元素始终是它所包含的最大元素。

2. 此上下文类似于堆，其中元素可以随时插入，并且只能检索最大堆元素（优先级队列中顶部的元素）。

3. 优先级队列作为容器适配器实现，容器适配器是使用特定容器类的封装对象作为其基础容器的类，提供一组特定的成员函数来访问其元素。元素从特定容器的“背面”弹出，这称为优先级队列的顶部。

4. 底层容器可以是任何标准容器类模板，也可以是一些其他专门设计的容器类。容器应可通过随机访问迭代器访问，并支持以下操作：

• empty（）
• size（）
• front（）
• push_back（）
• pop_back（）

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

6. 需要支持随机访问迭代器，以便始终在内部保持堆结构。这是由容器适配器通过自动调用算法函数 make_heap、push_heap、pop_heap 自动完成的，并在需要时完成。

注意：

• priority_queue还是适配器，但是适配的是vector
• 底层是二叉树的堆
• priority_queue仍然包括在queue头文件中 
• 默认大堆
• Compare的缺省是less，表示的是大根堆

        可以使用仿函数修改为小根堆

priority_queue<int, deque<int>, greater<int>> pq;

---

一、priority_queue的使用

1. 成员函数

2. 例题

215. 数组中的第K个最大元素

方法一：直接使用sort排序

class Solution {
public:int findKthLargest(vector<int>& nums, int k) {sort(nums.begin(), nums.end(), greater<int>());return nums[k - 1];}
};

 方法二：优先级队列，建大堆

class Solution {
public:int findKthLargest(vector<int>& nums, int k) {priority_queue<int> pq(nums.begin(), nums.end());while (--k){pq.pop();}return pq.top();}
};

方法三：维护一个有K个数据的小堆，遍历nums数组，若比top()值大，就入堆，最后返回top()数据

class Solution {
public:int findKthLargest(vector<int>& nums, int k) {priority_queue<int, vector<int>, greater<int>> pq(nums.begin(), nums.begin() + k);for (int i = k; i < nums.size(); ++i){if (nums[i] > pq.top()){pq.pop();pq.push(nums[i]);}}return pq.top();}
};

注意：

        sort函数最后一个参数是greater<int>()，是一个匿名对象，而在priority_queue<>内部，第三个模板是greater<int>，是类型，不能加括号

二、仿函数

        我们在之前就遇到过sort函数如果想实现降序，需要加上仿函数greater<类型>()，那么什么是仿函数呢？它又有什么作用？

我们来看一个简单的例子：

class Fun
{
public:bool operator()(int a, int b){return a < b;}
};int main()
{     Fun func;cout << func(1, 2) << endl;//等价于cout << func.operator()(1, 2) << endl;return 0;
}

• 这里的Fun就是仿函数，由Fun类定义的对象称为函数对象
• 仿函数，顾名思义，一个类的对象可以像函数一样使用，它替代了c语言里的函数指针，我们只需要重载 () 符号，就可以像使用函数一样调用它的 () 运算符重载函数

那么这样的仿函数有什么作用呢？

•  替代c语言的函数指针，因为c语言的函数指针很复杂、容易出错
• 搭配模板可以实现多类型的函数运算，不会将函数“写死”，例如：我们写Less、Greater类，重载（）符号，在需要的地方实例化函数对象，如果有比较大小的情况就使用函数对象（参数1，参数2），原理就是调用operator()函数，像函数一样调用

下面是priority_queue带上第三个模板参数Less后使用仿函数的代码：

template<class T>
class Less
{
public:bool operator()(const T& a, const T& b){return a < b;}
};template<class T>
class Greater
{
public:bool operator()(const T& a, const T& b){return a > b;}
};namespace my_priority_queue
{// Less<T> 才是Less类的类型template<class T, class Container = vector<T>, class Compare = Less<T>>class priority_queue{private://大堆，向下调整void AdjustDown(int parent){//创建函数对象，Less模板类型就是<比较，Greater模板类型就是>比较Compare com;//找左右孩子中最大的哪一个int child = parent * 2 + 1;while (child < _con.size()){//因为com是比较小于关系，所以需要将原先大于的表达式逆一下//判断右孩子是否存在/*if (child + 1 < _con.size() && _con[child + 1] > _con[child])*/if (child + 1 < _con.size() && com(_con[child], _con[child + 1])){++child;}//if (_con[child] > _con[parent])if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);parent = child;child = parent * 2 + 1;}else{break;}}}void AdjustUp(int child){Compare com;int parent = (child - 1) / 2;while (child > 0)	//最坏情况：孩子等于0时结束{if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);child = parent;parent = child - 1 >> 1;}else{break;}}}public:template<class InputIterator>	//input只写迭代器//迭代器区间构造函数priority_queue(InputIterator first, InputIterator last){while (first != last){_con.push_back(*first);++first;}//建堆for (int i = (_con.size() - 1 - 1) / 2; i >= 0; --i ){AdjustDown(i);}}void pop(){//交换后，尾删，并向下调整swap(_con[0], _con[_con.size() - 1]);_con.pop_back();AdjustDown(0);}void push(const T& x){_con.push_back(x);AdjustUp(_con.size() - 1);}private://容器Container _con;};
}

        如果比较的类型是其他自定义类型，并且该类没有重载operator<函数，那么我们就需要手写一个仿函数进行比较，否则编译错误，无法进行比较

       因为库里的仿函数使用了模板，是什么类型就按什么类型相比，那么如果是new返回的指针类型，由于每次new返回的地址相当于是随机的，又比较的是指针类型的大小，所以比较结果也是随机结果。所以我们还是需要写仿函数，修改比较方式，去比较指针指向的内容即可。

三、模拟实现

编译错误，找不到出错位置怎么办？

        如果代码编译错误，找不到在哪，那么逐步屏蔽掉一些代码，逐步排查，是十分有效的找到错误处方法

        priority_queue也同queue、stack一样，是适配器，适配vector容器

1.  迭代器区间构造函数 && AdjustDown

• 采用封装容器vector的push_back尾插数据，因为默认是大堆，向下建堆，所以尾插数据后，将从最后一个元素的父亲结点—— (_con.size() - 1 - 1) / 2 开始向下调整。
• 向下调整函数不用多说，在二叉树部分我们详细讲解过

namespace my_priority_queue
{// Less<T> 才是Less类的类型template<class T, class Container = vector<T>, class Compare = Less<T>>class priority_queue{private://大堆，向下调整void AdjustDown(int parent){//创建函数对象，Less模板类型就是<比较，Greater模板类型就是>比较Compare com;//找左右孩子中最大的哪一个int child = parent * 2 + 1;while (child < _con.size()){//因为com是比较小于关系，所以需要将原先大于的表达式逆一下//判断右孩子是否存在/*if (child + 1 < _con.size() && _con[child + 1] > _con[child])*/if (child + 1 < _con.size() && com(_con[child], _con[child + 1])){++child;}//if (_con[child] > _con[parent])if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);parent = child;child = parent * 2 + 1;}else{break;}}}public:template<class InputIterator>	//input只写迭代器//迭代器区间构造函数priority_queue(InputIterator first, InputIterator last){while (first != last){_con.push_back(*first);++first;}//建堆for (int i = (_con.size() - 1 - 1) / 2; i >= 0; --i ){AdjustDown(i);}}private://容器Container _con;};
}

 2. pop

• 堆的pop，将堆顶数据与最后一个数据进行交换，再进行pop_back，再将堆顶数据向下调整

		void pop(){//交换后，尾删，并向下调整swap(_con[0], _con[_con.size() - 1]);_con.pop_back();AdjustDown(0);}

 3.  push && AdjustUp

• 尾插数据后，将该数据向上调整

		void AdjustUp(int child){Compare com;int parent = (child - 1) / 2;while (child > 0)	//最坏情况：孩子等于0时结束{if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);child = parent;parent = child - 1 >> 1;}else{break;}}}void push(const T& x){_con.push_back(x);AdjustUp(_con.size() - 1);}

 4. top

• 返回堆顶数据，返回值是 const T&

		const T& top(){return _con[0];}

 5. size

• 返回vector的size()即可

		size_t size(){return _con.size();}

 6. empty

• 直接调用vector的empty函数即可

		size_t size(){return _con.size();}

 四、完整实现

#pragma once
#include<iostream>
#include<vector>
#include<functional>
using namespace std;template<class T>
class Less
{
public:bool operator()(const T& a, const T& b){return a < b;}
};template<class T>
class Greater
{
public:bool operator()(const T& a, const T& b){return a > b;}
};namespace my_priority_queue
{// Less<T> 才是Less类的类型template<class T, class Container = vector<T>, class Compare = Less<T>>class priority_queue{private://大堆，向下调整void AdjustDown(int parent){//创建函数对象，Less模板类型就是<比较，Greater模板类型就是>比较Compare com;//找左右孩子中最大的哪一个int child = parent * 2 + 1;while (child < _con.size()){//因为com是比较小于关系，所以需要将原先大于的表达式逆一下//判断右孩子是否存在/*if (child + 1 < _con.size() && _con[child + 1] > _con[child])*/if (child + 1 < _con.size() && com(_con[child], _con[child + 1])){++child;}//if (_con[child] > _con[parent])if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);parent = child;child = parent * 2 + 1;}else{break;}}}void AdjustUp(int child){Compare com;int parent = (child - 1) / 2;while (child > 0)	//最坏情况：孩子等于0时结束{if (com(_con[parent], _con[child])){swap(_con[parent], _con[child]);child = parent;parent = child - 1 >> 1;}else{break;}}}public:priority_queue(){}//迭代器区间构造函数template<class InputIterator>	//input只写迭代器priority_queue(InputIterator first, InputIterator last){while (first != last){_con.push_back(*first);++first;}//建堆for (int i = (_con.size() - 1 - 1) / 2; i >= 0; --i ){AdjustDown(i);}}void pop(){//交换后，尾删，并向下调整swap(_con[0], _con[_con.size() - 1]);_con.pop_back();AdjustDown(0);}void push(const T& x){_con.push_back(x);AdjustUp(_con.size() - 1);}const T& top(){return _con[0];}size_t size(){return _con.size();}bool empty(){return _con.empty();}private://容器Container _con;};
}void test_priority_queue1()
{// 默认是大堆 -- less//priority_queue<int> pq;// 仿函数控制实现小堆my_priority_queue::priority_queue<int, vector<int>, Greater<int>> pq;pq.push(3);pq.push(5);pq.push(1);pq.push(4);while (!pq.empty()){cout << pq.top() << " ";pq.pop();}cout << endl;
}

---

总结

        priority_queue优先级队列就是存储在vector内的堆，掌握向上向下调整函数，可以回顾之前的文章堆的实现一节。

        最后，如果小帅的本文哪里有错误，还请大家指出，请在评论区留言（ps：抱大佬的腿），新手创作，实属不易，如果满意，还请给个免费的赞，三连也不是不可以（流口水幻想）嘿！那我们下期再见喽，拜拜！