【C++】深度解析：用 C++ 模拟实现 priority_queue类，探索其底层实现细节(仿函数、容器适配器)

⭐前言

✨堆

✨容器适配器

✨仿函数

⭐priority_queue介绍

⭐priority_queue参数介绍

⭐priority_queue使用

⭐priority_queue实现

✨仿函数实现

✨堆的向上调整和向下调整

✨完整代码

⭐前言

✨堆

堆是一种特殊的树形数据结构，通常以二叉树的形式实现，具有特定的排序特性。堆分为两种类型：最大堆和最小堆。

具体可以参见这篇文章：【数据结构】二叉树-CSDN博客

✨容器适配器

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

STL标准库中stack和queue的底层结构：

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

✨仿函数

在 C++ 中，仿函数通常指的是一种行为类似于函数的对象，即可以像调用函数那样被调用的对象。这种对象通常包含一些数据成员，并且重载了括号运算符 operator()，从而允许以函数的方式调用。

看下面这段代码：

class Less
{
public:bool operator()(const int& x, const int& y){return x < y;}
};int main()
{Less lesscom;cout << lesscom(1, 2) << endl;return 0;
}

代码中定义了Less类，重载()，函数中定义了x、y两个参数，当x小于y就返回true，否则返回false。

在main函数中创建了Less类的对象，如果想要调用重载()，常规的调用方法应该是对象名.函数名(参数列表)。但因为重载()函数是可以省略.operator()，所以当我们使用这个仿函数对象的时候，使用的方法就和调用一个函数一样，这就是仿函数的使用。

仿函数的特点

可调用性：仿函数通过重载括号运算符 operator() 实现了可调用性，使得我们可以像调用普通函数一样调用仿函数对象。
状态：仿函数可以拥有自己的数据成员（状态），这意味着每次调用仿函数时，它可以访问这些成员变量，这与普通的函数不同，后者通常不保留状态。
多态性：由于仿函数是对象，它们可以被用作多态的一部分，这意味着你可以通过基类指针或引用调用派生类的仿函数对象。

仿函数的用途

算法参数化：仿函数可以作为算法的参数，使得算法可以根据传入的不同仿函数表现出不同的行为。
事件处理：在 GUI 编程中，可以使用仿函数作为事件处理器，当事件发生时调用相应的仿函数对象。
模板编程：在 C++ 模板编程中，仿函数经常被用作模板参数，以实现泛型算法

⭐priority_queue介绍

priority_queue 是 C++ 标准库中的一个容器适配器，它提供了基于最大堆或最小堆的数据结构来实现优先队列的功能。priority_queue 自动维护元素的排序，使得每次插入或删除操作都能保持堆的性质。

priority_queue 底层将vector作为默认容器，默认情况下为大堆。

⭐priority_queue参数介绍

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

T: 这是优先队列中存储的元素类型。例如，如果存储整数，则 T 将是 int。
Container: 这是一个可选的模板参数，用来指定底层容器的类型。默认情况下，std::priority_queue 使用 std::vector<T> 作为其底层容器。但是，可以选择任何支持随机访问迭代器的容器类型，例如 std::deque<T>。请注意，底层容器必须支持 push_back 和 pop_back 操作。
Compare: 这也是一个可选的模板参数，用来指定元素之间的比较方式。默认情况下，使用 std::less<typename Container::value_type>，这意味着对于类型 T 的元素，将使用 < 运算符进行比较，创建出一个大堆。如果要创建一个最小堆，则可以使用 std::greater<typename Container::value_type>。

我们其实可以发现 priority_queue使用的是容器适配器模式，底层是vector和deque这样支持下标随机访问等操作的容器；并且还是要了仿函数 Compare来控制比较逻辑，使用less<typename Container::value_type>创建出大堆，使用greater<typename Container::value_type> 创建出小堆。

priority_queue的一个完整的声明如下：
priority_queue<int, std::vector<int>, std::greater<int>> minHeap;

⭐priority_queue使用

优先级队列默认使用vector作为其底层存储数据的容器，在vector上又使用了堆算法将vector中元素构造成堆的结构，因此priority_queue就是堆，所有需要用到堆的位置，都可以考虑使用priority_queue。

