使用非默认 <=> 生成 == 运算符

Question

与this question 略有不同。我想使用自定义<=> 运算符定义自定义类型，并使用该自定义<=> 运算符生成==。尝试以下方法

#include <compare>
#include <iostream>
#include <cassert>

struct widget {
  int member;
  int non_comparison_data;
  friend std::strong_ordering operator<=>(const widget& lhs,
                                          const widget& rhs) {
    std::cout << "doing a three way comparison" << std::endl;
    return lhs.member <=> rhs.member;
  }
//   friend bool operator==(const widget& lhs, const widget& rhs) {
//     return 0 == (lhs <=> rhs);
//   }
  friend bool operator==(const widget& lhs, const widget& rhs) = default;
};

int main() {
  widget a{.member = 1, .non_comparison_data = 23};
  widget b{.member = 1, .non_comparison_data = 42};
  assert(a==b);
  return 0;
}

我观察到默认的== 运算符不使用自定义<=> 运算符，而是执行在没有任何自定义比较的情况下会执行的操作并比较所有数据成员。我可以自己定义一个使用<=> 的运算符==，如下所示，但我想知道是否有更好的方法从<=> 中获取==。

friend bool operator==(const widget& lhs, const widget& rhs) {{
  return 0 == (lhs <=> rhs);
}

PS：compiler-explorer link

PS：我知道自定义<=> 不会生成默认==，因为== 可能以比使用<=> 更优化的方式实现，并且人们不希望低效的默认设置是生成。

Answer 1

我想知道是否有更好的方法让 == 脱离 。

不，没有。您所做的 (return 0 == (lhs<=>rhs);) 是最佳方式。你还在寻找什么？

Answer 2

根据<=> 定义== 的唯一方法是手动进行。这就是你已经在做的事情。

您可以通过编写成员函数做得更好（非成员 friends 的唯一好处是如果您想按价值获取。但如果您不这样做，成员函数会更容易 -只需编写更少的代码）。然后实现== 向前而不是向后......请不要使用尤达条件。

struct widget {
  int member;
  int non_comparison_data;

  std::strong_ordering operator<=>(const widget& rhs) const {
    return member <=> rhs.member;
  }

  bool operator==(const widget& rhs) const {
      return (*this <=> rhs) == 0;
  }
};