C语言中的整型提升(integral promotion)

K＆R C中关于整型提升(integral promotion)的定义为：

"A character, a short integer, or an integer bit-field, all either signed or not, or an object of enumeration type, may be used in an expression wherever an integer maybe used. If an int can represent all the values of the original type, then the value is converted to int; otherwise the value is converted to unsigned int. This process is called integral promotion."

上面的定义归纳下来就是以下两个原则：

    1). 只要一个表达式中用到了整型值，那么类型为char、short int活整型位域(这几者带符号或无符号均可)的变量，以及枚举类型的对象，都可以被放在这个整型变量的位置。
    2). 如果1）中的变量的原始类型值域可以被int表示，那么原值被转换为int；否则的话，转为unsigned int。
   
    以上两者作为一个整体，被成为整型提升(Integral promotion)

    整型提升的概念容易与普通算术类型转换产生混淆。这两者的区别之一在于后者是在操作数之间类型不一致的情况下发生，最终将操作数转换为同一类型。而在算术运算这种情景下，即使操作数具有相同的类型，仍有可能发生整型提升。

    例如：

   

char  a , b ,c;
c = a  +  b;

    在上述过程中，尽管两个运算符"+"和"="的操作数全为char型，但在中间计算过程中存在着整数提升：对于表达式a+b ，a、b都是char型，因此被提升至int型后，执行“+”运算，计算结果(int型)再赋值给c(char型)，又执行了隐式的类型转换。

    是不是有一种很不相信的感觉？Me too，然而标准就是标准。可以使用下面的代码证明上面所描述的过程。

printf (  "  the size of the result of a+b :%d "  , sizeof ( a + b) );

    理解了整型提升的概念后，面对下面这个C语言的FAQ，你应该不会产生困惑了

   “ 为什么语句 printf( "%d",sizeof ('A') );  的输出结果是4呢？char类型长度不是1字节么？ ”

    最后提一句,ANSI C规定，编译器如果能保证 保证运算结果一致，也可以省略类型提升的操作——这通常出现在表达式中存在常量操作数的时候。

    但愿我的文章没有误导读到此文的人。