std::experimental::ranges::Boolean

 

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 B > concept bool Boolean =     Movable<std::decay_t<B>> &&     requires(const std::remove_reference_t<B>& b1,              const std::remove_reference_t<B>& b2, const bool a) {         { b1 }       -> ConvertibleTo<bool>&&;         { !b1 }      -> ConvertibleTo<bool>&&;         { b1 && a }  -> Same<bool>&&;         { b1 || a }  -> Same<bool>&&;         { b1 && b2 } -> Same<bool>&&;         { a && b2  } -> Same<bool>&&;         { b1 || b2 } -> Same<bool>&&;         { a || b2  } -> Same<bool>&&;         { b1 == b2 } -> ConvertibleTo<bool>&&;         { b1 == a  } -> ConvertibleTo<bool>&&;         { a == b2  } -> ConvertibleTo<bool>&&;         { b1 != b2 } -> ConvertibleTo<bool>&&;         { b1 != a  } -> ConvertibleTo<bool>&&;         { a != b2  } -> ConvertibleTo<bool>&&;     };		(ranges TS)

概念 Boolean 指定了型別在布林上下文中使用時的要求。為了滿足 Boolean，邏輯運算子必須具有通常的行為（包括短路）。更確切地說，給定

• b1, b2，兩個型別為 const std::remove_reference_t<B> 的左值，

Boolean 僅在以下條件滿足時成立：

• bool(b1) == !bool(!b1);
• b1 && b2, b1 && bool(b2) 和 bool(b1) && b2 都等於 bool(b1) && bool(b2)，並具有相同的短路求值；
• b1 || b2, b1 || bool(b2) 和 bool(b1) || b2 都等於 bool(b1) || bool(b2)，並具有相同的短路求值；
• bool(b1 == b2), bool(b1 == bool(b2)) 和 bool(bool(b1) == b2) 都等於 (bool(b1) == bool(b2))；
• bool(b1 != b2), bool(b1 != bool(b2)) 和 bool(bool(b1) != b2) 都等於 (bool(b1) != bool(b2))。

相等性保持

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

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

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

除非另有說明，requires-expression 中使用的每個表示式都必須保持相等且穩定，並且表示式的評估只能修改其非常量運算元。常量運算元不得修改。

隱式表示式變體

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

注意

Boolean 型別的示例包括 bool, std::true_type 和 std::bitset<N>::reference。指標不是 Boolean 型別。

形式為 { expression } -> Same<T>&& 的推導約束有效地要求 decltype((expression))&& 必須與 T&& 完全相同。這約束了表示式的型別及其值類別。