c - 表达式中移位和按位补码的反转优先级

Question

在此代码中:

unsigned short int i = 3;
unsigned short int x = 30;
unsigned short int z = (~x) >> i;

在第三行，即使我使用括号，它似乎也会先进行移位，然后进行补码 (~)。

但是，如果我将 short 替换为 long，就不会出现奇怪的结果。 它在 Windows 和 Unix 中都会发生。这是为什么？

Answer 1

它完全按照您指定的顺序执行操作。

但是，操作数不是无符号短整型。在执行操作之前，积分提升会将 x 和 i 转换为良好的旧式常规有符号整数。引用 C 标准:

6.3.1 Arithmetic operands / paragraph 2

The following may be used in an expression wherever an int or unsigned int may be used:

• An object or expression with an integer type (other than int or unsigned int) whose integer conversion rank is less than or equal to the rank of int and unsigned int.

If an int can represent all values of the original type (as restricted by the width, for a bit-field), the value is converted to an int; otherwise, it is converted to an unsigned int.

在您尝试过的机器上，无符号短裤可以完美地放入有符号整数中。

此外，右移有符号整数具有实现定义的负值结果:

6.5.7 Bitwise shift operators / paragraph 5

The result of E1 >> E2 is E1 right-shifted E2 bit positions. If E1 has an unsigned type or if E1 has a signed type and a nonnegative value, the value of the result is the integral part of the quotient of E1 / 2^E2 . If E1 has a signed type and a negative value, the resulting value is implementation-defined.

而 ~x 是某个负整数(具体取决于有符号整数的值表示)。

以上所有情况很可能会导致您在将其转换回无符号短整数时无法获得预期结果。