布尔运算符 ++和 -

Question

今天，在编写一些 Visual C++ 代码时，我遇到了一些令我惊讶的事情。看来 C++ 支持 bool 的 ++（增量），但不支持 --（减量）。这只是一个随机决定，还是背后有某种原因？

这编译：

static HMODULE hMod = NULL;
static bool once = false;
if (!once++)
    hMod = LoadLibrary("xxx");

这不：

static HMODULE hMod = NULL;
static bool once = true;
if (once--)
    hMod = LoadLibrary("xxx");

Answer 1

它来自使用整数值作为布尔值的历史。

如果 x 是 int，但我按照 if(x)... 将其用作布尔值，那么递增将意味着无论它在操作之前的真值，在其之后将有一个真值 true （除非溢出）。

但是，仅了解 x 的真值，就不可能预测 -- 的结果，因为它可能会导致 false（如果整数值为 1) 或 true（如果整数值为其他值 - 特别是这包括 0 [false] 和 2 或更多 [true >]）。

因此，作为简写 ++ 有效，而 -- 则无效。

为了与此兼容，布尔值上允许使用 ++，但标准中不推荐使用它，并且在 C++17 中将其删除。

---

这假设我仅使用x作为布尔值，这意味着溢出不会发生，直到我足够频繁地执行++以导致其本身的溢出。即使使用 char 作为所使用的类型和 CHAR_BITS 诸如 5 之类的低值，在这不再起作用之前，这已经是 32 次了（这仍然是一个不好的做法，我并不是在捍卫对于 32 位 int 来说，我们当然必须使用 ++ 2^32 次，然后才会出现问题。对于 --，如果我以 true 的值为 1 开始，或者以 0 开始并使用 ，则只会导致 false >++ 恰好之前有过一次。

如果我们从比 0 稍低一点的值开始，情况就会有所不同。事实上，在这种情况下，我们可能希望 ++ 最终得到 false 值，例如如：

int x = -5;
while(++x)
  doSomething(x);

但是，此示例将除条件之外的所有地方的 x 视为 int，因此它相当于：

int x = -5;
while(++x != 0)
  doSomething(x);

这与仅使用 x 不同作为布尔值。

Answer 2

ANSI ISO IEC 14882 2003 (c++03)：

5.2.6-2

后缀--的操作数是
与后缀类似地递减
++ 运算符，但操作数不得为 bool 类型。 [注：对于
前缀递增和递减，参见
5.3.2. ]

不出所料......

5.3.2-2

前缀--的操作数被修改
通过减去 1。操作数应
不是 bool 类型。要求
在前缀 -- 的操作数上
其结果的属性否则为
与前缀++相同。 [笔记：
对于后缀递增和递减，
见 5.2.6。 ]

5.6.2-1 和 5.3.2-1 还提到，布尔值的 ++ 应该为真，而附件 D-1 表示布尔值的 ++ 已弃用。

Answer 3

由于历史原因，这一点得到了支持。但请注意...
不推荐使用带有 ++ 运算符的 bool 类型操作数，请参阅 C++ 标准 (n3092) 中的第 5.3.2 节

5.3.2 递增和递减 [expr.pre.incr]

• 前缀++的操作数被修改
  添加 1，或者如果是则设置为 true
  bool（不推荐使用此用法）。这
  操作数应是可修改的左值。
  操作数的类型应为
  算术类型或指向 a 的指针
  完全定义的对象类型。这
  result 是更新后的操作数；这是
  一个左值，并且它是一个位域，如果
  操作数是一个位域。如果 x 是
  不是 bool 类型，表达式 ++x
  等价于 x+=1 [ 注意：参见
  加法（5.7）和的讨论
  赋值运算符 (5.17)
  有关转换的信息。 ——尾注
  ]
• 前缀--的操作数被修改
  通过减去 1。操作数应
  不是 bool 类型。要求
  在前缀 -- 的操作数上
  其结果的属性是
  其他方面与前缀相同
  ++。

Answer 4

• 对于旧标准（C++98），这不是一个错误。
• 随着新标准的增加，布尔值已被弃用。 (C++11)
• 在 C++17 之前，您可以对布尔值使用增量。