C++中带[&]捕获的Lambda无法在priority_queue中使用的问题

这是C++中使用STL容器时很容易踩的一个坑，我来给你理清楚原因和解决办法：

为什么带[&]捕获的Lambda会编译失败？ #

问题出在priority_queue的构造逻辑上：
当你用decltype(cmp)作为第三个模板参数时，你指定了比较器的类型是这个带捕获Lambda的闭包类型。但带捕获的Lambda的闭包类型是没有默认构造函数的——因为它需要持有捕获的外部变量（这里是heightMap），编译器不会为它生成默认构造器。

而如果你只写priority_queue<..., decltype(cmp)> pq;，没有传入任何参数，priority_queue会尝试默认构造一个比较器对象，这就触发了编译错误。

那为什么无捕获的Lambda可以正常运行？
在C20及以后，无捕获的Lambda闭包类型是可以默认构造的（因为它不需要持有任何外部状态），所以priority_queue能顺利默认构造比较器。而在更早的C标准中，其实无捕获Lambda也不能默认构造，但它可以隐式转换成函数指针，如果你没显式指定decltype(cmp)而是让编译器推导成函数指针类型，也能正常运行。

最直接的解决办法 #

构造priority_queue的时候显式传入你的Lambda实例，这样就不会触发默认构造逻辑了：

// 假设heightMap是已定义的二维容器，比如vector<vector<int>>
auto cmp = [&](const pair<int, int>& a, const pair<int, int>& b) {
    // 这里建议用const引用传参，避免不必要的拷贝
    return heightMap[a.first][a.second] < heightMap[b.first][b.second];
};
// 构造pq时传入cmp实例
priority_queue<pair<int, int>, vector<pair<int, int>>, decltype(cmp)> pq(cmp);

其他可选方案 #

如果你觉得这种写法有点繁琐，也可以用std::function来包装比较器，代价是一点点微小的性能损失（但大多数场景下可以忽略）：

#include <functional>

// ...

priority_queue<
    pair<int, int>,
    vector<pair<int, int>>,
    function<bool(const pair<int, int>&, const pair<int, int>&)>
> pq([&](const auto& a, const auto& b) {
    return heightMap[a.first][a.second] < heightMap[b.first][b.second];
});

这种写法不需要提前定义cmp变量，直接把Lambda传入构造函数即可，代码更紧凑。

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