std::experimental::negation

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS 功能特性

模式匹配

线性代数

std::execution

契约

2D 图形

 

库基础 v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

检测手法

统一容器擦除

逻辑运算符类型特征

 

在标头 <experimental/type_traits> 定义
template< class B > struct negation;	(1)	(库基础 TS v2)

构成类型特征 B 的逻辑反。

类型 negation<B> 是具有基础特征 std::integral_constant<bool, !bool(B::value)> 的一元类型特征 (UnaryTypeTrait) 。

模板形参

B

-

使得表达式 bool(B::value) 为有效常量表达式的类型

辅助变量模板

template< class B > constexpr bool negation_v = negation<B>::value;		(库基础 TS v2)

继承自 std::integral_constant

成员常量

value [静态]

如果 B 具有成员 ::value 使得 !bool(B::value) 为 true那么是 true，否则是 false (公开静态成员常量)

成员函数

operator bool	将对象转换到 bool，返回 value (公开成员函数)
operator() (C++14)	返回 value (公开成员函数)

成员类型

类型	定义
value_type	bool
type	std::integral_constant<bool, value>

可能的实现

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

参阅

negation (C++17)

逻辑非元函数 (类模板)