std::experimental::ranges::Boolean

 

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)

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
Same DerivedFrom ConvertibleTo	CommonReference Common	Integral SignedIntegral UnsignedIntegral	Assignable SwappableSwappableWith
对象概念
Destructible Constructible DefaultConstructible	MoveConstructible CopyConstructible	Movable Copyable	Semiregular Regular
比较概念
Boolean	WeaklyEqualityComparableWith	EqualityComparableEqualityComparableWith	StrictTotallyOrderedStrictTotallyOrderedWith
可调用概念
InvocableRegularInvocable	Predicate	Relation	StrictWeakOrder
URNG 概念
UniformRandomNumberGenerator

 

在标头 <experimental/ranges/concepts> 定义
template <class B> concept bool Boolean =   ranges::Movable<std::decay_t<B>> &&   requires(const std::remove_reference_t<B>& b1,            const std::remove_reference_t<B>& b2, const bool a) {     { b1 }       -> ranges::ConvertibleTo<bool>&&;     { !b1 }      -> ranges::ConvertibleTo<bool>&&;     { b1 && a }  -> ranges::Same<bool>&&;     { b1 || a }  -> ranges::Same<bool>&&;     { b1 && b2 } -> ranges::Same<bool>&&;     { a && b2  } -> ranges::Same<bool>&&;     { b1 || b2 } -> ranges::Same<bool>&&;     { a || b2  } -> ranges::Same<bool>&&;     { b1 == b2 } -> ranges::ConvertibleTo<bool>&&;     { b1 == a  } -> ranges::ConvertibleTo<bool>&&;     { a == b2  } -> ranges::ConvertibleTo<bool>&&;     { b1 != b2 } -> ranges::ConvertibleTo<bool>&&;     { b1 != a  } -> ranges::ConvertibleTo<bool>&&;     { a != b2  } -> ranges::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 表达式中的表达式都要求保持相等性且稳定，而表达式的求值必须只修改其非常运算数。必须不修改常运算数。

隐式表达式变种

使用不修改某 const 左值运算数的表达式的 requires 表达式亦隐式要求该表达式的额外变种对给定运算数接受非 const 左值或（可为 const 的）右值，除非以有区别的语义显式要求这种表达式变种。这些隐式表达式变种必须符合与声明的表达式的相同的语义。不指定实现以何种程度校验变种的语法。

注意

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

{ expression } -> Same<T>&& 形式的推导制约等效地要求 decltype((expression))&& 为与 T&& 准确相同的类型。这会制约表达式的类型与其值类别。