std:: conjunction

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

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

• если sizeof... ( B ) == 0 , std:: true_type ; иначе
• первый тип Bi в B1, ..., BN для которого bool ( Bi :: value ) == false , или BN если такого типа не существует.

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

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

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

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

Пример

#include <iostream>
#include <type_traits>
// func is enabled if all Ts... have the same type as 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";
}
// otherwise
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.

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