含hashfunction与unordered_set的C++代码无法编译的原因及解决方法

编译失败原因 #

std::unordered_set的实例化需要两个核心组件：

1. 哈希函数：用于计算元素的哈希值，你已经自定义了hashfunction来实现这一点；
2. 相等比较器：用于判断两个元素是否完全相同。

C++标准库没有为std::pair<std::string, int>提供默认的相等比较特化（std::equal_to不支持直接比较pair），因此编译器无法生成unordered_set的实例化代码，导致编译失败。

解决办法 #

需要为pair<string, int>自定义相等比较器，并在unordered_set的模板参数中指定该比较器。同时可以优化哈希函数的参数传递方式，提升性能。

修正后的完整代码 #

#include <iostream>
#include <string>
#include <unordered_set>
#include <utility>
using namespace std;

struct hashfunction {
    // 使用const引用避免拷贝，成员函数加const保证常量安全
    size_t operator()(const pair<string, int>& x) const {
        size_t ret = 5381;
        // 范围for循环简化字符串遍历
        for (char c : x.first) {
            ret = (ret << 5) + ret + c; // DJB哈希算法，等价于ret * 33 + c
        }
        ret += x.second;
        return ret;
    }
};

// 自定义相等比较器，判断两个pair是否完全相同
struct equalfunction {
    bool operator()(const pair<string, int>& lhs, const pair<string, int>& rhs) const {
        return lhs.first == rhs.first && lhs.second == rhs.second;
    }
};

// 同时指定哈希函数和相等比较器
unordered_set<pair<string, int>, hashfunction, equalfunction> myset;

int main(void) {
    string a = "123";
    int b = 4;
    myset.insert({a, b});

    // 验证插入结果
    for (const auto& elem : myset) {
        cout << elem.first << ", " << elem.second << endl;
    }
    return 0;
}

关键修改点说明 #

• 哈希函数的参数改为const pair<string, int>&，避免不必要的对象拷贝，同时成员函数添加const修饰，符合C++常量语义规范；
• 添加equalfunction结构体，实现对两个pair的相等判断逻辑；
• 在unordered_set的模板参数中补充第三个参数（相等比较器类型），完成unordered_set的完整实例化；
• 用范围for循环替代传统索引循环，简化代码；
• 显式包含<utility>头文件，确保std::pair的定义被正确引入，提升代码跨编译器兼容性。

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