强制类型转换是有一定风险的,有的转换并不一定安全,如把整型数值转换成指针,把基类指针抓换成派生类指针,把一种函数指针转换成另一种函数指针,把常量指针转换成非常量指针等。
C++引入四种功能不同的强制类型转换运算符以进行强制类型转换
- const_cast
- static_cast
- reinterpret_cast
- dynamic_cast
C语言强制类型转换的特点:
主要为了克服C语言强制类型转换的以下三个缺点
- 没有从形式上体现转换功能和风险的不同
- 例如,将int类型转换为double是没有风险的,而将常量指针转换为非常量指针,将基类指针转换为派生类指针都是高风险的,而且后两者带来的风险不同(即可能引发不同种类的错误),C语言的强制类型转换并没有对这些不同加以区分
- 将多态基类指针转换成派生类指针时不检查安全性,即无法判断转换后的指针是否确实指向一个派生类对象
- 难以在程序中寻找到底什么地方进行了强制类型转换
- 强制类型转换是引发程序运行时错误的一个原因,因此在程序出错时,可能就会想到是不是有哪些强制类型转换出了问题
static_cast-->明确隐式转换
基本等价于隐式转换的一种类型转换运算符,可使用于需要明确隐式转换的地方
可以用于低风险的转换
- 整形和浮点型
- 字符与整型
- 转换运算符
- 空指针转换为任何目标类型的指针
不可以用于风险较高的转换
- 不同类型指针之间的相互转换
- 整型和指针之间的相互转换
- 不同类型引用之间的相互转换
#include <iostream> using namespace std; class Test { public: operator int() { return m_int; } private: int m_int; }; int main() { int n = 5; float f = 10.0f; // 本质上,发生了隐式转换 f = n; // static_cast f = static_cast<float>(n); // 低风险的转换 // 整型与浮点型 double d = 1.0; n = static_cast<int>(d); // 字符与整形 char ch = 'a'; n = static_cast<int>(ch); // 无类型指针与任何指针 void* p = NULL; char* str = static_cast<char*>(p); // 转换运算符 Test t; n = t; n = static_cast<int>(t); // 高风险的转换 // 整型与指针类型 // str = n; 不行 // str = static_cast<char*>(n); 不行 int* pInt; // pInt = str; 不行 // pInt = static_cast<int*>(str); 不行 return 0; }
#include <iostream> using namespace std; // 基类与派生类之间的转换 class Father { public: Father() : m_test(3) { } public: virtual void foo() { cout << "Father::foo" << endl; } private: int m_test; }; class Son : public Father { public: virtual void foo() { cout << "Son::foo" << endl; } }; int main() { Father* f = NULL; Son* s = NULL; // 父类转子类(不安全) // s = f; 不可以 s = static_cast<Son*>(f); // 可有,但是不安全,没有提供运行时的检测 // 子类转父类(安全) f = s; f = static_cast<Father*>(s); return 0; }
dynamic_cast-->用于具有虚函数的基类和派生类之间的指针或引用的转换
- 基类必须具备虚函数
- 原因:dynamic_cast是运行时类型检查,需要运行时类型信息(RTTI),而这个信息是存储与类的虚函数表关系紧密,只有一个类定义了虚函数,才会有虚函数表
- 运行时检查,转型不成功则返回一个空指针
- 非必要不要使用dynamic_cast,有额外的函数开销
常见的转换方式:
- 基类指针或引用转派生类指针(必须使用dynamic_cast)
- 派生类指针或引用转基类指针(可以使用dynamic_cast,但是更推荐使用static_cast)
#include <iostream> using namespace std; // 基类与派生类之间的转换 class Father { public: Father() : m_test(3) { } public: virtual void foo() { cout << "Father::foo" << endl; } int getValue() { return m_test; } private: int m_test; }; class Son : public Father { public: virtual void foo() { cout << "Son::foo" << endl; } }; int main() { Father f; Son s; Father* pf = &f; Son* ps = &s; // 在运行时可以检测该转换(父类转子类)是否安全 ps = dynamic_cast<Son*>(pf); if (NULL != ps) { cout << ps->getValue() << endl; } else { cout << "ps is null" << endl; } return 0; }
reinterpret_cast-->明确显示强转
- 用于进行各种不同类型的转换
- 不同类型指针之间
- 不同类型引用之间
- 指针和能容纳指针的整数类型之间的转换
- 编译期处理,执行的是逐字节复制的操作
- 类似于显示强转,后果自负
const_cast-->仅用于去除const属性的转换,它是四个强制类型转换运算符中唯一能够去除const属性的运算符
常量对象,常量基本数据类型是不允许转化为非常量对象的,只能通过指针或引用来修改
#include <iostream> using namespace std; int main() { // const_cast只针对指针,引用,this指针 const int val = 3; int* pVal = const_cast<int*>(&val); *pVal = 4; cout << val << endl; // 3 cout << *pVal << endl; // 4 int& v = const_cast<int&>(val); v = 5; cout << val << endl; // 3 cout << v << endl; // 5 return 0; }
#include <iostream> using namespace std; class Test { public: Test() : m_val(2) { } public: void setValue(int v) const { // Test* const this 非常函数 // cosnt Test* const this 常函数 // m_val = v; 常函数不能修改类中的成员 const_cast<Test* const>(this)->m_val = v; } int getValue() { return m_val; } private: int m_val; }; int main() { Test t; t.setValue(100); cout << t.getValue() << endl; // 100 return 0; }