在C中比较整数的结果

Question

如果x和y都是int ， xy < 0总是会返回与x < y相同的结果吗？

Answer 1

否。如果xy导致溢出或下溢，则行为未定义（因为int是带符号的类型）。

例如， INT_MIN - 1 < 0是未定义的行为，而INT_MIN < 1是定义的（和真）。

当没有溢出时，两个表达式xy < 0和x < y是相同的。

因为编译后的代码可能会在出现未定义的行为时执行任何操作，因此如果需要，C编译器可以将xy < 0重写为x < y 。 如果x和y是无符号类型，其中溢出是明确定义的，并且xy < 0且x < y不等效，则不是这样。

Answer 2

正如@ sgar91所说，没有。

例如：

X=0x80000000 //which is IntMin Y=1 xy < 0 // will be false as xy = 0x7FFFFFFF = +Maxint
但

x < y //will be true