C++ 自定义排序与优先队列运算符重载
2026/6/9 20:50:59 网站建设 项目流程

写这部分代码引起的一些思考并总结

一、 优先队列的底层逻辑 (Worldview)

1. 核心矛盾:为什么用<却是“大根堆”?

std::priority_queue的行为逻辑与其命名看似矛盾,实则遵循了 STL 的一致性设计。

  • 默认属性priority_queue=Max Heap(大根堆)。

  • 默认判据std::less(即调用operator<)。

  • 判定流程

    1. 队列内部比较ab

    2. 调用a < b

    3. 若返回True,判定ba(在默认的大根堆语境下,数值大的被视为“强”)。

    4. 结果:强者 (b) 上浮至堆顶。

2. 代码

// 代码逻辑 friend bool operator<(node a,node b){ return a.z<b.z; }

解析:遵循默认逻辑。z越大,<比较时在右侧越显“强”,因此z最大的在堆顶。


二、 优先队列的三种实战写法 (Friend 友元版)

统一使用Friend (友元)写法,该写法无this指针干扰,逻辑对称,不易出错。

方案 1:大根堆 (默认流)

  • 场景:贪心求最大值、常规逻辑。

  • 效果:大的先出 (9 -> 8 -> 1)。

struct node{ int z; // 逻辑:a.z < b.z 为真 -> b 强 -> b 在顶 friend bool operator<(node a,node b){ return a.z<b.z; } }; // 声明:使用默认的大根堆机制 priority_queue<node> q;

方案 2:小根堆 (竞赛黑科技流)

  • 场景:Dijkstra 最短路、Prim、Huffman 树。

  • 原理逻辑欺骗。通过反转布尔值,让队列误以为“数值小”的才是“强者”。

  • 效果:小的先出 (1 -> 2 -> 9)。

struct node{ int z; // 逻辑反转:若 a.z > b.z,返回 true (告诉队列 b 比 a "强") // 结果:z 值小的会被判定为"强",放在堆顶 friend bool operator<(node a,node b){ return a.z>b.z; // <--- 重点:小于号里写大于逻辑 } }; // 声明:无需修改队列定义,直接用 priority_queue<node> q;

方案 3:小根堆 (工程正统流 —— 配合greater)

  • 场景:工程代码、团队协作、需要显式语义。

  • 原理替换裁判。将比较器从默认的less替换为greater

  • 要求:结构体必须重载operator>

struct node{ int z; // 逻辑:诚实重载大于号,不欺骗 friend bool operator>(node a,node b){ return a.z>b.z; } }; // 声明:显式指定 greater,并填补 vector 占位符 priority_queue<node,vector<node>,greater<node>> q;

三、greaterstd::sort的深度用法

std::greater是一个模板结构体(仿函数),其本质是调用类型的operator>

1.std::sort的默认行为

默认使用<,执行升序排列。

vector<int> v={1,5,3}; sort(v.begin(),v.end()); // 结果:1, 3, 5

2. 使用greater改为降序

传入greater实例,执行降序排列。

// 语法:greater<int>() 是构造一个临时对象 sort(v.begin(),v.end(),greater<int>()); // 结果:5, 3, 1

3. 结构体数组排序 (配合重载>)

若对自定义结构体使用greater排序,结构体内部必须重载>

struct node{ int z; // sort 降序需要 > 运算符支持 friend bool operator>(node a,node b){ return a.z>b.z; } }; vector<node> arr={{1},{5},{3}}; // 自动调用 operator>,实现 z 从大到小 sort(arr.begin(),arr.end(),greater<node>()); // 结果:5, 3, 1

对比记忆表:

容器/算法使用 greater 的效果记忆口诀
std::sort降序(Desc)大的排前面
std::priority_queue小根堆(Min Heap)小的(被视为强)在堆顶

四、 多关键字排序与自定义仿函数 (进阶)

处理复杂逻辑(如:分数优先,ID 兜底)的两种核心范式。

场景设定

struct Student{int score,id;};

目标:分数(score)高的优先;分数相同,学号(id)小的优先。

写法 A:结构体内部重载 (推荐比赛)

在一个operator<中处理所有层级逻辑。

struct Student{ int score,id; friend bool operator<(Student a,Student b){ // 第一关键字:分数。分数高的在顶(大根堆逻辑) // 若分数不相等,直接按分数定胜负 if(a.score!=b.score) return a.score<b.score; // 第二关键字:学号(仅当分数相等时执行) // 想要 id 小的在顶,需反转逻辑(小根堆逻辑) return a.id>b.id; } }; priority_queue<Student> q;

写法 B:外部仿函数 (工程推荐/解耦)

不修改结构体源码,通过定义外部“裁判类”控制排序。此方法可实现一套数据结构多种排序方式。

// 纯净数据结构 struct Student{int score,id;}; // 裁判 A:按分数优先 struct CmpScore{ bool operator()(Student a,Student b){ if(a.score!=b.score) return a.score<b.score; return a.id>b.id; } }; // 裁判 B:纯按 ID 小的优先 struct CmpID{ bool operator()(Student a,Student b){ return a.id>b.id; // 小根堆逻辑 } }; // 声明时传入具体裁判类型 priority_queue<Student,vector<Student>,CmpScore> q1; priority_queue<Student,vector<Student>,CmpID> q2;

五、 终极速查表 (多条件逻辑映射)

假设Key1为主键,Key2为次键。基于默认priority_queue(大根堆)。

需求模式逻辑方向代码写法 (friend operator <)
全大优先大顶 + 大顶if(a.k1!=b.k1)return a.k1<b.k1; return a.k2<b.k2;
全小优先小顶 + 小顶if(a.k1!=b.k1)return a.k1>b.k1; return a.k2>b.k2;
混合模式大顶 + 小顶if(a.k1!=b.k1)return a.k1<b.k1; return a.k2>b.k2;

心法

  • 想让的在顶:用<(顺应默认)。

  • 想让的在顶:用>(逻辑反转)。


六、 避坑指南

  1. 模板与对象的区别 (括号问题)

    • priority_queue需要的是类型 (Type)priority_queue<..., Cmp>(无括号)。

    • sort需要的是对象实例 (Instance)sort(..., Cmp())(有括号)。

  2. greater的依赖性

    • 使用greater<T>时,T必须重载operator>

    • 报错no match for operator>通常是因为只写了<却用了greater

  3. 引用与 Const

    • Friend (友元函数)写法:friend bool operator<(node a,node b)(值传递,简单)。

    • Member (成员函数)写法:bool operator<(const node& a) const(必须加 const,否则 STL 报错)。

    • 建议:始终坚持使用 Friend 写法,语法负担最小。

需要专业的网站建设服务?

联系我们获取免费的网站建设咨询和方案报价,让我们帮助您实现业务目标

立即咨询