[C++]类型转换

在C&＃43;&＃43;语言中&＃xff0c;某些类型之间有关联&＃xff0c;如果两种类型有关联&＃xff0c;那么当程序需要其中一种类型的运算对象时&＃xff0c;可以用另一种关联类型的对象或值来替代。换句话说&＃xff0c;如果两种类型可以相互转换&＃xff0c;那么它们就是关联的。

例如

1、在大多数表达式中&＃xff0c;比int类型小的整型值首先提升为较大的整数类型

2、在条件中&＃xff0c;非布尔值转换成布尔类型

3、初始化过程中&＃xff0c;初始值转换成变量的类型&＃xff1b;在赋值语句中&＃xff0c;右侧运算对象转换成左侧运算对象的类型。

4、如果算术运算或关系运算的运算对象有多种类型&＃xff0c;需要转换成同一种类型。

5、函数调用时也会发生类型转换

算术转换的含义是把一种算术类型转换成另外一种算术类型&＃xff0c;

其中&＃xff1a;运算符的运算对象将转换成最宽的类型&＃xff1b;当表达式中既有浮点类型也有整数类型时&＃xff0c;整数值将转换成相应的浮点类型

整型提升负责把小整数类型转换成较大的整数类型。要求转换后的类型要能容纳原类型所有可能的值

如果某个运算对象的类型是无符号类型&＃xff0c;那么转换的结果就要依赖于机器中各个整数类型的相对大小

首先要进行整型提升&＃xff0c;如果带符号的类型不大于无符号的类型&＃xff0c;然后对于有符号的数转换成无符号的数。如果带符号的类型大于无符号的类型&＃xff0c;那么转换的结果依赖于机器。

数组是自动转换成指向数组首元素的指针

decltype、&、sizeof、typeid等运算符操作时&＃xff0c;上述转换不会发生

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

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

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

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

还存在继承类型关系间的指针转换

如果指针或算术类型的值为0&＃xff0c;转换结果是false。

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

如果T是一种类型&＃xff0c;我们就能将指向T的指针或引用分别转换成指向const T的指针或引用。

相反的转换不存在&＃xff0c;因为它试图删除掉底层const

类类型能定义由编译器自动执行的转换&＃xff0c;不过编译器每次只能指向一种类类型的转换。

显式将对象强制转换成另外一种对象

强制类型转换如浮点数除法&＃xff0c;

cast-name(expression);

type: 转换的目标类型

expression: 要转换的值

如果type是引用类型&＃xff0c;则结果是左值。

cast-name: static_cast、dynamic_cast、const_cast、reinterpret_cast

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

当需要把一个较大的算术类型赋值给较小的类型时&＃xff0c;static_cast非常有用

如果不使用static_cast则会给出警告信息&＃xff0c;

static_cast对于编译器无法自动执行的类型转换非常有用

可以用static_cast找回存在于void*指针中的值。

在转换时要确保指针的值保持不变&＃xff0c;也就是说强制转换的结果将与原始的地址值相等。

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

对于常量对象转换成非常量对象的行为&＃xff0c;我们一般称为去掉const性质。

如果对象本身不是一个常量&＃xff0c;使用强制类型转换获得写权限是合法的行为

如果对象本身是一个常量&＃xff0c;使用强制类型转换执行写操作就会产生未定义的后果。

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