文章目录
- const_cast:去掉常量类型的类型转换
- static_cast:提供编译器认为安全的类型转换(在编译阶段完成类型转换)
- reinterpret:类似c风格的强制类型转化
- dynamic_cast:主要用在继承结构里,可以支持RTTI类型识别的上下转换
- dynamic_cast<>仅对多态类型(含虚函数的类)有效
- 多继承里的交叉转换
const_cast:去掉常量类型的类型转换
const_cast<>是语言级别上的检测,和C风格的强制转换在汇编代码上是一样的
//C
const int a1 = 10;
double* p1 = (double*)&a1;
//C++
int* p2 = const_cast<int*>(&a1);
const_cast只能用于去掉const属性,不弄用于类型转换
且const_cast<里面只能放指针和引用类型>
static_cast:提供编译器认为安全的类型转换(在编译阶段完成类型转换)
static_cast允许标准类型之间的相互转换和void*类型转换成其他指针类型
int a = 10;
char b = static_cast<char>(a);
long c = static_cast<long>(a);
int* p = nullptr;
short* b = static_cast<short*>(p);//错误void* p1 = nullptr;
short* p2 = static_cast<short*>(p1);
reinterpret:类似c风格的强制类型转化
int* k = nullptr;
//危险!容易照成未定义行为
short* b = reinterpret_cast<short*>(k);
double* j = reinterpret_cast<double*>(k);
原本指向四字节的int型k指针被强制转成八字节,多出那四字节可是未初始化的空间,当程序使用这块空间时会导致程序宕机
dynamic_cast:主要用在继承结构里,可以支持RTTI类型识别的上下转换
在程序运行时动态检查对象的实际类型。它会查询对象的RTTI信息(存储在虚函数表中)来判断转换是否合法
class A
{
public:virtual void func() = 0;
};class B : public A
{
public:void func() { std::cout << "call B::func" << std::endl; }
};class C : public A
{
public:void func() { std::cout << "call C::func" << std::endl; }void C_uinque_func() {std::cout << "C unique func" << std:: endl; }
};int main()
{B b1;C c1;show_func(&b1);show_func(&c1);return 0;
}
写一个show_func函数
void show_func(A* p)
{p->func();
}int main()
{B b1;C c1;show_func(&b1);show_func(&c1);return 0;
}
通过虚函数调用到两个派生类重写以后的函数的打印结果
当我们想实现传入子类C执行 C_uinque_func()函数
传入子类B执行func()函数时
可以把show_func()函数改成这样
void show_func(A* p)
{C* pd2 = dynamic_cast<C*>(p);//若转换非法(B无法转换成C,这两个之间无继承关系)对指针返回nullptrif(pd2 != nullptr){pd2->C_uinque_func();}else{p->func();}
}int main()
{B b1;C c1;show_func(&b1);show_func(&c1);return 0;
}
此时就可以动态调用到子类C的函数
dynamic_cast<>仅对多态类型(含虚函数的类)有效
如果我们把基类A里的虚函数改为普通函数,
dynamic无法正常使用
多继承里的交叉转换
dynamic_cast 可以用于跨越不同基类分支的转换,前提是目标类型与对象实际类型兼容
class Base1
{
public:Base1(){std::cout << "this is Base1" << std::endl;}virtual ~Base1() {}
};
class Base2
{
public: Base2(){std::cout << "this is Base2" << std::endl;}virtual ~Base2() {}
};
class Derived : public Base1, public Base2
{};int main()
{Base1* b1 = new Derived;// 合法,因为对象实际是DerivedBase2* b2 = dynamic_cast<Base2*>(b1);return 0;
}