C++ std::strong_ordering _ 三向比较运算符返回值详解【详解】

陌伟酱_3589

陌伟酱_3589

2026-04-10

934人浏览

原创

std::strong_ordering 是 C++20 引入的不可隐式转换为 bool 的枚举类,仅含 less、equal、greater 三个静态成员,不支持直接用 == 0 或 > 0 比较,须显式与成员比较或使用 std::is_eq 等谓词。

c++ std::strong_ordering _ 三向比较运算符返回值详解【详解】

std::strong_ordering 是什么类型,为什么不能直接用 == 比较

std::strong_ordering 是 C++20 引入的三向比较结果类型,属于 不可隐式转换为 bool 的枚举类。它不是整数,也不是 int,所以写 cmp == 0 或 cmp > 0 会编译失败。

它的合法值只有三个静态成员:std::strong_ordering::less、std::strong_ordering::equal、std::strong_ordering::greater。所有比较必须显式与它们之一做 == 或 !=。

  • 错误写法:if (a b > 0) → 编译错误,“>” 不支持 std::strong_ordering
  • 正确写法:if ((a b) == std::strong_ordering::greater)
  • 更常见写法是直接用 std::is_eq/std::is_lt 等谓词(见下一条)

怎么安全地判断三向比较结果:用 std::is_eq 而不是 == std::strong_ordering::equal

std::is_eq、std::is_lt、std::is_gt 是 C++20 提供的配套函数,专为处理各类三向比较结果(std::strong_ordering、std::weak_ordering、std::partial_ordering)设计,比手写 == std::strong_ordering::equal 更健壮。

  • 它们能适配所有三向比较类型,避免硬编码具体枚举值
  • 如果未来类型扩展新值(如某些实现加了 debug 枚举项),这些函数仍可保持语义正确
  • 示例:if (std::is_gt(a b)) { /* a > b */ }
  • 注意:std::is_eq 返回 bool,不是 std::strong_ordering —— 别误以为它返回一个 ordering 值

std::strong_ordering 和 std::weak_ordering 的关键区别在哪

核心在于「相等是否意味着可互换」:std::strong_ordering 要求 a == b 当且仅当 a 和 b 在所有上下文中行为完全一致(bitwise 相等或逻辑等价);而 std::weak_ordering 允许 a == b 但 a 和 b 有细微差异(比如字符串忽略大小写比较时,"ABC" 和 "abc" 相等但不强相等)。

C++14
C++14

C++14 对 C++11 的修正与增强版本,适合旧系统维护和较老工具链兼容。

下载
  • 典型场景:std::string 默认 operator 返回 std::strong_ordering;自定义 case-insensitive string 可能返回 std::weak_ordering
  • 性能影响:强序要求更严格,编译器可能做更多假设(如允许优化掉重复比较),但多数情况下无感
  • 兼容性:如果你的类型只支持 == 和 ,编译器合成的 默认返回 std::strong_ordering(只要 == 是真正的强相等)

自定义 operator 时,返回 std::strong_ordering 的常见陷阱

最常踩的坑是「手动拼接多个字段比较却忘了统一返回类型」——比如用 int 差值计算再 cast 成 std::strong_ordering,这在溢出或非整数字段上会出错。

  • 错误示范:return static_cast<:strong_ordering>(a.x - b.x); → x 是 double 或负数差很大时 UB
  • 正确做法:用 std::strong_ordering::less / ::equal / ::greater 显式分支,或用 std::compare_3way(已弃用)或更推荐的 std::lexicographical_compare_3way 处理多字段
  • 更简洁安全的方式:return std::tie(a.x, a.y) std::tie(b.x, b.y); —— std::tuple 的 自动返回 std::strong_ordering(若元素都支持强序)
  • 注意:如果字段中有一个只支持 std::partial_ordering(比如 float),整个结果会退化为 std::partial_ordering,不能强制 cast

真正难的不是写对单个 operator,而是确保所有字段的比较语义一致,并且和你的 operator== 定义严格对应 —— 这一点调试时几乎无法靠编译器报错发现。

C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

c++

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
Sass和less的区别
Sass和less的区别

Sass和less的区别有语法差异、变量和混合器的定义方式、导入方式、运算符的支持、扩展性等。本专题为大家提供Sass和less相关的文章、下载、课程内容,供大家免费下载体验。

2023.10.12

3307

5

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

2023.08.02

7499

3

css中float用法
css中float用法

css中float属性允许元素脱离文档流并沿其父元素边缘排列,用于创建并排列、对齐文本图像、浮动菜单边栏和重叠元素。想了解更多float的相关内容,可以阅读本专题下面的文章。

2024.04.28

7667

8

C++中int、float和double的区别
C++中int、float和double的区别

本专题整合了c++中int和double的区别,阅读专题下面的文章了解更多详细内容。

2025.10.23

904

4

java基础知识汇总
java基础知识汇总

java基础知识有Java的历史和特点、Java的开发环境、Java的基本数据类型、变量和常量、运算符和表达式、控制语句、数组和字符串等等知识点。想要知道更多关于java基础知识的朋友,请阅读本专题下面的的有关文章,欢迎大家来php中文网学习。

2023.10.24

6384

49

Go语言中的运算符有哪些
Go语言中的运算符有哪些

Go语言中的运算符有:1、加法运算符;2、减法运算符;3、乘法运算符;4、除法运算符;5、取余运算符;6、比较运算符;7、位运算符;8、按位与运算符;9、按位或运算符;10、按位异或运算符等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2024.02.23

3504

5

php三元运算符用法
php三元运算符用法

本专题整合了php三元运算符相关教程,阅读专题下面的文章了解更多详细内容。

2025.10.17

1932

13

js 字符串转数组
js 字符串转数组

js字符串转数组的方法:1、使用“split()”方法;2、使用“Array.from()”方法;3、使用for循环遍历;4、使用“Array.split()”方法。本专题为大家提供js字符串转数组的相关的文章、下载、课程内容,供大家免费下载体验。

2023.08.03

1938

5

js截取字符串的方法
js截取字符串的方法

js截取字符串的方法有substring()方法、substr()方法、slice()方法、split()方法和slice()方法。本专题为大家提供字符串相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

3184

5

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C++ Core Guidelines
C++ Core Guidelines

共0课时 | 0人学习

C++ Reference
C++ Reference

共0课时 | 0人学习

C++ 官方标准说明
C++ 官方标准说明

共0课时 | 0人学习