c - 结果的类型是什么？是否可以？

Question

我尝试寻找我的问题的答案......这个表达式在 C 语言中的类型是什么？

unsigned short a, b;
a = 0x1;
b = 0x2;
if((a ^ b) > 0) //This expression... 
...

我知道这不是一个完全正确的代码，可能会导致错误。我应该使用 != 代替 >.

我认为表达式结果的类型将是unsigned int。我在斯蒂芬·普拉特的书中读到过这一点。

如果我们有两种类型，那么涉及这两种类型的表达式的结果必须是高级类型。 (整数或无符号整数)

如果这两个变量还有其他值，这个表达式会不会小于零？(如果我们设置数字中的最高有效位，它会变成负数，前提是它具有有符号数据类型)

我认为这是不可能的，但我可能是错的。我做出了猜测，但我想知道我的问题的正确答案。

Answer 1

在(a ^ b) > 0中，其中a和b是无符号短:

• 如果 unsigned short 比 int 窄，则 a 和 b 分别转换为 int (根据整数提升，C 2018 6.3.1.1 2，并且因为 unsigned Short 比 int 窄，必然意味着 int可以表示unsigned Short的所有值)。
• 否则，a 和 b 将转换为 unsigned int(同上)。
• 对于 a ^ b，执行通常的算术转换 (6.5.11)。在此表达式中，通常的算术转换不会更改类型 (6.3.1.8 1)。同样，根据通常的算术转换，结果与转换后的操作数具有相同的类型。因此，结果是 int 或 unsigned int，如上所述。
• (a ^ b) 与 a ^ b (6.5.1 5) 具有相同的类型。
• 对于 (a ^ b) > 0，结果类型为 int (6.5.8 6)。