std::disjunction

Определён в заголовочном файле `<type_traits>`
template< class... B > struct disjunction;		(начиная с C++17)

Формирует логическую дизъюнкцию признаков типов B..., фактически выполняя логическое ИЛИ над последовательностью признаков.

Специализация std::disjunction<B1, ..., BN> имеет открытый и однозначно определённый базовый класс, который является

если sizeof...(B) == 0, std::false_type; в противном случае
первым типом Bi в B1, ..., BN, для которого выполняется bool(Bi::value) == true, либо BN, если такого типа нет.

Имена членов базового класса, за исключением disjunction и operator=, не скрыты и однозначно доступны в disjunction.

Дизъюнкция вычисляется с коротким замыканием: если существует аргумент шаблона типа Bi, для которого выполняется bool(Bi::value) != false, то инстанцирование disjunction<B1, ..., BN>::value не требует инстанцирования Bj::value для j > i.

Если программа добавляет специализации для std::disjunction или std::disjunction_v, поведение не определено.

Параметры шаблона

B... - каждый аргумент шаблона Bi, для которого инстанцируется Bi::value, должен допускать использование в качестве базового класса и определять член value, преобразуемый в bool

Вспомогательный шаблон переменной

template< class... B >
constexpr bool disjunction_v = disjunction<B...>::value;

(начиная с C++17)

Возможная реализация

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: она просто наследуется от первого B, у которого ::value, явно преобразованное в bool, равно true, либо от последнего B, если все они преобразуются в false. Например, std::disjunction<std::integral_constant<int, 2>, std::integral_constant<int, 4>>::value — это 2.

Инстанцирование с коротким замыканием отличает disjunction от свёрточных выражений: свёрточное выражение, например (... || Bs::value), инстанцирует каждый B в Bs, тогда как std::disjunction_v<Bs...> прекращает инстанцирование, как только значение можно определить. Это особенно полезно, если последующий тип сложно инстанцировать или его инстанцирование может привести к серьёзной ошибке при использовании неверного типа.

Макрос проверки поддержки возможности	Значение	Стандарт	Возможность
`__cpp_lib_logical_traits`	`201510L`	(C++17)	Логические операторы для признаков типов

Пример

#include <cstdint>
#include <string>
#include <type_traits>

// values_equal<a, b, T>::value is true if and only if a == b.
template<auto V1, decltype(V1) V2, typename T>
struct values_equal : std::bool_constant<V1 == V2>
{
    using type = T;
};

// default_type<T>::value is always true
template<typename T>
struct default_type : std::true_type
{
    using type = T;
};

// Now we can use disjunction like a switch statement:
template<int I>
using int_of_size = typename std::disjunction< //
    values_equal<I, 1, std::int8_t>,           //
    values_equal<I, 2, std::int16_t>,          //
    values_equal<I, 4, std::int32_t>,          //
    values_equal<I, 8, std::int64_t>,          //
    default_type<void>                         // must be last!
    >::type;

static_assert(sizeof(int_of_size<1>) == 1);
static_assert(sizeof(int_of_size<2>) == 2);
static_assert(sizeof(int_of_size<4>) == 4);
static_assert(sizeof(int_of_size<8>) == 8);
static_assert(std::is_same_v<int_of_size<13>, void>);

// checking if Foo is constructible from double will cause a hard error
struct Foo
{
    template<class T>
    struct sfinae_unfriendly_check { static_assert(!std::is_same_v<T, double>); };

    template<class T>
    Foo(T, sfinae_unfriendly_check<T> = {});
};

template<class... Ts>
struct first_constructible
{
    template<class T, class...Args>
    struct is_constructible_x : std::is_constructible<T, Args...>
    {
        using type = T;
    };

    struct fallback
    {
        static constexpr bool value = true;
        using type = void; // type to return if nothing is found
    };

    template<class... Args>
    using with = typename std::disjunction<is_constructible_x<Ts, Args...>...,
                                           fallback>::type;
};

// OK, is_constructible<Foo, double> not instantiated
static_assert(std::is_same_v<first_constructible<std::string, int, Foo>::with<double>,
                             int>);

static_assert(std::is_same_v<first_constructible<std::string, int>::with<>, std::string>);
static_assert(std::is_same_v<first_constructible<std::string, int>::with<const char*>,
                             std::string>);
static_assert(std::is_same_v<first_constructible<std::string, int>::with<void*>, void>);

int main() {}

См. также

negation (C++17)	метафункция логического НЕ (шаблон класса)
conjunction (C++17)	вариативная метафункция логического И (шаблон класса)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/types/disjunction