首页 > 代码库 > Debug的世界

Debug的世界

 

1.一个微妙的bug 

#include <stdio.h>#define TOTAL_ELEMENTS ( sizeof(array)/sizeof(array[0]) )int main(){    int array[] = {23, 34, 45, 56, 67};    int d = -1;    if(d <= TOTAL_ELEMENTS)        printf("array[0] = %d\n", array[d+1]);    return 0;}

TOTAL_ELEMENTS所定义的是unsigned int类型的(因为sizeof返回的是无符号整型),if 语句在signed int 和 unsigned int 之间测试相等性,所以d 被升级为unsigned int 类型,-1 被转换成unsigned int 的结果将是一个非常大的正整数,致使表达式的值为假。

要修正这个问题,只要对TOTAL_ELEMENTS进行强制类型转换即可:if(d <= (int)TOTAL_ELEMENTS);

启发:

尽量不要在带代码中使用无符号类型,以免增加不必要的复杂性。尤其是,不要仅仅因为无符号数不存在负值(如年龄)而用它来表示数量。

尽量使用像int 那样的有符号类型,这样在涉及升级混合类型的复杂细节时,不必担心边界情况(如-1被翻译成非常大的正数).

只有在使用位段和二进制掩码时,才可以使用无符号数。应该在表达式中使用强制类型转换,是操作数均为有符号或者无符号数,这样就不必须由编译器来选择结果的类型。

Debug的世界