c++ - 比较一个长变量与INT_MAX + 1

Question

//Code here
long a = 42;
if(a > INT_MAX + 1)

当我进行比较时， a > INT_MAX + 1实际上返回true，这使我感到困惑。
原因似乎是 INT_MAX + 1溢出了。但为什么？ INT_MAX应该只是由像 2^32 - 1这样的常量定义的宏，因此 INT_MAX + 1应该只是另一个常量值 2^32。而且由于 a很长，因此在编译期间，编译器还应隐式将 INT_MAX + 1转换为long类型，该类型应长于int且不会溢出。

我不明白为什么它实际上溢出了。

有人可以帮我吗？非常感谢。

Answer 1

therefore INT_MAX + 1 should be just another constant value

这是一个算术表达式。更具体地说，它是加法运算。添加溢出，并且程序的行为未定义。

therefore during compiling the compiler should also implicitly convert the INT_MAX + 1 to long type

是的但是结果的转换发生在操作之后。

您可以使用 a - 1 > INT_MAX修复表达式。尽管当 A是 LONG_MIN时也有失败的情况。另一种方法是将加法运算符之一转换为较大的类型(如果系统上存在较大的类型)。