std:: disjunction

Формирует логическую дизъюнкцию трейтов типов 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 , поведение не определено.

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

Шаблон вспомогательной переменной

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

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... > останавливает инстанцирование, как только значение может быть определено. Это особенно полезно, если последующий тип требует значительных ресурсов для инстанцирования или может вызывать критическую ошибку при инстанцировании с неподходящим типом.

Пример

#include <cstdint>
#include <string>
#include <type_traits>
// values_equal<a, b, T>::value равно true тогда и только тогда, когда a == b.
template<auto V1, decltype(V1) V2, typename T>
struct values_equal : std::bool_constant<V1 == V2>
{
    using type = T;
};
// default_type::value всегда true
template<typename T>
struct default_type : std::true_type
{
    using type = T;
};
// Теперь мы можем использовать дизъюнкцию как оператор switch:
template<int I>
using int_of_size = typename std::дизъюнкция< //
    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>                         // должен быть последним!
    >::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>);
// проверка, является ли Foo конструируемым из double, вызовет критическую ошибку
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; // тип для возврата, если ничего не найдено
    };
    template<class... Args>
    using with = typename std::дизъюнкция<is_constructible_x<Ts, Args...>...,
                                           fallback>::type;
};
// OK, is_constructible<Foo, double> не инстанцируется
static_assert(std::is_same_v<first_constructible<std::string, int, Foo>::с<double>,
                             int>);
static_assert(std::is_same_v<first_constructible<std::string, int>::с<>, std::string>);
static_assert(std::is_same_v<first_constructible<std::string, int>::с<const char*>,
                             std::string>);
static_assert(std::is_same_v<first_constructible<std::string, int>::с<void*>, void>);
int main() {}

Смотрите также