为什么 operator!= 是从 operator== 合成的，而不是反过来呢？

Question

在 c++20 中，如果我为一个类型提供 operator==，那么编译器会合成一个 operator!=，但反之则不然。

这里有一些code：

struct A {};
bool operator==(A const&, A const&); 

struct B {};
bool operator!=(B const&, B const&); 

int main()
{
    if (A{} != A{}) {}  // error in c++17 
                        // ok in c++20

    if (B{} == B{}) {}  // error in c++17 
                        // error in c++20, why?
}

这似乎不一致，因为!= 和== 需要相反，如果一个可以从另一个合成，那么逆也应该起作用。这是什么原因？

Answer 1

因为这无益地增加了语言的复杂性。

主要操作是相等。 C++20 让您只需定义 operator== 即可获得完整的相等运算（== 和 !=）。同样，主要的排序操作是 <=>，而 C++20 允许您定义它并获得完整的排序操作符（<、<=、> 和 >=）。

没有理由在此处添加任意额外的灵活性。当你可以只实现operator==时，你为什么只实现operator!=？

---

该语言目前在== 和<=> 之间具有很好的对称性，从理解规则和构建功能的角度来看，我认为这是有价值和重要的。虽然您可以将x == y 定义为not (x != y) - 这对我来说似乎天生就很奇怪，因为“不等于”的名称是......而不是“等于”，但你可以这样做。但是你肯定不想用x < y 或x <= y 来定义x <=> y。那将是一个昂贵的转换，甚至无法正确确定比较类别。所以这样的方向会破坏我们所拥有的顺序的对称性，使语言规则更难理解。