关于c语言INT_MIN定义的问题

关于c语言INT_MIN定义的问题

最近看到一段代码

#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)

INT_MIN的值应该为 -2147483648，为何不直接定义呢？因而搜索了一下，参考了Jack47的blog:C语言中TMin的写法这篇文章。

我的理解为C语言在处理程序中常量时，符号-和后面的值是分开处理的，先处理字面值，而后将-做为一元运算符。处理字面值的时候会决定这个常量的类型，基本的规则是选能容纳字面值的最小类型。如32位系统，2147483648这个值决定为unsigned int，若是使用#define INT_MIN (-2147483648)这个定义，INT_MIN类型为unsigned int。

写了一段代码验证

#include <stdio.h>

#define INT_MAX 2147483647
#define INT_MIN (-INT_MAX - 1)

// TMIN is unsigned int
#define TMIN (-2147483648)        

int main(){
   	int i = 1;
	if (i > TMIN) 
       	printf("%d > tmin\n", i);
   	else   
       	printf("%d < tmin\n", i);
   	if (i > INT_MIN)
       printf("%d >INT_MIN\n", i);
   	printf("%d\n",sizeof(TMIN));
}

运行结果为

1 < tmin
1 >INT_MIN
4

补充：

CSAPP的补充材料waside-tmin.pdf

上面的例子说明了不一样格式字面值在C90和C99下面的类型肯定的规则，C90 32位下类型为unsigned，就会产生上面程序的结果。

对于这种会产生不一样行为的代码最好避免.