由于不同的类型有不同的目的、特性和局限性,将一个类型转换为另一类型通常要处理这些差异,通常,一个类型转换后的值取决于目标类型的特性。
任何标量类型可被转换为_Bool, 结果为0i.e. 当标量值为o时,使用false; 当标量值为1时或非0时,使用true; 因为一个null指针比喻为0,所以转换为_Bool后,其值为false.
当整型值在新的无符号类型范围内时,它的值会被保护,换句话说,如果它们在0和Utype_Max之前,Utype_MAX为无符号类型的最大取值。
在无符号类型取值范围之外的值,它们的值将会多次加上或减去Utype_MAX + 1,直到其值在新类型的取值范围之内,下面的例子描述了把一个负数赋值给无符号整型:
#include <limits.h> // Defines the macros USHRT_MAX, UINT_MAX, etc.
unsigned short n = 1000; // The value 1000 is within the range of unsigned
// short;
n = -1; // the value -1 must be converted.
将有符号数-1赋值给一个无符号类型的变量,程序隐式地加上了USHRT_MAX + 1直到其结果在新类型的取值范围内,因为-1 + (USHRT_MAX + 1) = USHRT_MAX, 上例中,n的最终结果为USHRT_MAX;
对正整数而言,会减去(Utype_MAX + 1)使其值在新类型的取值范围之内,这与除以(Utype_MAX + 1)效果相同,如下例所描述:
#include <limits.h> // Defines the macros USHRT_MAX, UINT_MAX, etc.
unsigned short n = 0;
n = 0xFEDCBA; // The value is beyond the range of unsigned
// short.
如果unsigned short为16位的宽度,那么它的最大值为USHRT_MAX,其十六进制为FFFF,当值FEDCBA被转换为unsigned short时,如果与它除以十六进制10000(即USHRT_MAX + 1)的余数相等,通常小于或等于FFFF,在此例中,n的值最终被赋于DCBA。
将一个浮点型实数转换为无符号或有符号整数类型,编译器将丢弃分数部分,如果整数部分的值在新类型的取值范围外,结果将会转换为无符号类型,例如:
double x = 2.9;
unsigned long n = x; // The fractional part of x is simply lost.
unsigned long m = round(x); // If x is non-negative, this has the
// same effect as m = x + 0.5;
本例中初始化变量n时,x的值由double转换为unsigned long,并丢弃分数部分0.9.整数部分的 2将被赋值给n, 在初始化m时,使用C99标准中的round()函数,计算与x最接近的整型值,并返回一个double类型的值,小数部分的0.3在赋值给unsigned long类型的m时会被丢弃。
当一个复数转换为无符整数类型时,虚数部分首先会被丢弃,转换后的结果值为浮点型,例如:
#include <limits.h> // Defines macros such as UINT_MAX.
#include <complex.h> // Defines macros such as the imaginary
// constant I.
unsigned int n = 0;
float _Complex z = -1.7 + 2.0 * I;
n = z; // In this case, the effect is the same as
// n = -1;
// The resulting value of n is UINT_MAX.
变量z的虚数部分被丢弃,留下实数部分的浮点值-1.7, 然后浮点型的小数部分也被丢弃,留下的整型值为-1,它通过加上UINT_MAXT + 1 转换为unsigned int类型,因此,最后n被赋值为UINT_MAX。