当前位置：首页 > 科技 > 软件

C++20那些事之宇宙飞船运算符

来源：责编：时间：2024-07-12 17:20:00 260观看

导读本节将引入C++20的另一个知识点：宇宙飞船运算符/三向比较运算符。三种排序三向比较运算符<=>又称为宇宙飞船运算符，返回值有三种排序，下面从gcc源码角度来深入聊一下。注：懒人版，本节示例已更新星球。用法：<=>#include <com

本节将引入C++20的另一个知识点：宇宙飞船运算符/三向比较运算符。

三种排序

三向比较运算符<=>又称为宇宙飞船运算符，返回值有三种排序，下面从gcc源码角度来深入聊一下。

注：懒人版，本节示例已更新星球。

用法：<=>

#include <compare>#include <iostream>int main() {   auto c1 = 1.1 <=> 2.2;   auto c2 = -1 <=> 1;   std::cout << typeid(c1).name() << std::endl;   std::cout << typeid(c2).name() << std::endl;}

输出：

St16partial_orderingSt15strong_ordering

1.1 <=> 2.2：这是对两个浮点数进行比较。对于浮点数，标准库返回的是std::partial_ordering，因为浮点数有NaN值的存在，这使得它们之间的比较不是严格的全序。std::partial_ordering允许结果是<、>、==或者unordered。

我们可以使用gcc代码静态变量来查看partial_ordering到底是小于、大于、等于、无序：

static const partial_ordering less;static const partial_ordering equivalent;static const partial_ordering greater;static const partial_ordering unordered;

如果我们强制转换便会报错：

comp.cc:6:36: error: conversion from 'std::partial_ordering' to non-scalar type 'std::strong_ordering' requested    6 |   std::strong_ordering c1 = 1.1 <=> 2.2;

2. `-1 <=> 1`：这是对两个整数进行比较。对于整数，标准库返回的是`std::strong_ordering`，因为整数的比较是严格的全序关系，没有不确定的情况。`std::strong_ordering`只会返回`<`、`>`或`==`。

同理，可以使用下面4个静态成员。

static const strong_ordering less;static const strong_ordering equal;static const strong_ordering equivalent;static const strong_ordering greater;

因此，c1的类型是std::partial_ordering，而c2的类型是std::strong_ordering，这也解释了为什么输出的类型不一样。

除了partial_ordering、strong_ordering之外，<=>还可能返回weak_ordering，静态成员为：

static const weak_ordering less;static const weak_ordering equivalent;static const weak_ordering greater;

equal与equivalent

在上面的三种ording可以看到对于等于出现了两个：equal与equivalent，这两者有什么区别呢？

这里直接看cppreference，两者之间没有区别。然而，std::strong_ordering 是唯一定义相等的类别。所有其他类别仅定义等价。也正好验证了上面的静态成员，对于string_ordering有两个，其他的只有equivalent。

如果比较在被比较的项目之间产生强排序，则等价和相等是相同的。之所以有两个词来表示它，是因为这对于其他类型的排序是不一样的。弱和部分根本没有相等性；它们只提供等价性。

等价意味着两个对象可以比较相等。相等意味着更强的东西；如果它们比较相等，则可以在任何 const 用法中用一个替换另一个：只要 a == b 为真，f(a) == f(b) 的属性就为真，其中 f 表示仅读取可通过参数的公共 const 成员访问的比较突出状态的函数。如果类型的比较允许相等（这是强排序的要求），那么它也允许等价。因此，对于强排序比较，它们是相同的。

https://en.cppreference.com/w/cpp/utility/compare/strong_ordering

为什么使用三向比较运算符？

三向比较运算符（<=>）使得在一次操作中就能够确定两个值的排序关系，而传统的比较运算符则需要多次比较。

传统比较运算符的限制：

如果 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。

这些限制表明，传统的比较运算符不能一次性确定两个值的完全关系，而是需要多次比较来获得完整的结果。

本文链接：http://www.28at.com/showinfo-26-100712-0.htmlC++20那些事之宇宙飞船运算符

声明：本网页内容旨在传播知识，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。邮件：2376512515@qq.com

上一篇：统计学入门：时间序列分析基础知识详解

下一篇：聊聊2024年Rust加密生态系统

标签：

热门焦点

6月iOS设备性能榜：M2稳居榜首 A系列只能等一手3nm来救

没有新品发布，自然iOS设备性能榜的上榜设备就没有什么更替，仅仅只有跑分变化而产生的排名变动，毕竟苹果新品的发布节奏就是这样的，一年下来也就几个移动端新品，不会像安卓厂商，一
iPhone卖不动了！苹果股价创年内最大日跌幅：市值一夜蒸发万亿元

8月5日消息，今天凌晨美股三大指数高开低走集体收跌，道指跌0.41%；纳指跌0.36%；标普500指数跌0.52%。热门科技股也都变化极大，其中苹果报181.99美元，跌4.8%，创
Raft算法：保障分布式系统共识的稳健之道

1. 什么是Raft算法？Raft 是英文”Reliable、Replicated、Redundant、And Fault-Tolerant”（“可靠、可复制、可冗余、可容错”）的首字母缩写。Raft算法是一种用于在分布式系统
十个可以手动编写的 JavaScript 数组 API

JavaScript 中有很多API，使用得当，会很方便，省力不少。你知道它的原理吗? 今天这篇文章，我们将对它们进行一次小总结。现在开始吧。1.forEach()forEach()用于遍历数组接收一参
得物效率前端微应用推进过程与思考

一、背景效率工程随着业务的发展，组织规模的扩大，越来越多的企业开始意识到协作效率对于企业团队的重要性，甚至是决定其在某个行业竞争中突围的关键，是企业长久生存的根本。得物
十个简单但很有用的Python装饰器

装饰器（Decorators）是Python中一种强大而灵活的功能，用于修改或增强函数或类的行为。装饰器本质上是一个函数，它接受另一个函数或类作为参数，并返回一个新的函数或类。它们通常用
梁柱接棒两年，腾讯音乐闯出新路子

文丨田静出品丨牛刀财经（niudaocaijing）7月5日，企鹅FM发布官方公告称由于业务调整，将于9月6日正式停止运营，这意味着腾讯音乐长音频业务走向消亡。腾讯在长音频领域还在摸索。为
ESG的面子与里子

来源 | 光子星球撰文 | 吴坤谚编辑 | 吴先之三伏大幕拉起，各地高温预警不绝，但处于厄尔尼诺大“烤”之下的除了众生，还有各大企业发布的ESG报告。ESG是“环境保
由于成本持续增加，笔记本产品价格预计将明显上涨

根据知情人士透露，由于材料、物流等成本持续增加，笔记本产品价格预计将在2021年下半年有明显上涨。进入6月下旬以来，全球半导体芯片缺货情况加剧，显卡、处理器

C++20那些事之宇宙飞船运算符

三种排序

equal与equivalent

为什么使用三向比较运算符？

6月iOS设备性能榜：M2稳居榜首 A系列只能等一手3nm来救

iPhone卖不动了！苹果股价创年内最大日跌幅：市值一夜蒸发万亿元

Raft算法：保障分布式系统共识的稳健之道

十个可以手动编写的 JavaScript 数组 API

得物效率前端微应用推进过程与思考

十个简单但很有用的Python装饰器

梁柱接棒两年，腾讯音乐闯出新路子

ESG的面子与里子

由于成本持续增加，笔记本产品价格预计将明显上涨

最新推荐

猜你喜欢

热门推荐

相关资讯