《深入理解计算机系统》在P105页,作者给出了INT_MIN在标准头文件limits.h中的定义#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)
文中说,-2147483648是一个常量表达式,而不是一个常量。所以-2147483648被理解为一个“-”号和一个常量值2147483648。对于“-”,是对原值补码进行“取反加1”操作。
对于没有后缀的常量,计算机匹配顺序为:
C98 : int, long int, unsigned long int
C99: int, long int, long long int
由于2147483648超出了有符号常量的表示范围,所以变成了unsigned int或long int,而写成-2147483647 - 1则可以精确的表示成为32位有符号整数的最小值。
因此若将INT_MIN声明为
#define INT_MIN -2147483648
那么因为整型的范围时-2147483648~2147483647
由于-2147483648是常量表达式,其中2147483648超出了int的表示范围,故调用unsigned int类型,即为:
10000000 00000000 00000000 00000000 :无符号型,表示正数2147483648
则-2147483648,即对上式取反+1,为:
01111111 11111111 11111111 11111111
+ 00000000 00000000 00000000 00000001
= 10000000 00000000 00000000 00000000 :无符型,值2147483648
所以最后INT_MIN的值就是unsigned int 2147483648
或者会将int扩展成为long int类型,该类型是64位,可以表示-2147483648
这样就与定义的int类型不符合
所以才这样定义宏#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)