std:: conjunction

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

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

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

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

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

プログラムが std::conjunction または std::conjunction_v に対する特殊化を追加する場合、動作は未定義です。

テンプレートパラメータ

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

実装例

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 から継承するわけではありません。これは単に、 ::value が bool に明示的に変換された際に false となる最初の B から継承するか、すべての B が true に変換される場合は最後の B から継承します。例えば、 std :: conjunction < std:: integral_constant < int , 2 > , std:: integral_constant < int , 4 >> :: value は 4 です。

短絡評価のインスタンス化は、 conjunction を fold expressions と区別します：fold expression、例えば ( ... && Bs :: value ) は、 Bs 内のすべての B をインスタンス化しますが、 std :: conjunction_v < Bs... > は値が決定可能になるとインスタンス化を停止します。これは、後の型のインスタンス化が高コストである場合や、誤った型でインスタンス化された際にハードエラーを引き起こす可能性がある場合に特に有用です。

例

#include <iostream>
#include <type_traits>
// funcは全てのTs...がTと同じ型の場合に有効化される
template<typename T, typename... Ts>
std::enable_if_t<std::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "All types in pack are the same.\n";
}
// それ以外の場合
template<typename T, typename... Ts>
std::enable_if_t<!std::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "Not all types in pack are the same.\n";
}
template<typename T, typename... Ts>
constexpr bool all_types_are_same = std::conjunction_v<std::is_same<T, Ts>...>;
static_assert(all_types_are_same<int, int, int>);
static_assert(not all_types_are_same<int, int&, int>);
int main()
{
    func(1, 2, 3);
    func(1, 2, "hello!");
}

All types in pack are the same.
Not all types in pack are the same.

関連項目