boolean-testable

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

技术规范

符号索引

外部库

 

概念库

核心语言概念 same_as (C++20) derived_from (C++20) convertible_to (C++20) common_reference_with (C++20) common_with (C++20) integral (C++20) signed_integral (C++20) unsigned_integral (C++20) floating_point (C++20) swappableswappable_with (C++20)(C++20) destructible (C++20) constructible_from (C++20) default_initializable (C++20)   move_constructible (C++20) copy_constructible (C++20) assignable_from (C++20)

比较概念 equality_comparableequality_comparable_with (C++20)(C++20) totally_orderedtotally_ordered_with (C++20)(C++20) 对象概念 movable (C++20) copyable (C++20) semiregular (C++20) regular (C++20) 可调用概念 invocableregular_invocable (C++20)(C++20) predicate (C++20) relation (C++20) equivalence_relation (C++20) strict_weak_order (C++20)

仅用于阐释的概念 boolean-testable  (C++20)

 

template< class B > concept __boolean_testable_impl = std::convertible_to<B, bool>;	(1)	(C++20 起) (仅用于阐述*)
template< class B > concept boolean-testable =     __boolean_testable_impl<B> &&     requires (B&& b) {         { !std::forward<B>(b) } -> __boolean_testable_impl;     };	(2)	(C++20 起) (仅用于阐述*)

仅用于阐释的概念 boolean-testable 指定可转换成 bool 的表达式，且逻辑运算符对其拥有通常行为（包括短路），即使是对于两个不同的 boolean-testable 类型亦是如此。

正式而言，为满足仅用于阐释的概念 __boolean_testable_impl，类型必须不定义任何成员 operator&& 与 operator||，而且无可行的非成员 operator&& 及 operator|| 可对实参依赖查找可见。另外给定使 decltype((e)) 为 B 的表达式 e，boolean-testable 仅若 bool(e) == !bool(!e) 才得以实现。

相等性保持

标准库概念的 requires 表达式中声明的表达式都要求保持相等性（除非另外说明）。

注解

boolean-testable 类型的例子包括 bool、std::true_type、std::bitset<N>::reference 和 int*。

引用

• C++23 标准（ISO/IEC 14882:2024）：

• 18.5.2 Boolean testability [concept.booleantestable]

• C++20 标准（ISO/IEC 14882:2020）：

• 18.5.2 Boolean testability [concept.booleantestable]