最近在重看《C++Primer》,感觉算术转化有点绕人,就把该部分单独提取出来说明一下。
算术转化的含义是把一种算术类型转换成另外一种算术类型。算术转化的规则定义了一套类型转换的层次,其中运算符的运算对象将转化成最宽的类型。
整型提升
整型提升负责把小整数转换成较大的整数类型。所谓小整型一般就是一下几种:
bool, char, signed char, unsigned char, short, unsigned short
只要它们所有可能的值都能储存在int里,它们就会提升称为int类型;否则,提升成为unsigned int类型。
较大的char类型如:wchar_t, char16_t,char32_t
它们会提升成为int, unsigned int, long, unsigned long, long long, unsigned long long 中能容纳原类型所有可能值的最小一种类型。
无符号类型的运算对象
① 如果两个运算对象同为带符号类型 或 同为无符号类型,但是两个类型大小不同,则小类型转化为大类型
形如: int 和 long 运算,转化为 long 和 long 运算;
unsigned int 和 unsigned long 运算,转化为 unsigned long 和 unsigned long 运算。
② 两个运算对象,一个无符号的,一个带符号的,但是两个类型大小相同,则带符号的类型转化为无符号的类型
形如:int 和 unsigned int 运算,转化为 unsigned int 和 unsgined int 运算。
③ 两个运算对象,一个无符号的,一个带符号的,且带符号的类型比无符号的类型大
形如:unsigned int 和 long 运算
这种情况最为复杂,其转化结果依赖于机器。如果无符号类型的所有值都能存在于带符号类型中(也即带符号的类型所占空间大一些),则无符号类型的运算对象转化成带符号类型。
上述情款转化为:long 和 long 运算
如果不能(即带符号的类型和无符号的类型所占的空间一样大),带符号类型的运算对象转化成无符号类型。
上述情款转化为:unsigned int 和 unsigned int 运算
如果感觉上述规则记忆起来比较繁琐,那不妨尝试归纳下根本原则。
1.可表示数据范围(不考虑正负)小的类型会转化为可表示数据范围大的类型。
2.在两个不同数据类型可表示数据范围大小相同的情况下,小类型转化为大类型。
* 其中可表示数据范围(不考虑正负)的大小由 非符号位bit的多少 所决定。
* 大类型所占大小 大于或等于 小类型,大小类型是相对的,从小到大分别是:
short、int、long、long long (请结合参考整型提升)
综合考虑以上两点,例如在一个int类型和long类型均占4字节、32比特的机器上。转换的层级将是:
int 转 long 转 unsigned int 转 unsigned long