std::experimental::ranges::Boolean

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (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 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

概念库

核心语言概念
相同 派生于 可转换为	公共引用 公共	整数 带符号整数 无符号整数	可赋值 可交换可与之交换
对象概念
可析构 可构造 默认可构造	可移动构造 可复制构造	可移动 可复制	半正则 正则
比较概念
布尔	可与之弱相等比较	可相等比较可与之相等比较	严格全序可与之严格全序比较
可调用概念
可调用正则可调用	谓词	关系	严格弱序
URNG 概念
均匀随机数生成器

 

定义在头文件 <experimental/ranges/concepts> 中
template< class B > concept bool Boolean =     Movable<std::decay_t<B>> &&     requires(const std::remove_reference_t<B>& b1,              const std::remove_reference_t<B>& b2, const bool a) {         { b1 }       -> ConvertibleTo<bool>&&;         { !b1 }      -> ConvertibleTo<bool>&&;         { b1 && a }  -> Same<bool>&&;         { b1 || a }  -> Same<bool>&&;         { b1 && b2 } -> Same<bool>&&;         { a && b2  } -> Same<bool>&&;         { b1 || b2 } -> Same<bool>&&;         { a || b2  } -> Same<bool>&&;         { b1 == b2 } -> ConvertibleTo<bool>&&;         { b1 == a  } -> ConvertibleTo<bool>&&;         { a == b2  } -> ConvertibleTo<bool>&&;         { b1 != b2 } -> ConvertibleTo<bool>&&;         { b1 != a  } -> ConvertibleTo<bool>&&;         { a != b2  } -> ConvertibleTo<bool>&&;     };		(范围 TS)

概念 Boolean<B> 指定了在布尔上下文中可用的类型要求。为了使 Boolean 满足，逻辑运算符必须具有通常的行为（包括短路）。更准确地说，给定

• b1、b2，类型为 const std::remove_reference_t<B> 的两个左值，

Boolean<B> 仅在以下情况下满足

• bool(b1) == !bool(!b1);
• b1 && b2、b1 && bool(b2) 和 bool(b1) && b2 都等于 bool(b1) && bool(b2) 且具有相同的短路评估；
• b1 || b2、b1 || bool(b2) 和 bool(b1) || b2 都等于 bool(b1) || bool(b2) 且具有相同的短路评估；
• bool(b1 == b2)、bool(b1 == bool(b2)) 和 bool(bool(b1) == b2) 都等于 (bool(b1) == bool(b2))；
• bool(b1 != b2)、bool(b1 != bool(b2)) 和 bool(bool(b1) != b2) 都等于 (bool(b1) != bool(b2)).

保持相等性

如果表达式在给定相同输入的情况下产生相同输出，则该表达式为等值保持的。

• 表达式的输入包括其操作数。
• 表达式的输出包括其结果以及表达式修改的所有操作数（如果有）。

每个需要等值保持的表达式还必须是稳定的：在没有对输入对象进行显式修改的情况下，对同一输入对象进行两次求值必须得到相同的输出。

除非另有说明，否则requires-expression中使用的每个表达式都必须是等值保持且稳定的，并且表达式的求值只能修改其非常量操作数。常量操作数不能被修改。

隐式表达式变体

如果requires-expression使用一个表达式，该表达式对某个常量左值操作数是非修改的，则它也隐式要求该表达式存在其他变体，这些变体接受非常量左值或（可能是常量）右值作为给定操作数，除非明确要求这样的表达式变体具有不同的语义。这些隐式表达式变体必须满足声明表达式的相同语义要求。实现验证变体语法的程度是未指定的。

注释

Boolean类型的示例包括 bool、std::true_type 和 std::bitset<N>::reference。指针不是Boolean类型。

形式为 { expression } -> Same<T>&& 的推导约束实际上要求 decltype((expression))&& 与 T&& 的类型完全相同。这限制了表达式的类型及其值类别。