std::experimental::ranges::Boolean
template< class B > concept bool Boolean = |
(ranges TS) | |
概念 Boolean
指定了类型在布尔上下文中使用时的要求。为了满足 Boolean
,逻辑运算符必须具有通常的行为(包括短路)。更确切地说,给定
-
b1
,b2
,两个类型为 const std::remove_reference_t<B> 的左值,
Boolean
仅在以下条件满足时成立:
- 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&&
完全相同。这约束了表达式的类型及其值类别。