C整型升级和寻常算术转换实例

ANSI C中的整型升级

char，short int或者int型位段（bit-field），包括它们的有符号或无符号变型，

以及枚举类型，可以使用在需要int或unsigned int的表达式中，

如果int可以完整地表示源类型的所有值，那么该类型的值就转换为int，否则转换为unsigned int。

ANSI C中的寻常算术转换

当执行算术运算时，操作数的类型如果不同，就会发生转换。

数据类型一般朝着浮点精度更高、长度更长的方向转换，

整型数如果转换为signed不会丢失信息，就转换为signed，否则就转换为unsigned。

这个称为值保留（value preserving）原则，与K&R C所采用的无符号保留（unsigned preserving）原则不同。

浮点类:

如果一个操作数的类型是long double，那么另一个操作数无论是什么类型都将被转换成long double。

如果两个操作数都不是long double型，那么当其中一个操作数的类型是double型，则另一个就将被转换成double 型。

如果两个操作数都不是double型，而其中一个操作数是float型，则另一个被转换成float型。

注意：double和float都不可用unsigned,short修饰，另外float还不可用long修饰

整形类规:

否则，两个操作数都不是三种浮点类型之一，它们一定是某种整值类型。在确定共同的目标提升类型之前，编译器将在所有小于int的整值类型上施加一个被称为整值提升(integral promotion)的过程。在进行整值提升时，类型(char、signed char、unsigned char和short、int)都被提升为类型int。如果机器上的int型足够表示所有unsigned、shoft型的值(这通常发生在short用半个字表示，而int用一个字表示的情况下)，则unsigned short int也被转换成int，否则它会被提升为unsigned int。

wchar_t和枚举类型被提升为能够表示其底层类型(underlying type)所有值的最小整数类型。

一旦整值提升执行完毕，类型比较就又一次开始。如果一个操作数是unsigned long型，则第二个也被转换成unsigned long型。如果两个操作数的类型都不是unsigned long，而其中一个操作数是long型，则另一个也被转换成long型。long 类型的一般转换有一个例外，如果一个操作数是long型，而另一个是unsigned int型，那么只有机器上的long型足够长，以便能够存放unsigned int的所有值时(一般来说，在32位操作系统中，long型和int 型都用一个字长来表示，所以不满足这里的假设条件)，unsigned int才会被转换为long型，否则两个操作数都被提升为unsigned long型。若两个操作数都不是long型，而其中一个是unsigned int型，则另一个也被转换成unsigned int 型。否则两个操作数一定都是int 型。

int d = -1;

if (d <= sizeof(arr)/sizeof(arr[0]))

...

这样的比较语句有问题，sizeof运算符返回无符号数。

if语句在signed int和unsigned int之间测试相等性，

按照上面的说法，可以这样解释：

首先，signed int和unsigned int长度相同，不会向更长的方向转换。

其次，signed int不能完整地表示unsigned int的所有值。

因此，signed int d被转换为unsigned int类型。

这样，-1就变成一个非常巨大的正整数，导致比较结果与预期的不符。

解决的方法是使用强制转换，(int)(sizeof(arr)/sizeof(arr[0]))。

我在VC++ 6.0和DEV-C++ 4.9.9.0中尝试了上面那段代码，的确如此。

不要因为无符号数不存在负值而用它表示数量（如年龄、国债等），

尽量使用int之类的有符号数，这样在混合运算中，

这样就不必担心边界情况（如-1被翻译为非常大的正数）。

只有在使用位段和二进制掩码时，才使用无符号数。

应该在表达式中使用强制类型转换，使所有的操作数均为有符号数或无符号数，

这样就不必由编译器来选择结果的类型。

C语言中的类型转换比一般人想象中的要广泛得多。

在涉及类型小于int或double的表达式中，都有可能出现类型转换。

printf(" %d ", sizeof 'A');

的结果是4， 是int的长度,编译器首先将'A'升级为整数97，再调用sizeof。

整型提升就是char、short int和位段类型（无论signed或unsigned）以及枚举类型将被提升为int，

前提是int 能够完整地容纳原先的数据，否则将被转换为unsigned int。

ANSI C表示，如果编译器能够保证运算结果一致，

也可以省略类型提升——这通常出现在表达式中存在常量操作数的时候。

另一个会发生隐式类型转换的地方就是参数传递。

在K&R C中，由于函数的参数也是表达式，所以也会发生类型提升。

在ANSI C中，如果使用了适当的函数原型，类型提升便不会发生，否则也会发生。

在被调用函数的内部，提升后的参数被裁减为原先声明的大小。

这就是为什么单个的printf()格式字符串%d能适用于几个不同类型，

short、char或int，而不论实际传递的是上述类型的哪一个。

函数从堆栈中（或寄存器中）取出的参数总是int类，并在printf或其他被调用函数里按统一的格式处理。

printf是一个可变参数函数，此时一般的参数提升始终会发生。