无符号整数零的位表示

Question

在无符号整数上使用按位运算时，我遇到了一种我没想到的行为。我将直接进入我的示例。

unsigned int a = 0;
unsigned int b = 0;
std::printf("a & b: %u\n", a & b);
std::printf("a == b: %i\n", a == b);
std::printf("a & b == a: %i\n", a & b == a);

以上代码产生以下输出：

a & b: 0
a == b: 1
a & b == a: 0

最后一行让我感到困惑。 a & b == a 不应该评估为 true，因为 a & b == (unsigned int)0 和 a == (unsigned int)0？

Answer 1

您遇到这种行为是因为您没有意识到 == 在 C operator precedence table 中位于 & 之前。事实上，一个好的编译器会立即警告你的代码：

t.cpp:10:35: warning: & has lower precedence than ==; == will be evaluated first [-Wparentheses]
std::printf("a & b == a: %i\n", a & b == a);
                                  ^~~~~~~~
t.cpp:10:35: note: place parentheses around the '==' expression to silence this warning
std::printf("a & b == a: %i\n", a & b == a);
                                  ^
                                    (     )
t.cpp:10:35: note: place parentheses around the & expression to evaluate it first
std::printf("a & b == a: %i\n", a & b == a);
                                  ^
                                (    )

确保您的警告已开启，例如g++ -Wall -Wextra -Werror。

Answer 2

你应该写：

(a & b) == a 

现在你会得到 1，因为 a & b will be evaluated first：

(a & b) = 0，0 == 0 是 1。

在您的情况下，a & b == a 被评估为 a & (b == a)，b == a 为 1，a & 1 为 0。

Answer 3

由于=='s precedence over &，a & b == a 被评估为a & (b == a)（而不是您似乎预期的(a & b) == a）。