std:: strict_weak_order

td> (C++20 起)

定义于头文件 <concepts>
template < class R, class T, class U > concept strict_weak_order = std:: relation < R, T, U > ;

概念 strict_weak_order<R, T, U> 规定 relation R 对其参数施加严格弱序关系。

目录 1 语义要求 2 注释 3 参考文献 4 参见

语义要求

关系 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 与 strict_weak_order 之间的区别纯粹是语义层面的。

参考文献

另请参阅

• LessThanComparable