为何std::ranges::find编译失败而std::find可正常运行？

核心原因：两者的比较逻辑约束不同 #

普通的std::find只要求*it == value表达式合法即可——你的struct S定义了成员函数operator==(int)，所以S对象 == int是有效的，因此普通find可以正常工作。

而std::ranges::find的默认比较逻辑（使用std::ranges::equal_to）要求比较操作是双向合法的：既要支持S对象 == int，也要支持int == S对象，也就是满足std::equality_comparable_with<S, int>概念。你的代码只实现了单向的operator==，不满足这个约束，因此编译失败。

解决方法 #

有三种常见的修复方式：

1. 补充双向的相等比较运算符 #

为S添加非成员的operator==，同时支持int == S：

struct S {
    int  a;
    int  b;
    bool operator==(int other) const { return a == other; }
};

// 补充反向比较
bool operator==(int other, const S& s) {
    return s == other;
}

这样双向比较都合法，std::ranges::equal_to可以正常工作，直接调用std::ranges::find(iv, 2)即可编译。

2. 使用投影（Projection） #

既然你本来就是要比较S的a成员和目标值，直接通过投影指定取a成员，这样投影后的类型是int，和目标值类型一致，无需双向比较：

std::ranges::find(iv, 2, &S::a);

这是最符合Ranges设计理念的方式——通过投影明确提取需要比较的字段，代码更清晰。

3. 自定义比较谓词 #

如果你不想修改S的比较逻辑，可以传入自定义的谓词，只处理单向比较：

std::ranges::find(iv, 2, [](const S& s, int val) {
    return s == val;
});

这个谓词直接调用你已有的S::operator==(int)，绕过了std::ranges::equal_to的双向约束。

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