标准C++为了加强类型转换的可视性,引入了四种命名的强制类型转换操作符:static_cast、reinterpret_cast、const_cast、dynamic_cast
1static_cast用于非多态类型的转换(静态转换),编译器隐式执行的任何类型转换都可用static_cast,但它不能用于两个不相关的类型进行转换
double d=1.11;
int i=d;///c语言的强转
int i2=static_cast (d);//对隐式类型的转换是相近类型的转换同c
reinterpret_cast
reinterpret_cast操作符通常为操作数的位模式提供较低层次的重新解释,用于将一种类型转换为另一种不同的类型
typedef void (* FUNC)();
int DoSomething (int i)
{
cout<<“DoSomething” <<endl;
return 0;
}
void Test ()
{
//
// reinterpret_cast可以编译器以FUNC的定义方式去看待DoSomething函数
// 所以非常的BUG,下面转换函数指针的代码是不可移植的,所以不建议这样用
// C++不保证所有的函数指针都被一样的使用,所以这样用有时会产生不确定的结果
//
FUNC f = reinterpret_cast< FUNC>(DoSomething );
f();
}
const_cast
const_cast最常用的用途就是删除变量的const属性,方便赋值
仔细看下面代码会有新发现—
*
const int x=10;
25 const int*cp1=&x;
26 //int *px=&x;//权限放大不可以
27 int *p1x=const_cast<int*>(cp1);//去掉const属性
28 *p1x=20;
29 cout<<x<<endl;//10
30 cout<<*p1x<<endl;//20
31 //此处是10 20是编译器的过度优化
32 volatile const int x1=10;
33 volatile const int *cp2=&x1;
34 int *p2x=const_cast<int*>(cp2);
35 *p2x=20;
36 cout<<x1<<endl;//20
37 cout<<*p2x<<endl;//20
dynamic_cast
dynamic_cast用于将一个父类对象的指针转换为子类对象的指针或引用(动态转换)
向上转型:子类对象指针->父类指针/引用(不需要转换,赋值兼容规则) 向下转型:父类对象指针->子类指针/引用(用dynamic_cast转型是安全的)
注意: 1. dynamic_cast只能用于含有虚函数的类 2. dynamic_cast会先检查是否能转换成功,能成功则转换,不能则返回0
class A
{
public :
virtual void f(){}
};
class B : public A
{};
void fun (A* pa)
{
// dynamic_cast会先检查是否能转换成功,能成功则转换,不能则返回
B* pb1 = static_cast<B*>(pa);
B* pb2 = dynamic_cast<B*>(pa);
cout<<“pb1:” <<pb1<< endl;
cout<<“pb2:” <<pb2<< endl;
}
int main (){
A a; B b;
fun(&a);
fun(&b);
return 0;
}
explicit
explicit关键字阻止经过转换构造函数进行的隐式转换的发生
class A
{
public :
explicit A (int a)
{
cout<<“A(int a)” <<endl;
}
A(const A& a)
{
cout<<“A(const A& a)” <<endl;
}
private :
int _a ;
};
int main ()
{
A a1 (1);
// 隐式转换-> A tmp(1); A a2(tmp);
A a2 = 1;
}
RTTI:Run-time Type identification的简称,即:运行时类型识别。
C++通过以下方式来支持RTTI:
- typeid运算符
- dynamic_cast运算符
总结:
static_cast用于非多态类型的转换(静态转换)不能用于两个不相关类型的转换
const_cast删除变量的cast属性方便赋值
reinterpret_cast用于将一种类型转换为另一种不同类型存在大风险
dynamic_cast用于将一个父类对象的指针转化为子类对象的指针或者引用(动态转换–只使用于有虚函数的构成多态)
explicit阻止经过转换构造函数进行的隐式类型转换
RTTI运行时识别类型typeid dynamic_cast
/自己实现dynamic_cast–>造轮子
77 //可看成是拷贝构造,但是不行拷贝构造的返回值无法确定,可以考虑函数模板
class A3{
79 public:
80 virtual void f(){}
81 virtual bool is_base(){
82 return true;
83 }
84 protected:
85 int _a;
86 };
87 class B3:public A3{
88 public:
89 virtual bool is_base(){
90 return false;
91 }
92 protected:
93 int _b;
94 };
95 //dynamic_case–>本质实现父类指针指向子类指针,那么只需要保证一个指针,在指向父
96 //类的时候为对的指向子类时候为错,则定义形成一个多态,然后在指向父类的中的函数
97 //为空子类则返回p就可以实现轮子
template<class PDiver,class Base>
99 PDiver my_dynamic_cast(Basep){
100 if(p->is_base()){
101 return NULL;
102 }
103 else{
104 return PDiver§;
105 }
106 }
107 void test4(){
108 A3 pa1=new A3;
109 B3* pb1=my_dynamic_cast<B3*>(pa1);
110 cout<<pb1<<endl;//0
111 A3* pa2=new B3;
112 B3pb2=my_dynamic_cast<B3>(pa2);
113 cout<<pb2<<endl;//0x1536c40
//cout<<typeid(pb2).name()<<endl;
115 }