C++实例化pair<int,int>最小堆priority_queue时出现类型错误

错误原因分析 #

你遇到的static_assert错误核心原因是**priority_queue的第一个模板参数（元素类型）与底层容器的元素类型不匹配**，同时第二个模板参数的使用也存在错误：

1. priority_queue的模板定义要求第一个参数T必须和底层容器的value_type完全一致，你代码里第一个参数写了int，但实际要存储的是pair<int,int>，底层容器（你错误地写了pair<int,int>，正确应该是容器类型如vector<pair<int,int>>）的元素类型是pair<int,int>，类型不匹配触发断言失败。
2. priority_queue的第二个模板参数必须是容器类型（比如vector、deque），而非元素类型，你直接写了pair<int,int>，这属于参数类型错误。

正确实现方式 #

方式1：使用默认容器+greater实现最小堆 #

如果需要按pair<int,int>的默认比较规则（先比较第一个元素，第一个相等则比较第二个）实现最小堆，代码如下：

#include <queue>
#include <vector>
#include <utility>
using namespace std;

//...
priority_queue<pair<int, int>, vector<pair<int, int>>, greater<pair<int, int>>> pq;

• 第一个参数pair<int,int>：明确堆存储的元素类型
• 第二个参数vector<pair<int,int>>：指定底层容器为存储pair的vector
• 第三个参数greater<pair<int,int>>：使用标准库的比较器，实现最小堆（默认less是最大堆）

方式2：自定义比较规则的最小堆 #

如果需要按自定义规则排序（比如按pair的第二个元素升序），可以自定义比较器：

#include <queue>
#include <vector>
#include <utility>
using namespace std;

struct PairComparator {
    // 返回true时，a会被优先放在堆的下层（实现最小堆逻辑）
    bool operator()(const pair<int, int>& a, const pair<int, int>& b) {
        return a.second > b.second;
    }
};

//...
priority_queue<pair<int, int>, vector<pair<int, int>>, PairComparator> pq;

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