C++ 命名要求： BooleanTestable
来自 cppreference.cn
指定此类类型和值类别的表达式可转换为 bool，并且该类型或两种不同的 BooleanTestable 类型上的逻辑运算符具有通常行为（包括短路求值）。
目录 |
[编辑] 要求
令 e 为某种类型和值类别的表达式。如果满足以下条件，则该类型和值类别符合 BooleanTestable 要求：
- !e 格式良好，且不修改由 e 表示的对象（如果有），除非 e 是 xvalue，否则所表示的对象可以处于有效但未指定的状态(C++11 起)。
- e 和 !e 都可以通过隐式转换和 static_cast 转换为 bool。
- 两种转换方式都产生相等的结果，并且不修改源对象（如果有），除非 e 或 !e 是 xvalue，否则源对象可以处于有效但未指定的状态(C++11 起)。
- 满足 bool(!e) == !bool(e)。
- 对于 e 或 !e 的类型，通过依赖于参数的查找，没有可见的可用非成员 operator&& 和 operator||。
- 如果 e 或 !e 是类类型，则该类不定义任何成员 operator&& 或 operator||。
[编辑] 注意
标准没有定义具有此名称的命名要求。它最初是在 LWG2114 的早期解决方案中提出的，但在最终解决方案 P2167R3 中被替换为仅用于阐述的概念 boolean-testable。由于即使在 C++20 之前的模式下，实现通常也期望所提供的类型能够建模 boolean-testable，因此我们有意将 P2167R3 视为缺陷报告，并将 boolean-testable 转换为遗留的命名要求。
当 && 和 || 运算符与类型和值类别为 BooleanTestable 的操作数一起使用时，将选择内置版本并执行短路求值。
|
表达式 e 的类型和值类别满足 BooleanTestable 要求当且仅当 decltype((e)) 建模 |
(C++20 起) |
BooleanTestable 类型（具有任何值类别）的示例包括 bool、std::true_type(C++11 起)、std::bitset<N>::reference 和 int*。
[编辑] 缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 发布时的行为 | 正确的行为 |
|---|---|---|---|
| LWG 2114 (P2167R3) |
C++98 | 可转换为 bool 对于反映实现的期望来说太弱了 | 要求已加强 |
[编辑] 参阅
| (C++20) |
指定类型可以在布尔上下文中使用 (仅用于阐述的概念*) |
