std::experimental::ranges::StrictWeakOrder

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

實驗性

技術規範

檔案系統庫 (檔案系統 TS)

庫基礎 (庫基礎 TS)

庫基礎 2 (庫基礎 TS v2)

庫基礎 3 (庫基礎 TS v3)

並行性擴充套件 (並行性 TS)

並行性擴充套件 2 (並行性 TS v2)

併發性擴充套件 (併發性 TS)

併發擴充套件 2 (併發 TS v2)

概念 (概念 TS)

範圍 (範圍 TS)

反射 (反射 TS)

數學特殊函式 (特殊函式 TR)

實驗性非 TS

模式匹配

線性代數

std::execution

契約

2D 圖形

 

範圍（Ranges）

概念

通用工具

迭代器

範圍（Ranges）

演算法

 

概念庫

核心語言概念
相同 DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
物件概念
Destructible（可析構） Constructible DefaultConstructible（可預設構造）	MoveConstructible（可移動構造） CopyConstructible（可複製構造）	Movable Copyable	Semiregular Regular
比較概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可呼叫概念
InvocableRegularInvocable	Predicate（謂詞）	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

定義於標頭檔案 <experimental/ranges/concepts>
template< class R, class T, class U > concept bool StrictWeakOrder = Relation<R, T, U>;	(1)	(ranges TS)

概念 StrictWeakOrder<R, T, U> 指定 Relation R 對其引數施加嚴格弱序。如果關係 r 是嚴格弱序，則：

• 它是反自反的：對於所有 x，r(x, x) 為假；
• 它是傳遞的：對於所有 a、b 和 c，如果 r(a, b) 和 r(b, c) 都為真，則 r(a, c) 為真；
• 令 e(a, b) 為 !r(a, b) && !r(b, a)，則 e 是傳遞的：e(a, b) && e(b, c) 意味著 e(a, c)。

在這些條件下，可以證明 e 是一個等價關係，並且 r 在由 e 確定的等價類上誘導一個嚴格全序。

注意

Relation 和 StrictWeakOrder 之間的區別純粹是語義上的。