std::experimental:: disjunction

ISO C++に統合されました このページで説明されている機能は、2016年2月時点で主要なISO C++標準に統合されました。詳細は std::disjunction (C++17以降) を参照してください。

型特性 B... の 論理和 を形成し、一連の特性に対して論理和演算を実行します。

特殊化 std :: experimental :: disjunction < B1, ..., BN > は、公開かつ明確な基底クラスとして

• sizeof...(B) == 0 の場合、 sizeof... ( B ) == 0 ならば、 std:: false_type ; それ以外の場合
• B1, ..., BN の中で bool(Bi::value) == true となる最初の型 Bi 、またはそのような型が存在しない場合は BN

disjunction および operator= を除く基底クラスのメンバー名は隠蔽されず、 disjunction 内で曖昧さなく利用可能です。

論理和は短絡評価を行います：もし Bi というテンプレート型引数が bool ( Bi :: value ) ! = false である場合、 disjunction < B1, ..., BN > :: value のインスタンス化には j > i となる Bj :: value のインスタンス化は必要ありません。

テンプレートパラメータ

ヘルパー変数テンプレート

実装例

template<class...> struct disjunction : std::false_type {};
template<class B1> struct disjunction<B1> : B1 {};
template<class B1, class... Bn>
struct disjunction<B1, Bn...> 
    : std::conditional_t<bool(B1::value), B1, disjunction<Bn...>>  {};

注記

disjunction の特殊化は、必ずしも std:: true_type または std:: false_type のいずれかから継承するわけではありません。これは単に、 bool に明示的に変換された ::value がtrueとなる最初の B から、またはすべての B がfalseに変換される場合は最後の B から継承します。例えば、 disjunction < std:: integral_constant < int , 2 > , std:: integral_constant < int , 4 >> :: value は 2 です。

例

関連項目