程序猿之---C语言细节16（看了绝对值，编译类型ANSI C和K&R C类型判断，c编译器类型转换bug的细节）

#include <stdio.h>

int main()
{
// 例子1   ：编译器类型判断

/*
*  K&R采用无符号保留原则，即当一个无符号类型与ing 或更小的整型混合使用时，结果类型为无符号
*  ANSI C采用值保留原则， 即当把几个整数操作数像下面这样混合使用时，结果类型可能为有符号也可能为无符号
*  ，结果取决于操作数的类型的相对大小
*/
if(-1 < (unsigned char)1)  // 我使用编译器是ANSI C， 当写成if(-1 < (unsigned int)1)时，-1就被转换成巨大的正数，
//而当前表达式却不转换，印证了ANSI C值保留原则
printf("-1 is less than (unsigned char)1 : ANSI semantics\n");
else
printf("-1 NOT less than (unsigned char)1: K&R semantics\n");

/****************************************************
*  例子2	：错误例子说明								*
****************************************************/
    int array[] = {1,2,3,4,5,6,7};
    #define TOTAL_ELEMENTS (sizeof(array) / sizeof(array[0]))  /*使用array[0]而不是array[int]，可以不改变#define语句的情况下改变array数组的类型（如把int变成char）*/                                                            
    int d = -1, x;

/*(d = -1) <= (7-2 =5) 按理是要打印下面语句
*但是 TOTAL_ELEMENTS返回的是unsigned int类型(因为sizeof()返回
*的类型是无符号数)，if语句在signed int和unsigned int之间测试相等性时，
*把d的类型提升为unsigned int类型，-1转换为unsigned int 为很大的正整数，
*这个bug在ANSI C中存在，在K&R C中sizeof也是返回无符号，要修正这个问题,只要对 TOTAL_ELEMENTS进行强制类型转换即可
*加上if (d <= (int)TOTAL_ELEMENTS-2)
*/
if(d <= TOTAL_ELEMENTS-2)
{
x = array[d+1];
printf("x = %d\n",x);
}

/*
小启发：
1、尽量不要在你的代码中使用无符号类型，尤其是，不要仅仅因为无符号数不存在负值（如年龄、国债）而用它表示数量
2、尽量使用像int那样的有符号类型，这样在涉及升级混合类型的复杂细节时，不必担心便捷情况（如-1转换成了非常大的正数）
3、只有在使用位段和二进制掩码时，才可以用无符号数。应该在表达式中使用强制类型转换，使操作数均为无符号或有符号，
这样就不必有编译器来选择结果的类型，在第一个例子说明了
*/
return 0;
}