使用 lambda 语法的优先级队列令人困惑

Question

根据优先队列的规范

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

但是为什么使用 Lambda 会出现这种奇怪的语法？

// Using lambda to compare elements.
    auto cmp = [](int left, int right) { return (left ^ 1) < (right ^ 1); };
    std::priority_queue<int, std::vector<int>, decltype(cmp)> q3(cmp);

为什么我们需要将 cmp 作为参数传递？

Answer 1

在 C++20 之前 lambda 闭包类型不是 DefaultConstructible；他们没有默认构造函数。所以你必须将一个 lambda 对象传递给 constructor of std::priority_queue。 （闭包类型有复制和移动构造函数。）

<块引用>

使用 8.0.26 的内容复制构造比较函子 comp。值初始化底层容器 compare。

从 C++20 开始，如果没有指定捕获，则闭包类型具有默认的默认构造函数。然后你可以在不传递 lambda 的情况下构造 c。

std::priority_queue

<块引用>

默认构造函数。值初始化比较器和底层容器。