* 和 + 分别等同于 && 和 ||在布尔操作数上？

Question

a[8] 是一个布尔数组。我正在尝试计算如下所示的布尔表达式。

bool a[8];
.....
bool result=a[0]*(a[3]+a[6]*(a[4]+a[7]*a[5]))+a[1]*(a[6]*a[3]+a[4]+a[7]*a[5])+a[2]*(a[5]+a[7]*(a[4]+a[6]*a[3]));

表达式很长，但在概念上并不复杂。唯一的错误是，当我将表达式中的 * 替换为 && （在这两种情况下我都期望逻辑与）或将 + 替换为 || 时，结果似乎不同。 （期望逻辑或）。

我不确定哪些是正确的，布尔运算符或乘法、加法等的数学符号。更糟糕的是，没有一个给出任何错误，即编译器对两者都很满意。哪一种更安全、更正确？

Answer 1

对于bool 操作数，它们几乎相同。但也有细微的差别：

1. * 和 + 会将 bool 类型参数扩展为 int 类型。

2. 表达式a || b 的类型是bool，而a + b 是int。 && 和 * 同上。

3. * 和 + 不是排序点，而 && 和 || 是。

4. * 和+ 没有短路，而&& 和|| 是。

5. 它们在运算符优先级表中占据非常不同的位置。所以替换并不简单。

1234563 /em> 因为bool 可以包含 C++ 中的陷阱表示。 && 和 * 可以变出类似的表达方式。

6. 很长的a + b + c + ... 链可能会溢出int 类型，其行为未定义。

(3) 表示a++ * a++ 是未定义的行为，但a++ || a++ 不是。

（此处不相关但值得注意：请注意，&& 和 || 在过载时会失去其短路特性。

Answer 2

除了逻辑运算符中的短路（这里没有区别）之外，解释行为变化的关键区别是operator precedence。

当您将* 替换为&&，或将+ 替换为|| 时，优先顺序会发生变化：* 的优先级高于 +，但@987654328 @ 的优先级低于 +。这就是为什么您需要将表达式完全括起来以强制执行所需的操作顺序，仅将 * 替换为 &&。

将* 和+ 替换为&& 和|| 将保持两个运算符的相对优先级相同，因此您最终会得到相同的结果。