std::experimental::ranges::EqualityComparable, std::experimental::ranges::EqualityComparableWith

 

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（可賦值） Swappable（可交換）SwappableWith（可與...交換）
物件概念
Destructible（可析構） Constructible（可構造） DefaultConstructible（可預設構造）	MoveConstructible（可移動構造） CopyConstructible（可複製構造）	Movable（可移動） Copyable（可複製）	Semiregular（半正則） Regular（正則）
比較概念
Boolean（布林）	WeaklyEqualityComparableWith（可弱等價比較）	EqualityComparable（可等價比較）EqualityComparableWith（可與...等價比較）	StrictTotallyOrdered（嚴格全序）StrictTotallyOrderedWith（可與...嚴格全序）
可呼叫概念
Invocable（可呼叫）RegularInvocable（正則可呼叫）	Predicate（謂詞）	Relation（關係）	StrictWeakOrder（嚴格弱序）
URNG 概念
UniformRandomNumberGenerator（均勻隨機數生成器）

 

定義於標頭檔案 <experimental/ranges/concepts>
template< class T > concept bool EqualityComparable = WeaklyEqualityComparableWith<T, T>;	(1)	(ranges TS)
template< class T, class U > concept bool EqualityComparableWith =     EqualityComparable<T> &&     EqualityComparable<U> &&     CommonReference<         const std::remove_reference_t<T>&,         const std::remove_reference_t<U>&> &&     EqualityComparable<         ranges::common_reference_t<             const std::remove_reference_t<T>&,             const std::remove_reference_t<U>&>> &&     WeaklyEqualityComparableWith<T, U>;	(2)	(ranges TS)

1) 概念 EqualityComparable<T> 指定了 T 上的比較運算子 == 和 != 反映了相等性：當且僅當運算元相等時，== 返回 true。

EqualityComparable<T> 僅在以下情況下得到滿足：給定型別 T 的物件 a 和 b，當且僅當 a 和 b 相等時，bool(a == b) 為 true。再加上 a == b 保持相等性的要求，這意味著 == 是對稱和傳遞的，並且對於所有與至少一個其他物件相等的物件 a，== 是自反的。

2) 概念 EqualityComparableWith<T, U> 指定了對 (可能是混合的) T 和 U 運算元上的比較運算子 == 和 != 返回與相等性一致的結果。比較混合運算元得到的結果等同於比較轉換為其公共型別的運算元。

形式上，EqualityComparableWith<T, U> 僅在以下情況下得到滿足：給定型別 const std::remove_reference_t<T> 的任何左值 t 和型別 const std::remove_reference_t<U> 的任何左值 u，設 C 為 ranges::common_reference_t<const std::remove_reference_t<T>&, const std::remove_reference_t<U>&>，則 bool(t == u) == bool(C(t) == C(u))。

相等性保持

如果一個表示式在給定相等輸入時產生相等輸出，則稱其為保持相等性。

• 表示式的輸入由其運算元組成。
• 表示式的輸出由其結果以及被表示式修改的所有運算元（如果有的話）組成。

所有要求保持相等性的表示式還必須是穩定的：在沒有顯式介入修改輸入物件的情況下，對具有相同輸入物件的表示式的兩次求值必須產生相等的輸出。

隱式表示式變體

一個使用對於某個常量左值運算元而言不修改的表示式的requires-expression，除非明確要求具有不同語義的此類表示式變體，否則它也隱式要求該表示式的額外變體接受非常量左值或（可能是常量）右值作為給定運算元。這些隱式表示式變體必須滿足所宣告表示式的相同語義要求。實現驗證這些變體語法的程度是未指定的。