main(){
if(-1 < (unsigned char)1)
printf("-l is less than (unsigned char)1: ANSI semantics ");
else
printf("-1 NOT less than (unsigned char)1: K&R semantics");
}
ANSI semantics & K&R semantics 标准差异导致,确认自身编译器。
int array[]=23,34,12,17,204,99,16);
#define TOTAL_ELEMENTS (sizeof(array)/sizeof(array[0]))
main( )
{
int d= -1,x; *
if(d <= TOTAL_ELEMENTS - 2)
x = array[d+1];
/* ... */
}
TOTAL_ELEMENTS 所定义的值是unsignedint 类型(因为sizeof0)的返回类型是无符号数)。if语句在 signedint和 unsignedint 之间测试相等性,所以d被升级为unsignedint 类型-1 转换成 unsigned int 的结果将是一个非常巨大的正整数,致使表达式的值为假。这个 bug在ANSI C中存在,而如果K&R C的某种编译器的 sizeof0)的返回值是无符号数,那么这个bug也存在。要修正这个问题,只要对 TOTAL ELEMENTS 进行强制类型转换即可:
if(d <= (int)TOTAL ELEMENTS - 2)
对无符号类型的建议
尽量不要在你的代码中使用无符号类型,以免增加不必要的复杂性。尤其是,不要仅仅因为无符号数不存在负值·如年龄、国债)而用它来表示数量。尽量使用像 int 那样的有符号类型,这样在涉及升级混合类型的复杂细节时,不必担心边界情况(如-1被翻译为非常大的正数)
只有在使用位段和二进制掩码时,才可以用无符号数。应该在表达式中使用强制类型转换,使操作数均为有符号数或者无符号数,这样就不必由编译器来选择结果的类型