std::experimental::ranges::Boolean

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (filesystem TS)

库基础 (library fundamentals TS)

库基础 2 (library fundamentals TS v2)

库基础 3 (library fundamentals TS v3)

并行性扩展 (parallelism TS)

并行性扩展 2 (parallelism TS v2)

并发性扩展 (concurrency TS)

并发性扩展 2 (concurrency TS v2)

概念 (concepts TS)

范围 (ranges TS)

反射 (reflection TS)

数学特殊函数 (special functions TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用工具

迭代器

范围

算法

 

概念库

核心语言概念
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 =     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-表达式中使用的每个表达式都必须是相等性保持和稳定的，并且表达式的求值可能仅修改其非常量操作数。常量操作数不得修改。

隐式表达式变体

对于某些常量左值操作数是非修改性的表达式的requires-表达式，也隐式地要求接受给定操作数的非常量左值或（可能常量）右值的该表达式的额外变体，除非具有不同语义的表达式变体被显式地要求。这些隐式表达式变体必须满足声明的表达式的相同语义要求。实现验证变体语法的程度是未指定的。

注解

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

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