std::experimental::negation

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 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> 是一个 一元类型特性 (UnaryTypeTrait)，其基本特性是 std::integral_constant<bool, !bool(B::value)>。

模板参数

B

-

任何类型，只要表达式 bool(B::value) 是一个有效的常量表达式

辅助变量模板

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

继承自 std::integral_constant

成员常量

value [静态]

true 如果 B 拥有成员 ::value 使得 !bool(B::value) 为 true，否则为 false (public static 成员常量)

成员函数

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

成员类型

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

可能实现

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

参见

negation (C++17)

逻辑 NOT 元函数 (类模板)