Unsigned 和 Signed 在同一表达式中：适用哪些规则？

Question

我对标题中提到的问题感到困惑。 有人告诉我，在涉及两种类型变量的表达式中，有符号被转换为/解释为无符号。 但是，正如以下代码片段所示，情况并非总是如此。

代码：

unsigned int x = 1;
int y = -20;
printf("Right shift = %x, %d\n", y>>x, y>>x);
printf("If = %x, %d\n", y < x, y < x);

结果：

Right shift = fffffff6, -10                                        
If = 0, 0

if 语句返回预期的 0，-20 被转换为一个非常大的无符号整数，但移位表达式返回 -10，这表明发生了算术移位而不是逻辑移位。 x 被解释为有符号而不是 y 被解释为无符号。

有人可以帮我解决这个问题吗？

Answer 1

在这个表达式中

y>>x

（C 标准，6.5.7 按位移位运算符）

3 对每个操作数执行整数提升。

这意味着由于y具有int类型而x具有unsigned int类型，因此不会发生任何转换（提升）。 和

...结果的类型是提升的左操作数的类型。

因此表达式的结果具有int类型 - 操作数y的类型。 因为y有一个负值那么

...IfE1 有一个有符号类型和一个负值，结果值是实现定义的

至于这个表情

y < x

然后使用通常的算术转换。 这两个操作数具有相同的等级，因此int类型的操作数y被转换为unsigned int类型，并且其作为unsigned int类型的对象的二进制表示大于操作数x的二进制表示。

来自 C 标准 *6.3.1.8 通常的算术转换）

否则，如果具有无符号整数类型的操作数的秩大于或等于另一个操作数的类型的秩，则将具有有符号整数类型的操作数转换为具有无符号整数类型的操作数的类型。