目录
priority_queue是优先级队列,是一个容器适配器,不满足先进先出的特点,而是优先级高的先出,默认的适配器是vector,底层是一个堆,默认是大堆
priority_queue是可以进行迭代器区间初始化的
- void test_priority_queue1()
- {
- vector<int> v = { 3,2,7,6,0,4,1,9,8,5 };
- priority_queue<int> q1;
- for (auto& e : v)
- q1.push(e);
- while (!q1.empty())
- {
- cout << q1.top() << " ";
- q1.pop();
- }
- cout << endl;
- }
- void test_priority_queue2()
- {
- vector<int> v = { 3,2,7,6,0,4,1,9,8,5 };
- priority_queue<int> q1(v.begin(), v.end());
- while (!q1.empty())
- {
- cout << q1.top() << " ";
- q1.pop();
- }
- cout << endl;
- }
可以用数组直接初始化
- void test_priority_queue3()
- {
- int v[10] = {3,2,7,6,0,4,1,9,8,5};
- priority_queue<int> q1(v, v + 10);
- while (!q1.empty())
- {
- cout << q1.top() << " ";
- q1.pop();
- }
- cout << endl;
- }
上面3段代码的结果都是相同的,都是9 8 7 6 5 4 3 2 1 0,因为默认是建大堆
- namespace cxf
- {
- template<class T,class Container = std::vector<T>>
- class priority_queue
- {
- public:// 建大堆
- void adjust_up(int child)
- {
- int parent = (child - 1) / 2;
- while (child > 0)
- {
- if (_con[parent] < _con[child])
- {
- std::swap(_con[parent], _con[child]);
- child = parent;
- parent = (child - 1) / 2;
- }
- else break;
- }
- }
- void adjust_down(int parent)
- {
- int child = parent * 2 + 1;
- while (child < _con.size())
- {
- if (child + 1 < _con.size() && _con[child] < _con[child + 1])
- {
- ++child;
- }
- if (_con[parent] < _con[child])
- {
- std::swap(_con[parent], _con[child]);
- parent = child;
- child = parent * 2 + 1;
- }
- else break;
- }
- }
- // 强制编译器生成默认的构造函数,因为下面有迭代器区间初始化,这样没办法用默认构造函数
- priority_queue() = default;
- // 迭代器区间初始化
- template<class InputIterator>
- 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--)
- {
- adjust_down(i);
- }
- }
- void push(const T& x)
- {
- _con.push_back(x);
- adjust_up(_con.size() - 1);
- }
- void pop()
- {
- std::swap(_con[0], _con[_con.size() - 1]);
- _con.pop_back();
- adjust_down(0);
- }
- const T& top()
- {
- return _con[0];
- }
- size_t size()
- {
- return _con.size();
- }
- bool empty()
- {
- return _con.empty();
- }
- private:
- Container _con;
- };
- }
上面是建大堆的优先级队列,当要建小堆时,需要在adjust_up和adjust_up中将<改成>,这样是十分麻烦的,为例能够在不修改代码的情况下完成建小堆,所以引入了仿函数的概念
仿函数就是重载了operatror()的类,类的对象可以像调用函数一样使用
operator()的特点是参数个数和返回值个数可以根据需求来定,很灵活,所以有很多用法
若用class来定义仿函数的类要加public,所以通常会用struct来定义仿函数
根据仿函数就可以来实现一个既可建大堆,又可建小堆的优先级队列
- namespace cxf
- {
- template<class T>
- class myless // 小于是大堆
- {
- public:
- bool operator()(const T& x, const T& y)
- {
- return x < y;
- }
- };
- template<class T>
- class mygreater // 大于是小堆
- {
- public:
- bool operator()(const T& x, const T& y)
- {
- return x > y;
- }
- };
- template<class T, class Container = std::vector<T>, class Comapre = myless<T>>
- class priority_queue
- {
- public:
- void adjust_up(int child)
- {
- Comapre comfunc;
- int parent = (child - 1) / 2;
- while (child > 0)
- {
- //if (_con[parent] < _con[child])
- if(comfunc(_con[parent],_con[child]))
- {
- std::swap(_con[parent], _con[child]);
- child = parent;
- parent = (child - 1) / 2;
- }
- else break;
- }
- }
- void adjust_down(int parent)
- {
- Comapre comfunc;
- int child = parent * 2 + 1;
- while (child < _con.size())
- {
- /*if (child + 1 < _con.size() && _con[child] < _con[child + 1])*/
- if (child + 1 < _con.size() && comfunc(_con[child], _con[child + 1]))
- {
- ++child;
- }
- //if (_con[parent] < _con[child])
- if(comfunc(_con[parent],_con[child]))
- {
- std::swap(_con[parent], _con[child]);
- parent = child;
- child = parent * 2 + 1;
- }
- else break;
- }
- }
- // 强制编译器生成默认的构造函数,因为下面有迭代器区间初始化,这样没办法用默认构造函数
- priority_queue() = default;
- // 迭代器区间初始化
- template<class InputIterator>
- 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--)
- {
- adjust_down(i);
- }
- }
- void push(const T& x)
- {
- _con.push_back(x);
- adjust_up(_con.size() - 1);
- }
- void pop()
- {
- std::swap(_con[0], _con[_con.size() - 1]);
- _con.pop_back();
- adjust_down(0);
- }
- const T& top()
- {
- return _con[0];
- }
- size_t size()
- {
- return _con.size();
- }
- bool empty()
- {
- return _con.empty();
- }
- private:
- Container _con;
- };
- }
priority_queue的第三个模板参数就是仿函数
在STL库中的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;
- }
- int main()
- {
- priority_queue<Date> q1;
- q1.push(Date(2022, 9, 9));
- q1.push(Date(2022, 9, 10));
- q1.push(Date(2022, 9, 11));
- while (!q1.empty())
- {
- cout << q1.top() << endl;
- q1.pop();
- }
- return 0;
- }
结果是正确的,因为只要这个自定义类型是能够比较大小的,都能使用优先级队列
但是若比较的不是这个自定义类型,而是这个自定义类型的指针,则会出现随机结果
- int main()
- {
- priority_queue<Date*> q1;
- q1.push(new Date(2022, 9, 9));
- q1.push(new Date(2022, 9, 10));
- q1.push(new Date(2022, 9, 11));
- while (!q1.empty())
- {
- cout << *q1.top() << endl;
- q1.pop();
- }
- return 0;
- }
此时是错误的,并且每次运行程序结果也不一定都相同。因为less比较的是Date*,是根据地址比较的,而new出来的地址是随机的,所以几次的运行结果也会不同。而且这个比较从逻辑上就是错误的,因为不应该使用对象的地址去比较,应该使用对象的值去比较
所以可以自己写一个仿函数,达到想要的目的
- struct PDateLess
- {
- bool operator()(Date* p1, Date* p2)
- {
- return *p1 < *p2;
- }
- };
- int main()
- {
- priority_queue<Date*, vector<Date*>, PDateLess> q1;
- q1.push(new Date(2022, 9, 9));
- q1.push(new Date(2022, 9, 10));
- q1.push(new Date(2022, 9, 11));
- while (!q1.empty())
- {
- cout << *q1.top() << endl;
- q1.pop();
- }
- return 0;
- }
此时就正确的
所以仿函数不仅可以支持比较大小,还可以支持修改比较逻辑,如果默认的比较逻辑不是想要的或者不支持比较大小,都可以通过仿函数来控制。