C++11中如何将lambda作为priority_queue的仿函数类型模板参数

lambda完全可以作为std::priority_queue的比较器模板参数，你两次编译失败分别踩了模板参数规则和lambda特性的坑。

两次写法的错误原因 #

• 第一次直接把lambda表达式写在模板参数位：模板的第三个参数要求传入可调用对象的类型，而[](int x, int y){return x>y;}是一个表达式（值），不是类型，不符合模板参数要求，直接编译失败。
• 第二次加decltype仍然失败：C20标准之前，无捕获lambda的类型没有默认构造函数。std::priority_queue在不显式传入比较器实例的情况下，会尝试默认构造一个比较器对象，C11/14/17标准下这个构造调用是非法的，因此编译报错。

正确实现方式 #

根据你使用的C++标准选择对应写法即可：

兼容C++11及以上所有版本的通用写法 #

提前定义lambda实例，用decltype获取它的类型作为模板参数，同时在构造优先级队列时把lambda实例传入构造函数，避免触发比较器的默认构造：

#include <queue>
#include <vector>

int main() {
    auto cmp = [](int x, int y) { return x > y; };
    // 第三个模板参数传lambda类型，构造函数传cmp实例
    std::priority_queue<int, std::vector<int>, decltype(cmp)> q(cmp);
    
    // 功能测试：此时是小顶堆，堆顶元素为1
    q.push(3);
    q.push(1);
    q.push(2);
    return 0;
}

如果不想每次构造都传比较器实例，也可以自定义仿函数，用法和std::less、std::greater完全一致，兼容性最好：

struct Cmp {
    bool operator()(int x, int y) const {
        return x > y;
    }
};

// 直接使用，不需要额外传构造参数
std::priority_queue<int, std::vector<int>, Cmp> q;

C++20及以上版本简化写法 #

C++20标准为无捕获lambda增加了默认构造函数和默认赋值运算符，这时候可以直接在模板参数中用decltype包裹lambda表达式，不需要额外传入比较器实例：

#include <queue>
#include <vector>

int main() {
    // C++20及以上可直接编译通过
    std::priority_queue<int, std::vector<int>, decltype([](int x, int y){return x>y;})> q;
    q.push(3);
    q.push(1);
    q.push(2);
    return 0;
}

注意：std::priority_queue的比较器返回true时，代表第一个参数的优先级低于第二个参数，会被放到堆的下层。如果要实现小顶堆，比较器逻辑写return x > y;是正确的，不要写反。

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