intN_t和uintN_t之间的比较

Question

我很困惑。例如：

int x=-1; 
unsigned y=0; 
(x<y) ----> false 

int8_t x=-1; 
unint8_t y=0; 
(x<y) ----> true 

此外，编译器会在第一次比较时引发警告，但不会引发第二次比较。看来，对于

• （INT VS无符号） - 诠释为无符号
• （intN_t VS uintN_t） - uintN_t升为intN_t

为什么有这种现象？真的吗？

Answer 1

无论何时将任何二进制算术运算符（包括比较）应用于一对短于int的数字类型，C在执行操作之前都会将两个操作数转换为int。

每当你将任何二进制算术运算符一对数字类型的大小相同，在符号类型不匹配，并不比int短，C的符号操作数转换为无符号的操作之前。

这些是“integer promotion”规则中的两条。它们不是非常直观的，如果今天从头开始设计C，它们可能不是一个人会做的事情，但它们就是它们的样子，我们被它们困住了。

Answer 2

这是通常的整数转换的结果。

在第一种情况下，两个操作数的排名至少为int，并且具有相同的等级，所以它们被转换为无符号整数类型。

在第二种情况下，int8_t是char（它必须是，如果它存在的话），这样两个操作数都提升到int。 -1和0都可以在int中表示，所以没有警告。