C语言中微妙的bug（一）

  一、摘自《C专家编程_1.10 “安静的改变”究竟有多少安静》

     类型转换。

     在下面这个例子里，变量d下标值小1，这段代码的母的就是处理这种情况。但if表达式的值却不是真。为什么？是不是有Bug:

         

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所定义的值是unsigned int类型（因为sizeof()的返回类型是无符号类型数）。if语句在signed int和unsigned int之间测试相等性，所以d被升级为unsigned int类型，-1转换成unsigned int的结果将是一个非常巨大的正整数，致使表达式的值为假。这个bug在ANSI C中存在，而如果K&K C的某种编译器的sizeof()的返回值是无符号数，那么这个Bug也存在。要修正这个问题，只要对TOTAL_ELEMENTS进行强制类型转换即可：

if(d < (int)TOTAL_ELEMENTS - 2)

        对无符号类型的建议

    尽量不要在你的代码中使用无符号类型，以免增加不必要的复杂性。尤其是，不要仅仅因为无符号不存在负值（如年龄、国债）而用它来表示数量。

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

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

二、switch的另外一个问题-----break中断了什么

    测试代码：

    

 1 #include<stdio.h> 2  3 int main() 4 { 5     int a = 2, b = 0; 6     switch(a) 7     { 8         case 1: 9               b = 1; 10               break; 11         case 2: 12               if(2 == a) 13               { 14                  break;（这里的break的意图是跳到16行） 15               } 16               b = 2;（意图是跳到这里） 17               break; 18         default: 19               b = 3; 20  21     }（但事实上是直接跳到这里了） 22     printf("b=%d\n",b); 23  24         return 0; 25 }

       运行结果：b=0;

       这个bug导致了，AT&T导致了整个长话网络的瘫痪。