C++primer学习笔记-----4.11类型转换

【何时发生隐式转换（编译器自动地转换运算对象的类型）：

在大多数表达式中，比int 类型小的整型值首先提升为较大的整数类型；

在条件中，非布尔值转换成布尔类型；

初始化过程中，初始值转换成变量的类型，在赋值语句中，右侧运算对象转换成左侧运算对象的类型；

如果算数运算或关系运算的运算对象有多种类型，需要转换成同一种类型；

函数调用有时也会发生类型转换。】

4.11.1 算数转换

【算数转换的规则定义了一套类型转换的层次，其中运算符的运算对象将转换成所有运算对象中最宽的类型；

当表达式中既有浮点类型也有整数类型时，整数值将转换成相应的浮点类型。】

【整形提升负责把 小整数类型提升成 较大的整数类型：

对于bool, char, signed char, unsigned char, short, unsigned short 等类型来说， 只要它们所有可能的值都能存在int 里，它们就会提升成int 类型；

否则，提升成unsigned int 类型（ 在以上诸种情况中，只有当short 的长度与int 相同，且unsigned short 的值超过int 时，会发生这种提升）。

较大的char 类型（wchr_t, char16_t, char32_t）提升成int, unsigned int, long, unsigned long, long long, unsigned long long 中最小的一种类型， 前提是转换后的类型要能容纳原类型所有可能的值。】

【进行完整数提升后，再对运算符的运算对象进行匹配， 将无符号类型和有符号类型统一成两个类型中表示范围广的那一种，如果两者范围互相不能完全覆盖，则表示成无符号类型，并对有符号类型取模转化成无符号类型。】

4.11.2 其他隐式类型转换

【C++ 允许通过自我限制的方式，将没有底层const 的类型转换成具有底层const 的类型：

比如将指向非常量类型的指针转换成指向常量类型的指针；

比如将常量引用绑定到非常量类型上；

比如 将指向任意非常量类型的指针转换成void* 类型（ 指向任意类型的指针转换成const void* 类型）。】

【类类型定义的转换：

类类型能定义由编译器自动执行的转换，不过 编译器每次只能执行一种类类型的转换。

比如将C 风格字符串转换成string 类型。】

4.11.3 显式转换

【一个命名的强制类型转换具有如下形式：

cast-name<type>(expression);

cast-name 是static_cast, dynamic_cast, const_cast, reinterpret_cast 中的一种。 dynamic_cast 将在19.2节进行介绍。】

【static_cast 强制类型转换：

任何具有明确定义的类型转换，只要不包含底层const，都可以使用static_cast；

当需要把一个较大的算数类型赋值给较小的类型时，static_cast 非常有用（此时强制类型转换告诉编译器，我们明确且接受类型转换中潜在的精度损失，并另编译器不对此报错）；

当我们通过自我限制的方式隐式的将指向非常量对象的指针转换成void* 类型后，又想通过void* 操作其对象，可以 通过static_cast 将指针类型转换回去，此时必须由程序编写者保证强制转换后的类型相互匹配（否则程序会产生未定义的后果）。

double slope = static_cast<double>(j) / i; // i,j 均为整形，通过强制类型转换，可以使表达式的一个运算对象为double 进而改变表达式结果的类型

void *p = &slope;
double *ptr_slope = static_cast<double *>(p); // 通过强制类型转换，如果类型能够匹配，之后通过指针操作其对象的行为将是合法的

】

【const_cast 强制类型转换：

对应4.11.2 中的自我限制实现的隐式类型转换， static_cast 能实现指针类型的反向转回； const_csat 则实现了底层const 的去除（前提是程序编写者保证去除后类型能够匹配）；

只有const_cast 能改变表达式的常量属性，使用其他形式的命名强制类型转换改变表达式的常量属性都将引发编译器错误；同样的， 我们也不能够通过const_cast 改变除了const 以外的其他属性。

const_cast 常常用于有函数重载的上下文中，这是种很常见的用法，关于函数重载将在6.4 节进行详细介绍。】

【reinterpret_cast 强制类型转换：

reinterpret_cast 通常为 运算对象的位模式提供较低层次上的重新解释。

使用reinterpret_cast 可以从语法上改变对象的类型，并且让编译器认可这种转换；使用这种转换是非常危险的，很有可能在这种转换后程序错误的使用了改变后的对象类型能执行但原类型的机械码不适合的语句。

reinterpret_cast 本质上依赖于机器，要想安全地使用reinterpret_cast 必须对涉及的类型和编译器实现转换的过程都非常了解。】

【在早期版本的C++ 版本中，显示地进行强制类型转换包含两种形式：

type (expr);

(type) expr;

新的转换类型在使用范围上能覆盖旧的转换类型且表现形式更为清晰，所以在不得不使用显式转换的时候，尽量使用新式转换类型。】