std::boolean

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

コンセプトライブラリ

コア言語のコンセプト same_as derived_from convertible_to common_reference_with common_with integral signed_integral unsigned_integral floating_point swappableswappable_with destructible constructible_from default_initializable move_constructible copy_constructible assignable_from

比較のコンセプト equality_comparableequality_comparable_with totally_orderedtotally_ordered_with オブジェクトのコンセプト movable copyable semiregular regular 呼び出し可能のコンセプト invocableregular_invocable predicate relation equivalence_relation strict_weak_order

 

<tbody> </tbody>

ヘッダ <concepts> で定義
template<class B> concept boolean = std::movable<std::remove_cvref_t<B>> && requires(const std::remove_reference_t<B>& b1, const std::remove_reference_t<B>& b2, const bool a) { { b1 } -> std::convertible_to<bool>; { !b1 } -> std::convertible_to<bool>; { b1 && b2 } -> std::same_as<bool>; { b1 && a } -> std::same_as<bool>; { a && b2 } -> std::same_as<bool>; { b1 || b2 } -> std::same_as<bool>; { b1 || a } -> std::same_as<bool>; { a || b2 } -> std::same_as<bool>; { b1 == b2 } -> std::convertible_to<bool>; { b1 == a } -> std::convertible_to<bool>; { a == b2 } -> std::convertible_to<bool>; { b1 != b2 } -> std::convertible_to<bool>; { b1 != a } -> std::convertible_to<bool>; { a != b2 } -> std::convertible_to<bool>; };		(C++20以上)

コンセプト boolean<B> はブーリアンの文脈で使用可能な型のための要件を指定します。 boolean が満たされるためには、論理演算子が通常の動作 (短絡評価を含む) を持たなければなりません。 より正確には、

• const std::remove_reference_t<B> 型の2つの左辺値 b1, b2

が与えられたとき、以下の内容を満たす場合にのみ boolean<B> が満たされます。

• 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)) と等しい。

等しさの維持

等しい入力を与えると等しい出力が得られる場合、その式は等しさを維持します。

• 式への入力がその被演算子から構成される。
• 式の出力がその結果およびその式によって変更されるすべての被演算子 (もしあれば) から構成される。

等しさを維持することが要求されるすべての式は、さらに安定であることも要求されます。 同じ入力オブジェクトを用いたそのような式の2回の評価は、間にそれらの入力オブジェクトの変更が明示的に挟まれなければ、等しい出力が得られなければなりません。

特に明記されない限り、 requires 式で使用されるすべての式は、等しさを維持することと安定であることが要求され、式の評価は非定数の被演算子のみを変更することができます。 定数である被演算子は変更してはなりません。

暗黙の式のバリエーション

何らかの定数左辺値の被演算子に対して変更しない式を使用する requires 式は、そのような式のバリエーションが異なるセマンティクスで明示的に要求されなければ、与えられた被演算子に対して非定数左辺値または (定数かもしれない) 右辺値を受理するその式の追加のバリエーションも暗黙に要求します。 これらの暗黙の式のバリエーションは、宣言された式のセマンティクスの要件を満たさなければなりません。 処理系がバリエーションの構文を検証する範囲は未規定です。

ノート

boolean な型の例としては bool、 std::true_type および std::bitset<N>::reference があります。 ポインタは Boolean ではありません。