Espacios de nombres
Variantes

    std::negation

    De cppreference.com
     
    C++
    Apoyo de compiladores
    Implementaciones independientes y albergadas
    Lenguaje
    Biblioteca estándar
    Encabezados de la biblioteca estándar
    Requisitos denominados
    Macros de prueba de característica (C++20)
    Biblioteca de apoyo del lenguaje
    Biblioteca de conceptos (C++20)
    Biblioteca de diagnósticos
    Biblioteca de gestión de memoria
    Biblioteca de metaprogramación (C++11)
    Biblioteca de servicios generales
    Biblioteca de contenedores
    Biblioteca de iteradores
    Biblioteca de rangos (C++20)
    Biblioteca de algoritmos
    Biblioteca de cadenas
    Biblioteca de procesamiento de texto
    Biblioteca numérica
    Biblioteca de fecha y hora
    Biblioteca de entrada/salida
    Biblioteca del sistema de archivos (C++17)
    Biblioteca de apoyo de concurrencia (C++11)
    Biblioteca de apoyo de ejecución (C++26)
    Especificaciones técnicas
    Índice de símbolos
    Bibliotecas externas
     
    Biblioteca de servicios
     
    Apoyo de tipos
    Tipos básicos
    Tipos fundamentales
    Tipos enteros de anchura fija (C++11)
    Límites numéricos
    Interfaz de C de límites numéricos
    Información de tipo
    en tiempo de ejecución
    Rasgos de tipos
    Categorías de tipos
    (C++11)
    (C++14)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    Propiedades de tipos
    (C++11)
    (C++11)
    (C++11)
    (C++11)
    (C++14)
    (C++11)
    (C++17)
    (C++11)
    (C++11)
    (C++11)
    (C++11)(hasta C++20)
    (C++11)(en desuso en C++20)
    (C++11)
    (C++11)
    (C++20)
    (C++20)
    (C++17)
    Constantes de rasgos de tipos
    (C++11)(C++17)(C++11)(C++11)
    Metafunciones
    (C++17)
    (C++17)
    (C++17)
    Contexto de evaluación constante
    (C++20)
    Operaciones soportadas
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)
    (C++17)(C++17)(C++17)(C++17)
    Relaciones y consultas de propiedades
    Modificaciones de tipos
    (C++11)(C++11)(C++11)
    (C++11)(C++11)(C++11)
    (C++11)
    (C++11)
    Transformaciones de tipos
    (C++11)
    (C++11)
    (C++11)
    (C++20)
    (C++11)
    (C++17)
    (C++11)
    (C++11)
    (C++20)
    (C++11)
    (C++11)(hasta C++20)(C++17)
    (C++20)
     
    <tbody> </tbody>
    Definido en el archivo de encabezado <type_traits>
    template<class B> struct negation;
    		 (desde C++17)
    See More

    Forma la negación lógica del rasgo de tipo B.

    El tipo std::negation<B> es un UnaryTypeTrait (rasgo de tipo unario) con una característica de base std::bool_constant<!bool(B::value)>.

    El comportamiento de un programa que añade especializaciones para negation o negation_v no está definido.

    Parámetros de plantilla

    B - Cualquier tipo tal que la expresión bool(B::value) es una expresión constante válida.

    Plantilla de variable auxiliar

    <tbody> </tbody>
    template<class B> inline constexpr bool negation_v = negation<B>::value;
    		 (desde C++17)
    [edit]

    Heredado de std::integral_constant

    Constantes miembro

    value
    [estático]
    		 true si B tiene un miembro ::value que es false cuando es explícitamente convertido a bool , de lo contrario false.
    (constante miembro pública estática)

    Funciones miembro

    operator bool
    		 Convierte el objeto a bool, devuelve value.
    (función miembro pública)
    operator()
    (C++14)
    		 Devuelve value.
    (función miembro pública)

    Tipos miembro

    Tipo Definición
    value_type bool
    type std::integral_constant<bool, value>

    Posible implementación

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

    Ejemplo

    Ejecuta este código
    #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';
}

    Salida: 

    false
true

    Véase también

    (C++17)
    		 Metafunción variádica de AND lógico.
    (plantilla de clase) [editar]
    (C++17)
    		 Metafunción variádica de OR lógico.
    (plantilla de clase) [editar]
    (C++11)
    		 Constante en tiempo de compilación del tipo especificado con el valor especificado.
    (plantilla de clase) [editar]