注意：默认情况下priority_queue是大堆。

函数声明	接口说明
priority_queue()/priority_queue(first, last）	构造一个空的优先级队列
empty()	检测优先级队列是否为空，是返回true，否则返回 false
top()	返回优先级队列中最大(最小元素)，即堆顶元素
push(x)	在优先级队列中插入元素x
pop()	删除优先级队列中最大(最小)元素，即堆顶元素

默认情况下，priority_queue是大堆。

#include <vector>
#include <queue>
#include <functional> // greater算法的头文件
void TestPriorityQueue()
{// 默认情况下，创建的是大堆，其底层按照小于号比较vector<int> v{3,2,7,6,0,4,1,9,8,5};priority_queue<int> q1;for (auto& e : v)q1.push(e);cout << q1.top() << endl;// 如果要创建小堆，将第三个模板参数换成greater比较方式priority_queue<int, vector<int>, greater<int>> q2(v.begin(), v.end());cout << q2.top() << endl;
}

如果在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){_cout << d._year << "-" << d._month << "-" << d._day;return _cout;}
private:int _year;int _month;int _day;
};
void TestPriorityQueue()
{// 大堆，需要用户在自定义类型中提供<的重载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>, greater<Date>> q2;q2.push(Date(2018, 10, 29));q2.push(Date(2018, 10, 28));q2.push(Date(2018, 10, 30));cout << q2.top() << endl;
}

⭐priority_queue实现

✨仿函数实现

仿函数就是它的对象可以想函数一样去使用，本质上是重载了()。

//仿函数//控制大堆
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;}
};

实际上的使用应该像下面图中第二行那样，但是重载之后就省略了。

✨堆的向上调整和向下调整

大体上的逻辑和堆的实现相同，但是使用仿函数控制比较的逻辑，使得优先队列不仅对基础数据类型，如int，有效，也对想Date这样的日期类型有效（需要重载了>和<）。

//向上调整
void adjust_up(size_t child)
{Compare com;int parent = (child - 1) / 2;while (child > 0){if (com(_con[parent], _con[child])){swap(_con[child], _con[parent]);child = parent;parent = (child - 1) / 2;}else{break;}}
}
//向下调整
void adjust_down(size_t parent)
{Compare com;size_t child = parent * 2 + 1;while (child < _con.size()){if (child + 1 < _con.size() && com(_con[child], _con[child + 1])){++child;}if (com(_con[parent], _con[child])){swap(_con[child], _con[parent]);parent = child;child = parent * 2 + 1;}else{break;}}
}

✨完整代码

//仿函数//控制大堆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;}};//less 控制为大堆template<class T,class Container = vector<T>,class Compare = less<T>>class priority_queue{public://向上调整void adjust_up(size_t child){Compare com;int parent = (child - 1) / 2;while (child > 0){//if (_con[child] > _con[parent])//if (_con[parent] < _con[child])if (com(_con[parent], _con[child])){swap(_con[child], _con[parent]);child = parent;parent = (child - 1) / 2;}else{break;}}}void push(const T& x){_con.push_back(x);adjust_up(_con.size()-1) ;}//向下调整void adjust_down(size_t parent){Compare com;size_t child = parent * 2 + 1;while (child < _con.size()){//if (child + 1 < _con.size() && _con[child + 1] > _con[child])//if (child + 1 < _con.size() && _con[child] < _con[child + 1])if (child + 1 < _con.size() && com(_con[child], _con[child + 1])){++child;}//if (_con[child] > _con[parent])//if (_con[parent] < _con[child])if (com(_con[parent], _con[child])){swap(_con[child], _con[parent]);parent = child;child = parent * 2 + 1;}else{break;}}}void pop(){swap(_con[0], _con[_con.size() - 1]);_con.pop_back();adjust_down(0);}bool empty(){return _con.empty();}size_t size(){return _con.size();}const T& top(){return _con[0];}private:Container _con;};

____________________

⭐感谢你的阅读，希望本文能够对你有所帮助。如果你喜欢我的内容，记得点赞关注收藏我的博客，我会继续分享更多的内容。⭐