std::StrictWeakOrder

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

输入/输出库

本地化库

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

文件系统库 (C++17)

技术规范

 

概念库

核心语言概念
Same DerivedFrom ConvertibleTo CommonReference Common	Integral SignedIntegral UnsignedIntegral Assignable SwappableSwappableWith	Destructible Constructible DefaultConstructible MoveConstructible CopyConstructible
比较概念
Boolean	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
对象概念
Movable Copyable	Semiregular Regular
可调用概念
InvocableRegularInvocable	Predicate	Relation StrictWeakOrder

 

定义于头文件 <concepts>
template < class R, class T, class U > concept StrictWeakOrder = std::Relation<R, T, U>;	(1)	(C++20 起)

概念 StrictWeakOrder<R, T, U> 指定 Relation R 在其参数上施加严格弱序。若符合下列条件，则关系 r 是严格弱序：

• 它非自反：对所有 x ， r(x, x) 为 false ；
• 它为传递：对所有 a 、 b 和 c ，若 r(a, b) 与 r(b, c) 均为 true ，则 r(a, c) 为 true ；
• 令 e(a, b) 为 !r(a, b) && !r(b, a) ，则 e 为传递： e(a, b) && e(b, c) 蕴含 e(a, c) 。

在这些条件下，能证明 e 是等价关系，而 r 在 e 所确定的等价类上引入严格全序。

注意

Relation 与 StrictWeakOrder 间的区别是纯语义上的。