构建一个对的priority_queue

Question

我经常遇到需要一个存储 std::pair、std::tuple 或 的优先级队列的问题>std::array 其中元素按该对的第一个条目排序。

例如，条目 [4, 2]、[2, 4]、[1, 1] 和 [3 , 3] 将排序为：

[1, 1] [2, 4] < [3, 3] < [4, 2]。

我最终弄清楚如何得到我想要的东西，但总是很混乱。我将在下面提供一些例子。

我可能会尝试类似的操作：

#include <queue>

struct SomeKindOfPair {
    int ordered_element;
    int unordered_element;
};

int main() {
    
    std::priority_queue<SomeKindOfPair> my_queue([](SomeKindOfPair a, SomeKindOfPair b) {return a.ordered_element > b.ordered_element; });

    return 0;
}

我的意图是使用 here 的构造函数 (2) 并允许编译器推断出 Comparer 类型。这将导致编译器抛出错误，我不确定为什么。为了完整起见，错误是

cannot convert argument 1 from 'main::<lambda_1>' to 'const _Pr &'
with _Pr=std::less<SomeKindOfPair>

这就是我已经开始工作的内容。正如您所看到的，这很混乱：

#include <queue>

struct SomeKindOfPair {
    int ordered_element;
    int unordered_element;
};

class MyComparer {
public:
    bool operator()(SomeKindOfPair a, SomeKindOfPair b) {
        return a.ordered_element > b.ordered_element;
    }

};

int main() {

    MyComparer comparer{};

    std::priority_queue<SomeKindOfPair, std::vector<SomeKindOfPair>, MyComparer> my_queue{ comparer };

    return 0;
}

有更好的方法吗？具体来说：

1. 我可以在不定义 MyComparer 类的情况下执行此操作吗？
2. 我可以在不必编写 priority_queue、std::priority_queue、MyComparer> 的完整模板专业化的情况下执行此操作吗？
3. 我可以做到这一点，而不必在任何地方命名比较运算符（将其定义为构造 priority_queue 的 lambda）吗？

而且，不太重要的是，

4. 因为大多数在线法官仍然使用旧版本的 C++ 标准，我可以通过与旧 C++ 标准（特别是 C++14）兼容的方式来执行此操作吗？
5. 如果这样做会在适用的情况下禁用概念，我可以在不使用 decltype 的情况下执行此操作吗？

Answer 1

您可以使用第一种形式的扣除指南来进行 std::priority_queue：

template <class Comp, class Container>
priority_queue(Comp, Container)
 -> priority_queue<typename Container::value_type, Container, Comp>;

然后

std::vector<SomeKindOfPair> v;
std::priority_queue my_queue(
  [](const auto& a, const auto& b) {return a.ordered_element > b.ordered_element; }, v);

演示