本节将重点理解C++中的类型转换
所谓类型转换就是从一种类型转换为另一种类型。
在C语言中,我们知道可以通过类型名强制转换,但这种方式往往是不安全的,而C++专门提供了安全的4中转换方式。
分别为static_cast、dynamic_cast、 const_cast 、reinterpret_cast
很好理解cast即抛弃,丢掉的意思,后面前面是指属性
1.const_cast
从字面理解就是丢掉const 属性,也就是说将一个const变量变为一个非const变量
当有些函数传入参数为const,但函数体内需要调用非const函数,则需要const_cast,但必须保证函数调用过程中
其值不变。
2 static_cast
用法:static_cast < type-id > ( expression )
说明:该运算符把expression转换为type-id类型,但没有运行时类型检查来保证转换的安全性。
来源:为什么需要static_cast强制转换?
情况1:void指针->其他类型指针
情况2:改变通常的标准转换
情况3:避免出现可能多种转换的歧义
它主要有如下几种用法:
用于类层次结构中基类和子类之间指针或引用的转换。进行上行转换(把子类的指针或引用转换成基类表示)是安全的;进行下行转换(把基类指针或引用转换成子类指针或引用)时,由于没有动态类型检查,所以是不安全的。
用于基本数据类型之间的转换,如把int转换成char,把int转换成enum。这种转换的安全性也要开发人员来保证。
把void指针转换成目标类型的指针(不安全!!)
把任何类型的表达式转换成void类型。
注意:static_cast不能转换掉expression的const、volitale、或者__unaligned属性。
static就是指向C语言风格的强制转换,但不保证安全
3reinterpret_cast
用法:reinpreter_cast<type-id> (expression)
其功能比static_cast更为强大,可以执行一些不相关的转换,如将指针转换为int.
但是其不执行任何的类型检测,所以安全性更差
4 dynamic_cast
用法:
dynamic_cast < type-id > ( expression )
另外转换时类必须有一个虚方法,否则编译会报错,因为这用在多态实现中
说明:该运算符把expression转换成type-id类型的对象。Type-id必须是类的指针、类的引用或者void *;如果type-id是类指针类型,那么expression也必须是一个指针,如果type-id是一个引用,那么expression也必须是一个引用。
dynamic_cast 主要用于继承层次中,上层向下层转换,即基类向派生类中转换,如果转换没有意义,则会返回NULL或抛出异常std::bad_cast。
那什么叫做没有意义呢,如果指向派生类的基类指针通过dynamic_cast转换为派生类指针,这是可以成功的,
如果原本基类指针指向的就是基类,则转换失败。
如
class test{
public:
test():mDatac(mDatas),mData2(2),mData1(mDatac){
std::cout<<"test construction"<<std::endl;
std::cout<<"mDatas construction "<<mDatas<<std::endl;
std::cout<<"mDatac construction "<<mDatac<<std::endl;
std::cout<<"mData1 construction "<<mData1<<std::endl;
std::cout<<"mData2 construction "<<mData2<<std::endl;
}
virtual ~test(){};
void donothing(){};
static void donothing(int){};
static void donothing(double){};
protected:
const int mDatac;
int mData1;
int mData2;
static int mDatas;
};
int test::mDatas = 5;
class subtest : public test{
public:
subtest(test &intest):submDatac(mDatac),submData1(mData1),submData2(mData2),mtest(intest){
std::cout<<"subtest construction"<<std::endl;
std::cout<<"subDatas construction "<<subDatas<<std::endl;
std::cout<<"submData1 construction "<<submData1<<std::endl;
std::cout<<"submData2 construction "<<submData2<<std::endl;
std::cout<<"submDatac construction "<<submDatac<<std::endl;
}
test& mtest;
virtual ~subtest(){};
private:
static int subDatas;
int submData1;
int submData2;
const int submDatac;
};
int subtest::subDatas = 6;
test:
#include<iostream>
using namespace std;
test a;
subtest sb(a);
int main()
{
subtest *derived = &sb;
test* base = &a;
test* bd = derived;
//subtest *dcoven = dynamic_cast<subtest*>(base);
if(dynamic_cast<subtest*>(base))
cout<<"base convers to derived success"<<endl;
else
cout<<"base convers to derived failed"<<endl;
if(dynamic_cast<subtest*>(bd))
cout<<"bd convers to derived success"<<endl;
else
cout<<"bd convers to derived failed"<<endl;
return 0;
}
output:
base convers to derived failed
bd convers to derived success