第四章_表达式_4.11 类型转换

4.11 类型转换

隐式转换（implicit conversion）是自动执行的，无需介入。

何时发生隐式转换

• 在大多数表达式中，比int类型小的整型值首先提升为较大的整数类型
• 在条件中，非布尔值转换成布尔值
• 初始化过程中，初始值转换成变量的类型；在赋值语句中，右侧运算对象转换成左侧运算对象的类型
• 如果算术运算或关系运算的运算对象有多种类型，需要转换成同一种类型
• 函数调用时也会发生类型转换

4.11.1 算术转换（arithmetic conversion）

算术转换的含义是把一种算术类型转换成另外一种算术类型。

整型提升（integral promotion）

整型提升负责把小整数类型转换成较大的整数类型。

无符号类型的运算对象

1. 如果一个运算对象是无符号类型、另外一个运算对象是带符号类型，而且其中的无符号类型不小于带符号类型，那么带符号的运算对象转换成无符号的。
2. 如果带符号类型大于无符号类型，此时转换的结果依赖于机器。如果无符号类型的所有值都能存在该带符号类型中，则无符号类型的运算对象转换成带符号类型。如果不能，那么带符号类型的运算对象转换成无符号类型。

理解算术转换

bool  flag;	char cval;
short sval;	unsigned short usval;
int   ival;	unsigned int uival;
long  lval;	unsigned long ulval;
float fval;	double dval;
3.14159L + 'a';	// 'a' 提升成 int,然后该 int 值转换为 long double
dval + ival;	// ival 转换成 double
dval + fval;	// fval 转换成 double
ival = dval;	// dval 转换成 int
flag = dval;	// 如果 dval 是 0，flag 是 false；否则 flag 是 true
cval + fval;	// cval 提升为 int，然后该 int 值转换成 float
sval + cval;	// sval 和 cval 都提升成 int
cval + lval;	// cval 转换成 long
ival + ulval;	// ival 转换成 unsigned long
usval + ival;	// 根据 unsigned short 和 int 所占空间的大小进行提升
uival + lval;	// 根据 unsigned int 和 long 所占空间的大小进行转换

4.11.2 其他隐式类型转换

• 数组转换成指针

  在大多数用到数组的表达式中，数组自动转换成指向数组首元素的指针；

  当数组被用作decltype关键字的参数，或者作为取地址符&、sizeof及typeid等运算符的运算对象时，上述转换不会发生；

  如果用一个引用来初始化数组，上述转换也不会发生。

• 指针的转换

  常量整数值 0 或者字面值nullptr 能转换成任意指针类型；

  指向任意非常量的指针能转换成void *；

  指向任意对象的指针能转换成const void *；

• 转换成布尔类型

  存在一种整数类型或指针类型向布尔类型自动转换的机制。

• 转换成常量

  允许将指向非常量类型的指针转换成指向相应的常量类型的指针，对于引用也是这样。

• 类类型定义的转换

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

4.11.3 显式转换

强制类型转换（cast）

命名的强制类型转换

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

cast-name<type>(expression);

其中，type是转换的目标类型而expression是要转换的值。

如果type是引用类型，则结果是左值。

cast-name是static_cast、dynamic_cast、const_cast、reinterpret_cast其中的一种。

static_cast

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

// 进行强制类型转换以便执行浮点数除法
double slope = static_cast<double>(j) / i;
// 找回存在于 void* 指针中的值
void* p = &d;	
double *p = static_cast<double*>(p);

const_cast

const_cast只能改变运算对象的底层 const

const char *pc;
char *p = const_cast<char*>(pc); // 正确：但是通过 p 写值是未定义的行为

将常量对象转换成非常量对象的行为，称为“去掉 const 性质（cast away the const）”。

如果一个对象本身不是常量，使用强制类型转换获得写权限是合法的行为。然而如果对象是一个常量，再使用const_cast执行写操作就会产生未定义的结果。

只有const_cast能改变表达式的常量属性，使用其他形式的命名强制类型转换改变表达式的常量属性都将引发编译器错误。同样的，也不能用const_cast改变表达式的类型。

const char *cp;
char *q = static_cast<char*>(cp);	// 错误：static_cast 不能转换掉 const 性质
static_cast<string>(cp);			// 正确：字符串字面值转换成 string 类型
const_cast<string>(cp);				// 错误：cosnt_cast 只改变常量属性

reinterpret_cast

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

假设有如下转换

int *ip;
char *pc = reinterpret_cast<char*>(ip);

我们必须牢记pc所指的真实对象是一个int而非char，如果把pc当成普通的字符指针使用就会引起错误，如：

string str(pc); // 会引发错误

reinterpret_cast本质上依赖于机器，使用是十分危险的

旧式的强制类型转换

早期的强制类型转换包含两种形式：

type (expr);	// 函数形式的强制类型转换
(type) expr;	// C 语言风格的强制类型转换