如果运算符已经足够，为什么我必须提供运算符？

Why must I provide #39;operator ==#39; when #39;operator lt;=gt;#39; is enough?(如果运算符已经足够，为什么我必须提供运算符？)

问题描述

#include <compare>

struct A
{
    int n;

    auto operator<=>(A const& other) const
    {
        if (n < other.n)
        {
            return std::strong_ordering::less;
        }
        else if (n > other.n)
        {
            return std::strong_ordering::greater;
        }
        else
        {
            return std::strong_ordering::equal;
        }
    }

    // compile error if the following code is commented out.
    // bool operator==(A const& other) const
    // { return n == other.n; }
};

int main()
{   
    A{} == A{};
}

参见online demo

为什么我必须提供operator ==如果operator <=>就足够了？

推荐答案

如果operator<=>就足够了，为什么必须提供operator==？

嗯，主要是因为不够：-)

当涉及到C++重写语句时，相等和排序是不同的桶：

主运算符可以反转，次运算符可以根据其对应的主运算符重写：

• 反转表示a == b可以是：
  • a.operator==(b)(如果有)；或
  • b.operator==(a)如果不是，
• 重写意味着a != b可以：
  • ! a.operator==(b)如果可用

但默认情况下不跨相等/排序边界进行重写的要求意味着<=>不是==的重写候选者。

相等性和顺序如此分离的原因this P1185 paper，可在讨论此问题的众多标准会议之一中找到。

#include <iostream>
#include <compare>

class xyzzy {
public:
    xyzzy(int data) : n(data) { }

    auto operator<=>(xyzzy const &other) const {
        // Could probably just use: 'return n <=> other.n;'
        // but this is from the OPs actual code, so I didn't
        // want to change it too much (formatting only).

        if (n < other.n) return std::strong_ordering::less;
        if (n > other.n) return std::strong_ordering::greater;
        return std::strong_ordering::equal;
    }

    //auto operator==(xyzzy const &other) const {
    //    return n == other.n;
    /