std::priority_queue平局场景下的提取顺序是否有跨实现保证？

结论：C++标准并未对比较函数判定为优先级相同的元素的提取顺序做出强制统一的保证

• std::priority_queue的核心契约仅保证每次pop()操作取出的是当前队列中优先级最高的元素（优先级规则由你传入的比较函数定义）。对于那些被比较函数判定为“优先级相等”的元素，标准没有规定它们的相对提取顺序。
• 以你提到的整数对场景为例：当队列中存在(1,2)和(1,3)，且比较函数仅对比第一个元素时，这两个元素会被视为优先级相同。此时不同的标准库实现完全可以采用不同的提取顺序——有的可能遵循插入顺序（先插入的(1,2)先被取出），有的可能因底层堆实现的差异先取出(1,3)，这些实现都符合C++标准的要求。
• 若你需要对平局元素的提取顺序有严格控制（比如按插入顺序处理），可以修改比较逻辑，引入额外的排序维度。比如给每个元素附加一个自增的插入序号，比较时先对比第一个元素，若相等则对比序号，以此保证优先级相同时，先插入的元素优先被提取。

内容的提问来源于stack exchange，提问作者Szabolcs