std:: negation

is_constructible is_trivially_constructible is_nothrow_constructible (C++11) (C++11) (C++11)
is_default_constructible is_trivially_default_constructible is_nothrow_default_constructible (C++11) (C++11) (C++11)
is_copy_constructible is_trivially_copy_constructible is_nothrow_copy_constructible (C++11) (C++11) (C++11)
is_move_constructible is_trivially_move_constructible is_nothrow_move_constructible (C++11) (C++11) (C++11)
is_assignable is_trivially_assignable is_nothrow_assignable (C++11) (C++11) (C++11)

is_copy_assignable is_trivially_copy_assignable is_nothrow_copy_assignable (C++11) (C++11) (C++11)
is_move_assignable is_trivially_move_assignable is_nothrow_move_assignable (C++11) (C++11) (C++11)
is_destructible is_trivially_destructible is_nothrow_destructible (C++11) (C++11) (C++11)
has_virtual_destructor (C++11)
is_swappable_with is_swappable is_nothrow_swappable_with is_nothrow_swappable (C++17) (C++17) (C++17) (C++17)

Relationships and property queries

is_same (C++11)
is_convertible is_nothrow_convertible (C++11) (C++20)
is_layout_compatible (C++20)
is_pointer_interconvertible_base_of (C++20)
is_pointer_interconvertible_with_class (C++20)
is_corresponding_member (C++20)
reference_constructs_from_temporary (C++23)
reference_converts_from_temporary (C++23)

is_base_of (C++11)
is_virtual_base_of (C++26)
alignment_of (C++11)
rank (C++11)
extent (C++11)
is_invocable is_invocable_r is_nothrow_invocable is_nothrow_invocable_r (C++17) (C++17) (C++17) (C++17)

Type modifications

remove_cv remove_const remove_volatile (C++11) (C++11) (C++11)
add_cv add_const add_volatile (C++11) (C++11) (C++11)
make_signed (C++11)
make_unsigned (C++11)

remove_reference (C++11)
add_lvalue_reference add_rvalue_reference (C++11) (C++11)
remove_pointer (C++11)
add_pointer (C++11)
remove_extent (C++11)
remove_all_extents (C++11)

Type transformations

aligned_storage (C++11) (deprecated in C++23)
aligned_union (C++11) (deprecated in C++23)
decay (C++11)
remove_cvref (C++20)
enable_if (C++11)
void_t (C++17)

conditional (C++11)
common_type (C++11)
common_reference (C++20)
underlying_type (C++11)
result_of invoke_result (C++11) ( until C++20* ) (C++17)
type_identity (C++20)

Compile-time rational arithmetic

Compile-time integer sequences

integer_sequence

(C++14)

Defined in header `<type_traits>`
template < class B > struct negation ;		(since C++17)

Forms the logical negation of the type trait B .

The type std :: negation < B > is a UnaryTypeTrait with a base characteristic of std:: bool_constant < ! bool ( B :: value ) > .

If the program adds specializations for std::negation or std::negation_v , the behavior is undefined.

Template parameters

any type such that the expression bool ( B :: value ) is a valid constant expression

Helper variable template

template < class B > constexpr bool negation_v = negation < B > :: value ;		(since C++17)

Inherited from std:: integral_constant

Member constants

value

[static]

true if

has a member :: value that is false when explicitly converted to bool , false otherwise
(public static member constant)

Member functions

operator bool	converts the object to bool , returns value (public member function)
operator() (C++14)	returns value (public member function)

Member types

Type	Definition
`value_type`	bool
`type`	std:: integral_constant < bool , value >

Possible implementation

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

Notes

Feature-test macro	Value	Std	Feature
`__cpp_lib_logical_traits`	201510L	(C++17)	Logical operator type traits

Example

Run this code

#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,
    "");
 
static_assert(std::negation_v<std::bool_constant<true>> == false);
static_assert(std::negation_v<std::bool_constant<false>> == true);
 
int main() {}

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Metaprogramming library (C++11)
Diagnostics library
General utilities library
Strings library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Numerics library
Localizations library
Input/output library
Filesystem library (C++17)
Regular expressions library (C++11)
Concurrency support library (C++11)
Execution support library (C++26)
Technical specifications
Symbols index
External libraries

conjunction (C++17)	variadic logical AND metafunction (class template)
disjunction (C++17)	variadic logical OR metafunction (class template)
integral_constant bool_constant (C++11) (C++17)	compile-time constant of specified type with specified value (class template)