《C专家编程》学习笔记-1.10

分析下面这段代码，if表达式的值却不是真。

#include <stdio.h>
#include <time.h>
int arraytest[] = {23,34,12,17,202,99,16};
#define TOTAL_ELEMENTS (sizeof(arraytest)/sizeof(arraytest[0]))
int main()
{
    int d = -1,x = 0;


    if(d <= TOTAL_ELEMENTS -2)
        x = arraytest[d+1];
    return 0;
}

 TOTAL_ELEMENTS所定义的值是unsigned int类型（因为sizeof（）的返回类型是无符号数）。if语句在signed int和unsigned 之间测试相等性，所以d被升级为unsigned int 类型，-1转换成unsigned int的结果是一个非常巨大的正整数，致使表达式的值为假。这个bug在ANSI C中存在，要修正这个问题只要将TOTAL_ELEMENTS进行强制类型转换即可：
    if(d <= (int)TOTAL_ELEMENTS -2)
对无符号类型的建议：
尽量不要在代码中使用无符号类型，以免增加不必要的复杂性。尤其是，不要仅仅因为无符号数不存在负值（如年龄，国债）而用它来表示数量。
尽量使用想int那样有符号类型，这样在涉及升级混合类型的复杂细节时，不必要担心边界情况（如-1被翻译为非常大的正数）。

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

在define中使用这个语句：

#define TOTAL_ELEMENTS (sizeof(arraytest)/sizeof(arraytest[0]))

而不是

#define TOTAL_ELEMENTS (sizeof(arraytest)/sizeof(int))

因为前者可以在不修改#define语句中的情况下改变数组的基本类型（比如，把int变成char）。

在制订ANSI C标准书，引入了pragma指示符，这个指示符来源于Ada。#pragma用于向编译器指示一些信息，诸如希望把某个特定函数扩展为内联函数，或者取消边界检查，并非C语言所有。