10
#include <compare>
#include <iostream>

int main()
{ 
   auto comp1 = 1.1 <=> 2.2;
   auto comp2 = -1 <=> 1;
   std::cout << typeid(comp1).name()<<"\n"<<typeid(comp2).name();
}

输出:

结构 std::partial_ordering
结构 std::strong_ordering

我知道如果操作数具有整数类型,则运算符返回类型为PRvaluestd::strong_ordering。我还知道操作数是否具有浮点类型,该运算符会产生一个PRvalue类型std::partial_ordering

但是为什么我应该使用三路比较运算符而不是二路运算符(==, !=, <, <=, >, >=)?这对我有好处吗?

4

4 回答 4

11

它可以 在一次操作中确定顺序。
其他运算符需要两次比较。

其他运营商总结:

  • 如果a == b是假的,你不知道a < b是否a > b
  • 如果a != b是真的,你不知道是a < b不是a > b
  • 如果a < b是假的,你不知道a == b是否a > b
  • 如果a > b是假的,你不知道a == b是否a < b
  • 如果a <= b是真的,你不知道是a == b不是a < b
  • 如果a >= b是真的,你不知道是a == b不是a > b

一个简洁的副作用是所有其他运算符都可以用 来实现<=>,并且编译器可以为您生成它们。

另一个副作用是,人们可能会对<=>在数学中使用等价箭头感到困惑,自从打字机得到这三个符号以来,它几乎一直存在。(当且仅当且不相等时,我个人对“真实”如何是非常恼火
。)a <=> bab

于 2021-04-27T14:04:44.403 回答
7

主要优点(至少对我而言)是该运算符可以默认用于该类,这将自动支持您的类的所有可能比较。IE

#include <compare>

struct foo {
    int a;
    float b;
    auto operator<=>(const foo& ) const = default;
};

// Now all operations used before are defined for you automatically!

auto f1(const foo& l, const foo& r) {
    return l < r;
}

auto f2(const foo& l, const foo& r) {
    return l > r;
}

auto f3(const foo& l, const foo& r) {
    return l == r;
}

auto f4(const foo& l, const foo& r) {
    return l >= r;
}

auto f5(const foo& l, const foo& r) {
    return l <= r;
}

auto f6(const foo& l, const foo& r) {
    return l != r;
}

以前,所有这些操作都必须在类中定义,这既麻烦又容易出错——因为每当向类中添加新成员时,都必须记住重新访问这些操作。

于 2021-04-27T14:01:38.353 回答
5

用你自己的判断。

飞船算子的重点不是专门用来比较物体的。它的要点是允许编译器从 spaceship 运算符综合其他比较运算符。

如果您不需要特别回答小于、等于或大于的问题,则无需直接调用它。使用对您有意义的运算符。

但是如果你需要使一个类型具有可比性,你只需要编写 2 个函数(宇宙飞船和相等)而不是 6 个。在编写这样一个函数时,你可以对有问题的各个类型使用宇宙飞船运算符(它们应该是可比的以这种方式)。这使得实现这些功能变得更加容易。

spaceship 运算符允许您做的另一件有用的事情是告诉比较将提供什么样的排序。部分的,强烈的,或者其他的。这在理论上可能很有用,但总体而言相当罕见。

于 2021-04-27T14:09:41.553 回答
3

spaceship operator由Herb Sutter 提出并被委员会采用,用 C++ 20 实现,详细报告可以在这里查阅,或者如果你更喜欢讲座,这里你可以看到这个人自己为案例制作的视频它。在报告的第 3/4 页中,您可以看到主要用例:

C++20 之前需要的比较运算符实现,在以下类中:

class Point
{
    int x;
    int y;

public:
    friend bool operator==(const Point &a, const Point &b) { return a.x == b.x && a.y == b.y; }
    friend bool operator<(const Point &a, const Point &b) { return a.x < b.x || (a.x == b.x && a.y < b.y); }
    friend bool operator!=(const Point &a, const Point &b) { return !(a == b); }
    friend bool operator<=(const Point &a, const Point &b) { return !(b < a); }
    friend bool operator>(const Point &a, const Point &b) { return b < a; }
    friend bool operator>=(const Point& a, const Point& b) { return !(a < b); }
    // ... non-comparisonfunctions ...
};

将被替换为:

class Point
{
    int x;
    int y;

public:
    auto operator<=>(const Point &) const = default; 
    // ... non-comparison functions ...
};

因此,为了回答您的问题,operator<=>作为类成员重载允许您对类对象使用所有比较运算符,而不必实现它们,默认它也是 defaults operator==,如果它没有另外声明,它在术语中自动实现operator!=,使所有比较操作都可用一个表达式。此功能是主要用例。

我想指出,如果不引入与 C++20默认比较功能,那么宇宙飞船运算符是不可能的。

默认三向比较

[...]
LetR为返回类型,每对 subobjectsab比较如下:
[...]
... 如果Rstd::strong_ordering,则结果为:

a == b ? R::equal : a < b ? R::less : R::greater

否则,如果Rstd::weak_ordering,则结果为:

a == b ? R::equivalent : a < b ? R::less : R::greater

否则 ( Ris std::partial_ordering),结果为:

a == b ? R::equal : a < b ? R::less : b < a ? R::greater : R::unordered

根据任何重载的规则operator<=>,默认<=>重载还允许将类型与<<=>和进行比较>=

如果operator<=>默认并且operator==根本没有声明,则operator==隐式默认。

它还允许operator ==仅默认,这将实现operator !=,尽管不像前者那样通用,但它也是一个有趣的可能性。

于 2021-04-27T14:59:10.830 回答