C++ 命名要求: BooleanTestable
来自 cppreference.com
指定此类类型和值类别表达式的类型可以转换为 bool,并且该类型的逻辑运算符或两个不同的 BooleanTestable 类型具有通常的行为(包括 短路评估)。
内容 |
[编辑] 要求
设 e 为某类型和值类别的表达式。如果该类型和值类别满足 BooleanTestable 要求,则
- !e 形式良好,并且不会修改 e 所表示的对象(如果有),除非 e 是一个右值,则表示的对象可以处于有效的但未指定的状态(自 C++11 起).
- e 和 !e 都可以通过 隐式转换 和 static_cast 转换为 bool。
- 两种方式的转换都产生相同的结果,并且不会修改源对象(如果有),除非 e 或 !e 是一个右值,则源对象可以处于有效的但未指定的状态(自 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 的操作数时,会选择内置版本并执行短路评估。
如果且仅当 decltype((e)) 对 |
(自 C++20 起) |
BooleanTestable 类型的示例(具有任何值类别)包括 bool、std::true_type(自 C++11 起)、std::bitset<N>::reference 和 int*。
[编辑] 缺陷报告
以下行为更改缺陷报告被追溯地应用于先前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 2114 (P2167R3) |
C++98 | 可转换为 bool 的要求过于宽松,无法反映实现的预期 | 强化了要求 |
[编辑] 参见
(C++20) |
指定类型可以在布尔上下文中使用 (仅用于说明的概念*) |