C++20三向比较运算符详解_业界新闻

发布时间:2024-08-03 06:02

阅读量:0

三向比较运算符可以用于确定两个值的大小顺序，也被称为太空飞船操作符。使用单个表达式，它可以告诉一个值是否等于，小于或大于另一个值。

它返回的是类枚举（enumeration-like）类型，定义在 <compare> 与 std 名称空间中。其运算的结果如下：

数据类型	值	含义
如果操作数为整数类型，其结果称为 `强排序(strong_ordering)`	`strong_ordering::less`	左边的操作数小于右边的操作数
	`strong_ordering::greater`	左边的操作数大于右边的操作数
	`strong_ordering::equal`	左边的操作数等于右边的操作数
如果操作数为浮点类型，其结果称为 `偏序(partial_ordering)`	`partial_ordering::less`	左边的操作数小于右边的操作数
	`partial_ordering::greater`	左边的操作数大于右边的操作数
	`partial_ordering::equivalent`	左边的操作数等于右边的操作数
	`partial_ordering::unordered`	无法比较时（有一个非数字）
如果操作数为自己实现的类型，称为 `弱排序(weak_ordering)`	`weak_ordering::less`	左边的操作数小于右边的操作数
	`weak_ordering::greater`	左边的操作数大于右边的操作数
	`weak_ordering::equivalent`	左边的操作数等于右边的操作数

三向比较运算符的用法

三向比较运算符的使用方式如下：

#include <iostream>  using namespace std;  int main() {     int i{ 11 };     strong_ordering result{ i <=> 0 };     cout << typeid(result).name() << endl;      if (result == strong_ordering::less) { cout << "less" << endl; };     if (result == strong_ordering::greater) { cout << "greater" << endl; };     if (result == strong_ordering::equal) { cout << "equal" << endl; };      return 0; }

可以得到以下的输出结果

struct std::strong_ordering greater

同时，<compare> 还提供了一些函数来解释排序结果，有以下几种：std::is_eq()，is_neq()，is_lt()，is_lteq()，is_gt()，is_gteq()。

使用的方式如下：

#include <iostream> #include <compare> using namespace std;  int main() {     int i{ 11 };     strong_ordering result{ i <=> 0 };     cout << typeid(result).name() << endl;      if (is_lt(result)) { cout << "less" << endl; };     if (is_gt(result)) { cout << "greater" << endl; };     if (is_eq(result)) { cout << "equal" << endl; };      return 0; }

三向比较运算符的作用

在编写自己的类时，如果需要实现比较运算符，在 C++20 之前，通常要重载 6 个比较运算符：（>，<，<=，>=，==, !=）。在 C++20 引入了三向比较运算符以后，就可以只重载 <=> 与 == 后，其他的运算符会由编译器为我们生成。（在 C++20 中，重载了 == 后，!= 也会自动重载）

以下是使用示例：

#include <iostream> #include <compare> using namespace std;  class MyClass { public:     MyClass(int ini) : _data{ ini } {}      auto operator<=>(const MyClass& other) const {         return this->_data <=> other._data;     }     auto operator==(const MyClass& other) const {         return this->_data == other._data;     } private:     int _data; };  int main() {     MyClass a{ 10 }, b{ 20 };      if (a < b) {         cout << "a < b" << endl;     }     if (a != b) {         cout << "a != b" << endl;     }      return 0; }