std::experimental::ranges::WeaklyEqualityComparableWith
| 定義於標頭檔案 <experimental/ranges/concepts> |
||
| template< class T, class U > concept bool WeaklyEqualityComparableWith = |
(ranges TS) | |
概念 WeaklyEqualityComparableWith<T, U> 指定了型別 T 的物件和型別 U 的物件可以相互比較相等（按任一順序）使用 == 和 !=，並且比較結果是一致的。更正式地，WeaklyEqualityComparableWith<T, U> 僅在給定以下條件時滿足：
-
t，一個型別為 const std::remove_reference_t<T> 的左值，以及 -
u，一個型別為 const std::remove_reference_t<U> 的左值，
以下條件為真
- t == u, u == t, t != u,u != t 具有相同的域；
- bool(u == t) == bool(t == u);
- bool(t != u) == !bool(t == u)；並且
- bool(u != t) == bool(t != u).
[編輯] 相等性保持
如果一個表示式在給定相等輸入時產生相等輸出，則稱其為保持相等性。
- 表示式的輸入由其運算元組成。
- 表示式的輸出由其結果以及被表示式修改的所有運算元（如果有的話）組成。
所有要求保持相等性的表示式還必須是穩定的：在沒有顯式介入修改輸入物件的情況下，對具有相同輸入物件的表示式的兩次求值必須產生相等的輸出。
除非另有說明，requires-expression 中使用的每個表示式都必須保持相等且穩定，並且表示式的評估只能修改其非常量運算元。常量運算元不得修改。
[編輯] 隱式表示式變體
一個 requires-expression，如果它對某個常量左值運算元使用非修改性表示式，那麼它也會隱式要求該表示式的其他變體，這些變體接受非常量左值或（可能是常量）右值作為給定運算元，除非明確要求具有不同語義的表示式變體。這些 隱式表示式變體 必須滿足所宣告表示式的相同語義要求。實現驗證這些變體語法的程度是未指定的。
[編輯] 另請參閱
| 指定運算子 == 是等價關係 (概念) |
