学过C++的人都知道,C++是强类型语言,因此变量在使用前就要声明数据类型,不同数据类型分配的内存空间大小也是不同,在转换类型时尤其需要注意这个问题,以防止数据丢失或越界溢出。本文将详细归纳总结一下C++的类型转换。
C++从C发展而来,也继承两种C风格的转换:隐式转换和显式转换。
1.隐式转换
隐式转换是指由编译系统自动进行,不需要人工干预的类型转换,例如:
1
2
3
|
short a = 2000;
int b;
b = a;
|
隐式转换,也包括构造函数和运算符的转换,例如:
1
2
3
4
5
6
7
8
9
|
class A {};
class B {
public :
B (A a) {}
};
A a;
B b = a;
|
2.显式转换
和隐式转换相反,显式转换要利用强制类型转换运算符进行转换,例如:
1
2
3
4
|
double x = 10.3;
int y;
y = int (x); // 函数式写法
y = ( int ) x; // C风格写法
|
以上类型转换已经满足了基本类型的转换了。但是如果想转换类和指针,有时代码可以编译,在运行过程中会出错。例如:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#include <iostream>
class CDummy {
float i,j;
public :
CDummy () { i=1; j=1; }
};
class CAddition {
int x,y;
public :
CAddition () { x=1; y=1; }
int result() { return x+y;}
};
int main () {
CDummy d;
CAddition * padd;
padd = (CAddition*) &d;
std::cout << padd->result();
return 0;
}
|
这段代码会在运行期出错,在执行padd->result()时发生异常,有些编译器会异常退出。
传统明确的类型转换,可以转换成任何其他指针类型任何指针,它们指向的类型无关。在随后的调用成员的结果,会产生一个运行时错误或意外的结果。
C++标准转换运算符
传统的类和指针的类型转换方式很不安全,可能会在运行时异常退出,标准C++ 提供了四个转换运算符:dynamic_cast、reinterpret_cast、static_cast、 const_cast
dynamic_cast <new_type> (expression)
reinterpret_cast <new_type> (expression)
static_cast <new_type> (expression)
const_cast <new_type> (expression)
1.dynamic_cast
dynamic_cast只能用于指针和引用的对象。其目的是确保类型转换的结果是一个有效的完成所请求的类的对象,所以当我们从一个类转换到这个类的父类,dynamic_cast总是可以成功。dynamic_cast可以转换NULL指针为不相关的类,也可以任何类型的指针为void指针。
1
2
3
4
5
6
7
|
class CBase { };
class CDerived: public CBase { };
CBase b;
CDerived d;
CBase* pb = dynamic_cast <CBase*>(&d); // 子类转父类,正确
//CDerived* pd = dynamic_cast<CDerived*>(&b); // 父类转子类,错误
|
当新的类型不是被转换的类型的父类,dynamic_cast无法完成指针的转换,返回NULL。当dynamic_cast转换引用类型时,遇到失败会抛出Bad_cast 异常。
2.static_cast
static_cast可以执行相关的类的指针之间的转换,可以在子类和父类之间相互转换,但父类指针转成子类指针是不安全的。static_cast没有在运行时进行安全检查,因此我们要先确保转换是安全的。另一方面,static_cast对比dynamic_cast少了在类型安全检查的开销。
1
2
3
4
|
class CBase {};
class CDerived: public CBase {};
CBase * a = new CBase;
CDerived * b = static_cast <CDerived*>(a);
|
上述代码是合法的,b指向一个不完整的对象,可能在运行期导致错误。
static_cast也可以用来执行任何其他非指针的转换,如基本类型enum, struct, int, char, float等之间的标准转换:
1
2
3
|
double d = 3.14159265;
int i = static_cast < int >(d);
void * p = static_cast < void *>(&i); //任意类型转换成void类型
|
3.reinterpret_cast
reinterpret_cast转换成任何其他指针类型,甚至无关的类,任何指针类型。操作的结果是重新解释类型,但没有进行二进制的转换。所有的指针转换是允许的:不管是指针指向的内容还是指针本身的类型。
1
2
3
4
|
class A {};
class B {};
A * a = new A;
B * b = reinterpret_cast <B*>(a)
|
reinterpret_cast还可以用来转换函数指针类型,例如:
1
2
3
4
5
|
typedef void (*Func)(); // 声明一种函数指针定义,返回void
Func pFunc; // 定义FuncPtr类型的数组
//pFunc = &test; // 编译错误!类型不匹配
pFunc = reinterpret_cast <Func>(&test); // 编译成功!转换函数指针类型
|
4.const_cast
const_cast用于操纵对象的常量性,去掉类型的const或volatile属性。
1
2
3
4
5
6
7
8
9
10
11
|
#include <iostream>
void print ( char * str){
std::cout << str ;
}
int main () {
const char * c = "hello world" ;
print ( const_cast < char *> (c) );
return 0;
}
|