std::experimental:: conjunction

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

型特性 B... の 論理積 を形成し、型特性のシーケンスに対して論理ANDを実行します。

特殊化 std :: experimental :: conjunction < B1, ..., BN > は、公開かつ明確な基底クラスを持ち、それは

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

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

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

テンプレートパラメータ

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

実装例

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

注記

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

例

#include <experimental/type_traits>
#include <iostream>
// funcは全てのTs...が同じ型を持つ場合に有効化される
template<typename T, typename... Ts>
constexpr std::enable_if_t<std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "All types are the same.\n";
}
template<typename T, typename... Ts>
constexpr std::enable_if_t<!std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "Types differ.\n";
}
int main()
{
    func(1, 2'7, 3'1);    
    func(1, 2.7, '3');    
}

All types are the same.
Types differ.

関連項目