为何将std::pair作为std::unordered_map键时需重载非成员==运算符

核心原因：成员运算符的const限定缺失 #

你的Mem类中定义的成员operator==没有被声明为const成员函数：

bool operator==(const Mem& other) 
{ 
    return inv == other.inv;
}

C++中，const修饰的对象只能调用const成员函数。当stl_pair.h中的代码尝试比较const Mem类型的对象时，这个非const的成员运算符无法被匹配调用，编译器只能转而寻找其他可行的比较路径。

隐式转换触发歧义 #

你的Mem类重载了到uint8_t和bool的隐式转换运算符，且这两个转换函数都是const成员函数。当编译器找不到直接匹配const Mem == const Mem的运算符时，会尝试将两个操作数转换为算术类型，再使用内置的==运算符比较：

• 将Mem转换为uint8_t后比较
• 将Mem转换为bool后比较
  这两条转换路径都是合法且优先级相同的，因此编译器抛出了重载歧义错误。

非成员运算符的优势 #

非成员版本的operator==参数均为const引用：

inline bool operator==(const Mem& lhs, const Mem& rhs) 
{ 
    return lhs.inv == rhs.inv;
}

它可以直接匹配const Mem对象的比较需求，不需要依赖任何隐式转换，编译器会优先选择这个重载，自然不会触发歧义。

更优的解决方案：修正成员运算符的const限定 #

不需要强制使用非成员运算符，只需给成员operator==加上const限定，让它能被const对象调用即可：

bool operator==(const Mem& other) const  // 新增const修饰符
{ 
    return inv == other.inv;
}

这样编译器会直接匹配这个成员运算符，不会再去尝试隐式转换，歧义问题彻底解决。

额外提示：解决"const Mem转换为float存在歧义"的问题 #

你提到的另一个转换歧义问题，同样是因为uint8_t和bool都可以隐式转换为float，编译器无法确定选择哪条路径。解决方法是把转换运算符声明为explicit，禁止不必要的隐式转换：

explicit operator uint8_t() const
{
    return (bit << 1 | inv);
}

explicit operator bool() const
{
    return inv;
}

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