命名空间
变体
操作

C++ 命名要求: BooleanTestable

来自 cppreference.com
 
 
C++ 命名要求
 

指定此类类型和值类别表达式的类型可以转换为 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))boolean-testable 建模时,表达式 e 的类型和值类别才满足 BooleanTestable 要求。

(自 C++20 起)

BooleanTestable 类型的示例(具有任何值类别)包括 boolstd::true_type(自 C++11 起)std::bitset<N>::referenceint*

[编辑] 缺陷报告

以下行为更改缺陷报告被追溯地应用于先前发布的 C++ 标准。

DR 应用于 发布的行为 正确行为
LWG 2114
(P2167R3)
C++98 可转换为 bool 的要求过于宽松,无法反映实现的预期 强化了要求

[编辑] 参见

 (C++20)
指定类型可以在布尔上下文中使用
(仅用于说明的概念*)[编辑]