为何std::pair在C++20中导致HasEq概念判断失效？

为啥std::pair<X,X>会被误判？ #

你碰到的问题核心是C++概念的检查逻辑和模板函数实例化时机的差异：

• std::pair的operator==是个模板函数，旧版C标准（甚至部分C20实现）里，它的定义没加requires约束，不会限制元素类型必须支持==。
• 你的HasEq概念检查时，只会看有没有能匹配t == t的重载候选，不会去实际实例化这个模板函数。因为模板本身存在，所以概念就误判std::pair<X,X>满足HasEq。
• 但真要写pair<X,X>{} == pair<X,X>{}时，编译器才会实例化std::pair的operator==，这时候才发现X没operator==，直接报错。

这算C++标准缺陷吗？ #

严格说这是C++20引入概念后，标准库遗留的兼容性问题：

• C++20之前，std::pair的比较运算符靠SFINAE禁用非法实例化，但这种SFINAE逻辑不会被requires表达式检测到——requires只看有没有候选函数，不管实例化会不会炸。
• C20之后，标准库不少组件都更新成用概念约束（比如std::equality_comparable）限制运算符，但std::pair的比较运算符早期C20实现没跟上，不过现在C++23标准已经给它加了明确约束，要求元素类型满足std::equality_comparable。

解决办法 #

1. 直接用标准库的std::equality_comparable #

别自己写HasEq了，用标准库自带的std::equality_comparable，它已经考虑了这类模板函数的实例化问题：

#include <concepts>
#include <utility>

struct X {};
static_assert(!std::equality_comparable<X>);
static_assert(!std::equality_comparable<std::pair<X,X>>); // 现在能正确通过

2. 修改自定义HasEq，确保表达式能实例化 #

要是非得自己实现，就得强制检查表达式的实例化有效性。比如用std::declval在未求值上下文里触发实例化尝试：

#include <utility>
#include <type_traits>

template <typename T>
concept HasEq = requires {
    { std::declval<T>() == std::declval<T>() } -> std::convertible_to<bool>;
};

struct X {};
static_assert(!HasEq<X>);
static_assert(!HasEq<std::pair<X,X>>); // 现在判断正确

这种方式会更严格，因为std::declval会让编译器尝试实例化模板函数（在未求值环境下），靠SFINAE筛掉那些实例化失败的情况。

3. 升级到支持C++23的编译器 #

如果编译器支持C++23，std::pair的operator==已经加了std::equality_comparable约束，这时候你原来的HasEq也能正确判断std::pair<X,X>不满足条件。

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