在线文档教程
C++
应用 | Utilities

std::negation

STD:否定

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

形成类型特征的逻辑否定B...

类型std::negation<B>是UnaryTypeTrait基本特征std::bool_constant<!bool(B::value)>...

模板参数

B-any type such that B::value is convertible to bool

辅助变量模板

template inline constexpr bool negation_v = negation::value;(since C++17)

继承自STD:积分[医]常量

成员常数

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

成员函数

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

成员类型

TypeDefinition
value_typebool
typestd::integral_constant<bool, value>

可能的实施

模板<class B>结构否定:STD::Bool[医]常数<%21B::value>{};

*。

二次

#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)variadic logical AND metafunction (class template)
disjunction (C++17)variadic logical OR metafunction (class template)
integral_constantbool_constant (C++11)(C++17)compile-time constant of specified type with specified value (class template)

© cppreference.com

在CreativeCommonsAttribution下授权-ShareAlike未移植许可v3.0。

http://en.cppreference.com/w/cpp/type/neation