4.7 C++ dynamic_cast操作符
参考:http://www.weixueyuan.net/view/6377.html
总结:
产生这种运行期的错误原因在于static_cast强制类型转换时并不具有保证类型安全的功能,而C++提供的dynamic_cast却能解决这一问题,dynamic_cast可以在程序运行时检测类型转换是否类型安全。
当然dynamic_cast使用起来也是有条件的,它要求所转换的操作数必须包含多态类类型(即至少包含一个虚函数的类)。
总结一下dynamic_cast转换规则,只允许指向派生类对象的指针转换为指向基类对象的指针。
C++提供的两个类型转换操作符static_cast和dynamic_cast,static_cast可以用于任何类型的强制类型转换,但是它不保证转换过程中的类型安全,dynamic_cast只能用于多态类类型的转换,而且要求转换的目的类型必须为指针或引用,并且它可以保证转换过程中类型安全。
任意两个不相关的多态类类型之间的转换也是不能进行的。(没有继承关系的)
在C++中,编译期的类型转换有可能会在运行时出现错误,特别是涉及到类对象的指针或引用操作时,更容易产生错误。Dynamic_cast操作符则可以在运行期对可能产生问题的类型转换进行测试。
例1:
#include<iostream>
using namespace std; class base
{
public :
void m(){cout<<"m"<<endl;}
}; class derived : public base
{
public:
void f(){cout<<"f"<<endl;}
}; int main()
{
derived * p;
p = new base;
p = static_cast<derived *>(new base);
p->m();
p->f();
return ;
}
本例中定义了两个类:base类和derived类,这两个类构成继承关系。在base类中定义了m函数,derived类中定义了f函数。在前面介绍多态时,我们一直是用基类指针指向派生类或基类对象,而本例则不同了。本例主函数中定义的是一个派生类指针,当我们将其指向一个基类对象时,这是错误的,会导致编译错误。但是通过强制类型转换我们可以将派生类指针指向一个基类对象,p = static_cast<derived *>(new base);语句实现的就是这样一个功能,这样的一种强制类型转换时合乎C++语法规定的,但是是非常不明智的,它会带来一定的危险。在程序中p是一个派生类对象,我们将其强制指向一个基类对象,首先通过p指针调用m函数,因为基类中包含有m函数,这一句没有问题,之后通过p指针调用f函数。一般来讲,因为p指针是一个派生类类型的指针,而派生类中拥有f函数,因此p->f();这一语句不会有问题,但是本例中p指针指向的确实基类的对象,而基类中并没有声明f函数,虽然p->f();这一语句虽然仍没有语法错误,但是它却产生了一个运行时的错误。换言之,p指针是派生类指针,这表明程序设计人员可以通过p指针调用派生类的成员函数f,但是在实际的程序设计过程中却误将p指针指向了一个基类对象,这就导致了一个运行期错误。
产生这种运行期的错误原因在于static_cast强制类型转换时并不具有保证类型安全的功能,而C++提供的dynamic_cast却能解决这一问题,dynamic_cast可以在程序运行时检测类型转换是否类型安全。当然dynamic_cast使用起来也是有条件的,它要求所转换的操作数必须包含多态类类型(即至少包含一个虚函数的类)。
例2:
#include<iostream>
using namespace std; class base
{
public :
void m(){cout<<"m"<<endl;}
}; class derived : public base
{
public:
void f(){cout<<"f"<<endl;}
}; int main()
{
derived * p;
p = new base;
p = dynamic_cast<derived *>(new base);
p->m();
p->f();
return ;
}
在本例中利用dynamic_cast进行强制类型转换,但是因为base类中并不存在虚函数,因此p = dynamic_cast<derived *>(new base);这一句会编译错误。dynamic_cast能否正确转换与目标类型是否为多态类类型无关,dynamic_cast要求被转换的类型必须为多态类类型。为了解决本例中的语法错误,我们可以将base类中的函数m声明为虚函数,virtual void m(){cout<<"m"<<endl;}。
dynamic_cast还要求<>内部所描述的目标类型必须为指针或引用。如例3所示,如果我们将例2中的主函数换成例3的形式,这也是无法通过编译的。
例3:
int main()
{
base b;
dynamic_cast<derived>(b);
return ;
}
我们来看一下正确使用dynamic_cast的代码。
例4:
#include<iostream>
using namespace std; class base
{
public :
virtual void m(){cout<<"m"<<endl;}
}; class derived : public base
{
public:
void f(){cout<<"f"<<endl;}
}; int main()
{
derived * p;
p = dynamic_cast<derived *>(new base);
if(p)
{
p->m();
p->f();
}
else
cout<<"Convert not safe!"<<endl;
return ;
}
在本例中通过dynamic_cast来初始化指针p,在初始化过程中dynamic_cast会检测操作数new base转换为目标类型derived *是否能保证类型安全,如果类型安全则将new base结果赋给p指针,否则返回0,也即false。而本例中是要用基类对象地址去初始化派生类指针,这显然是无法保证类型安全的,因此p最后得到的返回值是0。在主函数中经过判断语句,最终程序输出“Convert not safe!”。
Dynamic_cast转换有自己的规则,下面将通过示例来介绍转换规则。
例4:
#include<iostream>
using namespace std; class base
{
public :
virtual void m(){cout<<"m"<<endl;}
}; class derived : public base
{
public:
virtual void f(){cout<<"f"<<endl;}
}; int main()
{
derived * d;
d = dynamic_cast<derived *>(new base);
if(d)
{
cout<<"Base to Derived is ok"<<endl;
delete d;
}
else
cout<<"Base to Derived is error"<<endl;
base * b;
b = dynamic_cast<base *>(new derived);
if(b)
{
cout<<"Derived to Base is ok"<<endl;
delete b;
}
else
cout<<"Derived to Base is error"<<endl; return ;
}
本例分别定义了两个类:base类和derived类,这两个类构成继承关系,为了测试dynamic_cast转换规则,我们在类中各自定义了一个虚函数。在本例的主函数中我们分别测试基类转换为派生类和派生类转换为基类时dynamic_cast转换返回值。本例最终运行结果如下:
Base to Derived is error
Derived to Base is ok
从结果可以看出从不能将指向基类对象的指针转换为指向派生类对象的指针,但是可以将指向派生类对象的指针转换为指向基类对象的指针。
例5:
#include<iostream>
using namespace std; class A
{
public :
virtual void m(){cout<<"m"<<endl;}
}; class B
{
public:
virtual void f(){cout<<"f"<<endl;}
}; int main()
{
A * a;
a = dynamic_cast<A *>(new B);
if(a)
{
cout<<"B to A is ok"<<endl;
delete a;
}
else
cout<<"B to A is error"<<endl;
B * b;
b = dynamic_cast<B *>(new A);
if(b)
{
cout<<"A to B is ok"<<endl;
delete b;
}
else
cout<<"A to B is error"<<endl; return 0;
}
在本例中,定义了两个类A和B,这两个类不构成继承关系,我们尝试将指向两个类对象的指针进行互相转换,看程序运行结果:
B to A is error
A to B is error
从程序运行结果不难看出,任意两个不相关的多态类类型之间的转换也是不能进行的。
总结一下dynamic_cast转换规则,只允许指向派生类对象的指针转换为指向基类对象的指针。
C++提供的两个类型转换操作符static_cast和dynamic_cast,static_cast可以用于任何类型的强制类型转换,但是它不保证转换过程中的类型安全,dynamic_cast只能用于多态类类型的转换,而且要求转换的目的类型必须为指针或引用,并且它可以保证转换过程中类型安全。
4.7 C++ dynamic_cast操作符的更多相关文章
- C++强制类型转换操作符 dynamic_cast
dynamic_cast是四个强制类型转换操作符中最特殊的一个,它支持运行时识别指针或引用. >>>>>>>>>>>编译器的RTTI设 ...
- RTTI,C++类型转换操作符
body, table{font-family: 微软雅黑; font-size: 10pt} table{border-collapse: collapse; border: solid gray; ...
- C++ 中 dynamic_cast 浅析
简述:dynamic_cast 操作符,将基类的指针或引用安全的转换为派生类的指针或引用.主要讲解,dynamic_cast操作符的原理.使用方式.编译器设置.返回值等相关知识. dynamic_ca ...
- C 语言Struct 实现运行类型识别 RTTI
通过RTTI,能够通过基类的指针或引用来检索其所指对象的实际类型.c++通过下面两个操作符提供RTTI. (1)typeid:返回指针或引用所指对象的实际类型. (2)dynamic_cast: ...
- RTTI
RTTI(Run-Time Type Identification,通过运行时类型识别)程序能够使用基类的指针或引用来检查这些指针或引用所指的对象的实际派生类型. 编辑本段RTTI介绍 RTTI提 ...
- RTTI (Run-Time Type Identification,通过运行时类型识别) 转
参考一: RTTI(Run-Time Type Identification,通过运行时类型识别)程序能够使用基类的指针或引用来检查这些指针或引用所指的对象的实际派生类型. RTTI提供了以下两个 ...
- C++中的RTTI机制解析
RTTI RTTI概念 RTTI(Run Time Type Identification)即通过运行时类型识别,程序能够使用基类的指针或引用来检查着这些指针或引用所指的对象的实际派生类型. RTTI ...
- C++ RTTI
一.定义:RTTI:Run Time Type Identification ,运行时类型识别:指程序能够使用基类的指针或引用来检索其所指对象的实际派生类型.二.使用方式:C++中有两个操作符提供RT ...
- RTTI(Runtime Type Information )
RTTI 是“Runtime Type Information”的缩写,意思是:运行时类型信息.它提供了运行时确定对象类型的方法.本文将简略介绍 RTTI 的一些背景知识.描述 RTTI 的概念,并通 ...
随机推荐
- window如何安装redis服务、卸载redis服务和启动redis服务
window如何安装redis服务.卸载redis服务和启动redis服务 一.总结 一句话总结:github上下载,解压,命令行运行(redis-server.exe redis.windows.c ...
- jdk8新特性:在用Repository实体查询是总是提示要java.util.Optional, 原 Inferred type 'S' for type parameter 'S' is not within its bound;
jdk8新特性:在用Repository实体查询是总是提示要java.util.Optional 在使用springboot 方法报错: Inferred type 'S' for type para ...
- 雷林鹏分享:C# 判断
C# 判断 判断结构要求程序员指定一个或多个要评估或测试的条件,以及条件为真时要执行的语句(必需的)和条件为假时要执行的语句(可选的). 下面是大多数编程语言中典型的判断结构的一般形式: 判断语句 C ...
- 【消息队列】kafka是如何保证高可用的
一.kafka一个最基本的架构认识 由多个broker组成,每个broker就是一个节点:创建一个topic,这个topic可以划分为多个partition,每个partition可以存在于不同的br ...
- java学习进度
上周日玩的比较high,忘记写进度报告,今天补上.通过这些天的学习,我对java有了初步的认识,java和c有很多的不同和相同之处,然后就是java的代码在记事本里写,等慢慢深入之后又可以用eclip ...
- CentOS6.8逻辑卷管理实战
CentOS6.8逻辑卷管理实战 要求:利用现有的四块磁盘,创建一个有两个PV组成的大小为80G的名为testvg的VG:要求PE大小为16MB, 而后在卷组中创建大小为5G的逻辑卷testlv:挂载 ...
- git回退代码到某次commit
回退命令: $ git reset --hard HEAD^ 回退到上个版本 $ git reset --hard HEAD~3 回退到前3次提交之前,以此类推,回退到n次提交之前 $ git res ...
- php获得时间段的月
1.时间:$start_time = $_GET['start_time']; //2015-01$end_time = $_GET['end_time']; //2015-052.对时间进行拆分:$ ...
- antd-mobile的DatePicker日期选择组件使用
现在项目上有个需求,在时间选择上需要精确到分钟,且分钟只能是0分钟或者是30分钟. 使用了antd-mobile的DatePicker组件,具体用法可参考:https://mobile.ant.des ...
- 创建型模式篇(工厂模式Factory Pattern)
一.工厂模式(Factory Pattern) 1.定义: 在软件系统,经常面临着“某个对象”的创建工作,由于需求的变化,这个对象的具体实现经常面临着剧烈的变化,但是它却拥有比较稳定的接口.提供一种封 ...