命名空间
变体
操作

std::experimental::ranges::Boolean

来自 cppreference.cn
< cpp‎ | experimental‎ | ranges
 
 
实验性
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行性扩展 (并行性 TS)
并行性扩展 2 (并行性 TS v2)
并发性扩展 (并发性 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
实验性非 TS
模式匹配
线性代数
std::execution
契约
2D 图形
 
 
概念库
核心语言概念
                              
对象概念
                              
                              
比较概念
Boolean

可调用概念
                                        
                              
URNG 概念
 
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>&&;

    };
(ranges TS)

概念 Boolean 指定了类型在布尔上下文中使用时的要求。为了满足 Boolean,逻辑运算符必须具有通常的行为(包括短路)。更确切地说,给定

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_typestd::bitset<N>::reference。指针不是 Boolean 类型。

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