std::negation

Определено в заголовке `<type_traits>`
template< class B > struct negation;		(с C++17)

Образует логическое отрицание типа признака B.

Тип std::negation<B> является UnaryTypeTrait с базовой характеристикой std::bool_constant<!bool(B::value)>.

Поведение программы, добавляющей специализации для std::negation или std::negation_v является неопределённым.

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

B - любой тип, такой что выражение bool(B::value) является допустимым константным выражением

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

template< class B >
inline constexpr bool negation_v = negation<B>::value;

(с C++17)

Наследуется от std::integral_constant

Члены-константы

value

[static]

true если у B есть член ::value , который равен false при явном преобразовании в bool, false в противном случае
(общедоступная статическая константа-член)

Члены-функции

operator bool	преобразует объект в bool, возвращает `value` (общедоступная функция-член)
operator() (C++14)	возвращает `value` (общедоступная функция-член)

Типы членов

Тип	Определение
`value_type`	bool
`type`	std::integral_constant<bool, value>

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

template<class B>
struct negation : std::bool_constant<!bool(B::value)> { };

Примечания

Макрос проверки наличия функции	Значение	Стандарт	Функция
`__cpp_lib_logical_traits`	201510L	(C++17)	Логические операторы типа признаков

Пример

#include <iostream>
#include <type_traits>
 
static_assert(
    std::is_same<
        std::bool_constant<false>,
        typename std::negation<std::bool_constant<true>>::type>::value,
    "");
static_assert(
    std::is_same<
        std::bool_constant<true>,
        typename std::negation<std::bool_constant<false>>::type>::value,
    "");
 
int main()
{
    std::cout << std::boolalpha;
    std::cout << std::negation<std::bool_constant<true>>::value << '\n';
    std::cout << std::negation<std::bool_constant<false>>::value << '\n';
}

Вывод:

false
true

См. также

conjunction (C++17)	многоаргументная логическая операция И (шаблон класса)
disjunction (C++17)	многоаргументная логическая операция ИЛИ (шаблон класса)
integral_constantbool_constant (C++11)(C++17)	константа во время компиляции заданного типа со значением (шаблон класса)

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