什么是C ++中的<=>运算符？

当我试图了解C ++运算符，我偶然发现了一个奇怪的比较操作上cppreference.com，^*在一个看起来像这样的表：

我想：“好吧，如果它们是C ++中的常用运算符，我最好学习它们。” 但是我为阐明这个奥秘所做的所有尝试都没有成功。即使在这里，在Stack Overflow上我也没有运气。

<=>和C ++之间是否有连接？

如果有的话，这个运算符的作用是什么？

_{*同时，cppreference.com更新了该页面，现在包含有关<=>运算符的信息。}

这称为三向比较运算符。

根据P0515的纸质提案：

有一个新的三向比较运算符<=>。表达式a <=> b返回其比较的对象<0如果a < b，比较>0如果a > b，并且比较==0，如果a和b是相等的/当量。

要为您的类型编写所有比较，只需编写operator<=>可返回适当类别类型的代码：

• 返回的_ordering如果你的类型自然地支持<，我们将有效地产生<，>，<=，>=，==，和!=; 否则返回_equality，我们将高效地生成 ==和！=。

• 如果对于您的类型而言a == b暗示返回强f(a) == f(b)（可替换性，其中f仅读取使用非私有const接口可访问的比较显着状态），否则返回弱。

该cppreference说：

三向比较运算符表达式具有以下形式

lhs <=> rhs   (1)  

该表达式返回一个对象

• 比较<0是否lhs < rhs
• 比较>0是否lhs > rhs
• 和比较==0，如果lhs和rhs是相等的/当量。

2017年11月11日，ISO C ++委员会采纳了 Herb Sutter提出的<=>“太空飞船”三向比较运算符的建议，将其作为C ++ 20中新增的功能之一。在名为“ 一致比较”的论文中，萨特，莫拉尔和布朗展示了新设计的概念。有关提案的概述，请参见以下文章的摘录：

表达一个<=> b返回，其比较的对象<0如果A <B ，比较> 0如果A> B，并且比较== 0如果a和b相等/当量。

常见情况：要使用成员语义为类型X和Y编写所有比较，只需编写：

auto X::operator<=>(const Y&) =default;

晚期病例：要写出你的类型所有比较X型Ÿ，只写操作<=>，需要一个Ÿ，可以使用 =默认获得按成员语义如果需要的话，并返回相应的类别类型：

• 如果您的类型自然支持<，则返回_ordering，我们将有效地生成对称<，>，<=，> =，==和 ！=；否则返回_equality，我们将高效地生成对称==和！=。
• 返回strong_如果你的类型一个== b意味着F（一）== F（B） （可替代性，其中˚F只读取比较隐状态是访问使用公共常量成员），否则返回 weak_。

比较类别

将五个比较类别定义为std::类型，每个类别具有以下预定义值：

+--------------------------------------------------------------------+
|                  |          Numeric  values          | Non-numeric |
|     Category     +-----------------------------------+             |
|                  | -1   | 0          | +1            |   values    |
+------------------+------+------------+---------------+-------------+
| strong_ordering  | less | equal      | greater       |             |
| weak_ordering    | less | equivalent | greater       |             |
| partial_ordering | less | equivalent | greater       | unordered   |
| strong_equality  |      | equal      | nonequal      |             |
| weak_equality    |      | equivalent | nonequivalent |             |
+------------------+------+------------+---------------+-------------+

这些类型之间的隐式转换定义如下：

• strong_ordering与值{ less，equal，greater}隐式转换为：
  • weak_ordering用值{ less，equivalent，greater}
  • partial_ordering用值{ less，equivalent，greater}
  • strong_equality用值{ unequal，equal，unequal}
  • weak_equality用值{ nonequivalent，equivalent，nonequivalent}
• weak_ordering与值{ less，equivalent，greater}隐式转换为：
  • partial_ordering用值{ less，equivalent，greater}
  • weak_equality用值{ nonequivalent，equivalent，nonequivalent}
• partial_ordering与值{ less，equivalent，greater，unordered}隐式转换为：
  • weak_equality用值{ nonequivalent，equivalent，nonequivalent，nonequivalent}
• strong_equality值{ equal，unequal}隐式转换为：
  • weak_equality值{ equivalent，nonequivalent}

三向比较

该<=>令牌介绍。在旧的源代码中，字符序列<=>标记为<= >。例如，X<&Y::operator<=>需要添加一个空格以保留其含义。

可重载运算符<=>是三向比较函数，并且具有高于<和低于的优先级<<。它返回可以与文字进行比较的类型，0但允许其他返回类型，例如支持表达式模板。<=>用该语言和标准库定义的所有运算符均返回上述5个运算符之一std::种比较类别类型之一。

对于语言类型，提供了以下内置的<=>相同类型比较。除非另有说明，否则均为constexpr。不能使用标量提升/转换来异构调用这些比较。

• 对于bool，整数和指针类型，<=>返回strong_ordering。
• 对于指针类型，允许使用不同的cv限定词和派生基转换来调用同构内置函数<=>，并且内置异类函数operator<=>(T*, nullptr_t)。指向相同对象/分配的指针的比较仅是常量表达式。
• 对于基本浮点类型，<=>返回partial_ordering可以通过将参数扩展为更大的浮点类型来异构和。
• 对于枚举，<=>返回与枚举的基础类型相同的<=>。
• 对于nullptr_t，<=>收益strong_ordering始终为equal。
• 对于可复制阵列，T[N] <=> T[N]返回相同类型T的<=>和执行辞书的elementwise比较。没有<=>其他数组。
• 因为void没有<=>。

_{为了更好地了解此操作员的内部工作原理，请阅读原始文章。这就是我使用搜索引擎发现的内容。}

由于参考网页已更改，因此此答案变得无关紧要

您所引用的网页已损坏。那天它被大量编辑，并且不同部分没有同步。当我查看时的状态是：

在页面顶部，它列出了当前存在的比较运算符（在C ++ 14中）。没有<=>那里。

在页面底部，他们应该已经列出了相同的运算符，但是他们无所适从并添加了此将来的建议。

gcc还不知道<=>（并且-std=c++14永远不会），所以它认为您的意思是a <= > b。这是说明错误消息的原因。

如果五年后再尝试相同的操作，则可能会收到更好的错误消息，例如 <=> not part of C++14.