Debug的世界

标签：style   blog   io   color   ar   使用   sp   strong   div   

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的世界

标签：style   blog   io   color   ar   使用   sp   strong   div   

原文地址：http://www.cnblogs.com/shiddong/p/4058218.html