[C++知识库]C++ 算术转化 算术类型之间相互转化所遵循的规则说明

最近在重看《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
?

以上内容节选自?C++ Primer 第四章学习 —— “表达式”_榛栗栗栗子的博客-CSDN博客