std::pair与std::expected比较时operator==隐式类型转换异常及显式/隐式调用行为差异咨询

嗨，我来帮你拆解这个C++23下遇到的奇怪问题～先把你的代码贴出来方便大家理解：

#include <expected>
#include <string>
#include <utility>

int main() {
    std::pair<std::expected<int, std::string>, int> x = std::make_pair(5, 4);
    std::pair<int, int> y = std::make_pair(5, 4);

    if (x == y) { // 编译器报错
    }

    if (operator==(x, y)) { // 正常工作
    }

    return 0;
}

为什么隐式调用x == y会报错？ #

这个问题的核心在于模板重载决议+约束检查的递归陷阱，结合GCC 15对std::expected的operator==实现细节导致的：

1. 当你写x == y时，编译器会启动重载决议，查找所有可能匹配的operator==候选函数：

   • 第一个候选是std::pair的模板operator==（用于两个pair的比较，分别对比first和second成员）；
   • 第二个候选是std::expected的一个宽松模板重载：template <class Up> requires !__is_expected<Up> constexpr bool operator==(const expected<T,E>&, const Up&)，这个重载的设计是让expected可以和任意非expected类型比较（只要expected的内部值能和该类型比较）。

2. 问题出在约束检查阶段：
   编译器需要验证std::expected的那个宽松重载是否可行（即使它本来应该因为参数类型不匹配被排除）。在检查约束时，编译器需要验证expected的内部值（这里是int）能否和Up类型比较——但由于某种递归推导错误，GCC错误地将Up推导成了整个x的类型（std::pair<std::expected<int, std::string>, int>），而不是y.first的int类型。

3. 递归约束陷阱：
   当检查int == std::pair<std::expected<int, std::string>, int>是否合法时，编译器又要查找能比较int和pair的operator==，这又会触发std::pair的operator==的模板推导，而pair的比较又要对比成员，绕回std::expected的比较，最终导致编译器报错“约束满足依赖于自身”，也就是你看到的错误信息。

为什么显式调用operator==(x, y)能正常工作？ #

显式调用时，编译器的重载决议逻辑会更直接：

• 编译器会优先匹配完全不需要隐式转换的候选函数，也就是std::pair的operator==（因为x和y都是pair类型，只是模板参数不同，属于模板参数推导的合法匹配）。
• 选中std::pair的operator==后，会分别对比两个pair的成员：
  • x.second（int）和y.second（int）的比较完全正常；
  • x.first（std::expected<int, std::string>）和y.first（int）的比较，会匹配到std::expected的另一个重载：专门用于expected和其值类型（int）比较的operator==，这个重载的约束清晰，不会触发递归陷阱，所以能正常工作。

解决方案 #

• 继续使用显式调用operator==(x, y)的方式；
• 显式对比pair的成员，避免重载决议的歧义：

  if (x.first == y.first && x.second == y.second) {
      // 正常工作
  }
  

• 等待GCC修复这个针对std::expected和std::pair交互的模板推导bug（毕竟GCC 15是较新的版本，这类库实现细节的bug后续版本可能会修复）。

内容来源于stack exchange