C++ 强制类型转换(转载)
转载自:http://www.weixueyuan.net/view/6329.html
在C++语言中新增了四个关键字static_cast、const_cast、reinterpret_cast和dynamic_cast。这四个关键字都是用于强制类型转换的。我们逐一来介绍这四个关键字。
1) static_cast
在C++语言中static_cast用于数据类型的强制转换,强制将一种数据类型转换为另一种数据类型。例如将整型数据转换为浮点型数据。
[例1]C语言所采用的类型转换方式:
int a = 10; int b = 3; double result = (double)a / (double)b;
例1中将整型变量a和b转换为双精度浮点型,然后相除。在C++语言中,我们可以采用static_cast关键字来进行强制类型转换,如下所示。
[例2]static_cast关键字的使用:
int a = 10; int b = 3; double result = static_cast<double>(a) / static_cast<double>(b);
在本例中同样是将整型变量a转换为双精度浮点型。采用static_cast进行强制数据类型转换时,将想要转换成的数据类型放到尖括号中,将待转换的变量或表达式放在元括号中,其格式可以概括为如下形式:
static_cast <类型说明符> (变量或表达式)
2) const_cast
在C语言中,const限定符通常被用来限定变量,用于表示该变量的值不能被修改。而const_cast则正是用于强制去掉这种不能被修改的常数特性,但需要特别注意的是const_cast不是用于去除变量的常量性,而是去除指向常数对象的指针或引用的常量性,其去除常量性的对象必须为指针或引用。
[例3]一个错误的例子:
const int a = 10; const int * p = &a; *p = 20; //compile error int b = const_cast<int>(a); //compile error
在本例中出现了两个编译错误,第一个编译错误是*p因为具有常量性,其值是不能被修改的;另一处错误是const_cast强制转换对象必须为指针或引用,而例3中为一个变量,这是不允许的!
[例4]const_cast关键字的使用
#include<iostream> using namespace std;int main() {const int a = 10;const int * p = &a;int *q;q = const_cast<int *>(p);*q = 20; //finecout <<a<<" "<<*p<<" "<<*q<<endl;cout <<&a<<" "<<p<<" "<<q<<endl;return 0; }
在本例中,我们将变量a声明为常量变量,同时声明了一个const指针指向该变量(此时如果声明一个普通指针指向该常量变量的话是不允许的,Visual Studio 2010编译器会报错),之后我们定义了一个普通的指针*q。将p指针通过const_cast去掉其常量性,并赋给q指针。之后我再修改q指针所指地址的值时,这是不会有问题的。
最后将结果打印出来,运行结果如下:
10 20 20
002CFAF4 002CFAF4 002CFAF4
查看运行结果,问题来了,指针p和指针q都是指向a变量的,指向地址相同,而且经过调试发现002CFAF4地址内的值确实由10被修改成了20,这是怎么一回事呢?为什么a的值打印出来还是10呢?
其实这是一件好事,我们要庆幸a变量最终的值没有变成20!变量a一开始就被声明为一个常量变量,不管后面的程序怎么处理,它就是一个常量,就是不会变化的。试想一下如果这个变量a最终变成了20会有什么后果呢?对于这些简短的程序而言,如果最后a变成了20,我们会一眼看出是q指针修改了,但是一旦一个项目工程非常庞大的时候,在程序某个地方出现了一个q这样的指针,它可以修改常量a,这是一件很可怕的事情的,可以说是一个程序的漏洞,毕竟将变量a声明为常量就是不希望修改它,如果后面能修改,这就太恐怖了。
在例4中我们称“*q=20”语句为未定义行为语句,所谓的未定义行为是指在标准的C++规范中并没有明确规定这种语句的具体行为,该语句的具体行为由编译器来自行决定如何处理。对于这种未定义行为的语句我们应该尽量予以避免!
从例4中我们可以看出我们是不想修改变量a的值的,既然如此,定义一个const_cast关键字强制去掉指针的常量性到底有什么用呢?我们接着来看下面的例子。
例5:
#include<iostream> using namespace std;const int * Search(const int * a, int n, int val);int main() {int a[10] = {0,1,2,3,4,5,6,7,8,9};int val = 5;int *p;p = const_cast<int *>(Search(a, 10, val));if(p == NULL)cout<<"Not found the val in array a"<<endl;elsecout<<"hvae found the val in array a and the val = "<<*p<<endl;return 0; }const int * Search(const int * a, int n, int val) {int i;for(i=0; i<n; i++){if(a[i] == val)return &a[i];}return NULL; }
在例5中我们定义了一个函数,用于在a数组中寻找val值,如果找到了就返回该值的地址,如果没有找到则返回NULL。函数Search返回值是const指针,当我们在a数组中找到了val值的时候,我们会返回val的地址,最关键的是a数组在main函数中并不是const,因此即使我们去掉返回值的常量性有可能会造成a数组被修改,但是这也依然是安全的。
对于引用,我们同样能使用const_cast来强制去掉常量性,如例6所示。
例6:
#include<iostream> using namespace std;const int & Search(const int * a, int n, int val);int main() { int a[10] = {0,1,2,3,4,5,6,7,8,9}; int val = 5; int &p = const_cast<int &>(Search(a, 10, val)); if(p == NULL) cout<<"Not found the val in array a"<<endl; else cout<<"hvae found the val in array a and the val = "<<p<<endl; return 0; }const int & Search(const int * a, int n, int val) { int i; for(i=0; i<n; i++) { if(a[i] == val) return a[i]; } return NULL; }
了解了const_cast的使用场景后,可以知道使用const_cast通常是一种无奈之举,同时也建议大家在今后的C++程序设计过程中一定不要利用const_cast去掉指针或引用的常量性并且去修改原始变量的数值,这是一种非常不好的行为。
3) reinterpret_cast
在C++语言中,reinterpret_cast主要有三种强制转换用途:改变指针或引用的类型、将指针或引用转换为一个足够长度的整形、将整型转换为指针或引用类型。在使用reinterpret_cast强制转换过程仅仅只是比特位的拷贝,因此在使用过程中需要特别谨慎!
例7
int *a = new int; double *d = reinterpret_cast<double *>(a);
reinterpret_cast可以将指针或引用转换为一个足够长度的整形,此中的足够长度具体长度需要多少则取决于操作系统,如果是32位的操作系统,就需要4个字节及以上的整型,如果是64位的操作系统则需要8个字节及以上的整型。
4) dynamic_cast
dynamic_cast用于类的继承层次之间的强制类型转换,我们将在讲到类的继承的时候再来介绍dynamic_cast。
在C++中,编译期的类型转换有可能会在运行时出现错误,特别是涉及到类对象的指针或引用操作时,更容易产生错误。Dynamic_cast操作符则可以在运行期对可能产生问题的类型转换进行测试。
#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 0; }
本例中定义了两个类: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 0; }
在本例中利用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 0; }
我们来看一下正确使用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(); }elsecout<<"Convert not safe!"<<endl;return 0; }
在本例中通过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;}elsecout<<"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;}elsecout<<"Derived to Base is error"<<endl;return 0; }
本例分别定义了两个类: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;}elsecout<<"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;}elsecout<<"A to B is error"<<endl;return 0; }
B to A is error
A to B is error
从程序运行结果不难看出,任意两个不相关的多态类类型之间的转换也是不能进行的。
总结一下dynamic_cast转换规则,只允许指向派生类对象的指针转换为指向基类对象的指针。
C++提供的两个类型转换操作符static_cast和dynamic_cast,static_cast可以用于任何类型的强制类型转换,但是它不保证转换过程中的类型安全,dynamic_cast只能用于多态类类型的转换,而且要求转换的目的类型必须为指针或引用,并且它可以保证转换过程中类型安全。
转载于:https://www.cnblogs.com/EggKiller/p/5817893.html
C++ 强制类型转换(转载)相关推荐
- linux 强制类型转换,转载 指针强制类型转换
当我们初始化一个指针或给一个指针赋值时,赋值号的左边是一个指针,赋值号的右边是一个指针表达式.在我们前面所举的例子中,绝大多数情况下,指针的类型和指针表达式的类型是一样的,指针所指向的类型和指针表达式 ...
- As与强制类型转换的区别以及Is运算符的使用
前言: 开发人员经常需要将一个对象从一个类型转换成其他类型. 在c#中,类型转换按照转换方式分类分为了隐式转换和显式转换,按对象分类又分为了值类型转换和引用类型转换 CLR(参考:http://bai ...
- C++中的向上类型转换和向下类型转换+四种强制类型转换
转自博客:http://blog.csdn.net/wangweitingaabbcc/article/details/7720979# 在c++的世界中有这样两个概念,向上类型转换,向下类型转换,分 ...
- 栈和托管堆/值类型和引用类型/强制类型转换/装箱和拆箱[C#]
一.栈和托管堆 通用类型系统(CTS)区分两种基本类型:值类型和引用类型.它们之间的根本区别在于它们在内存中的存储方式..NET使用两种不同的物理内存块来存储数据-栈和托管堆.如下图所示: 值 ...
- 《你不知道的JavaScript》整理(六)——强制类型转换
JavaScript中通常分为两种类型转换,"隐式强制类型转换"(implicit coercion)和"显式强制类型转换"(explicit coercion ...
- 初学python-字符串中引号的使用、input简介、强制类型转换、加减乘除简写、条件判断...
一.字符串中单引号和双引号的使用: 1.字符串以英文单引号' '引用.eg:'Hello World' 2.若字符串中含有单引号,则以英文双引号" "引用.eg:"I'm ...
- C语言之强制类型转换与指针--#define DIR *((volatile unsigned int *) 0x0022)
强制类型转换形式:(类型说明符) (表达式) 举例说明:1) int a; a = (int)1.9; 2)char *b; int *p; p = (int *) b; //将b的值强制转换为指向整 ...
- [C++] C++风格的强制类型转换探讨
C++风格的强制类型转换:const_cast,static_cast,dynamic_cast,reinterpret_cast. 使用:xxx_cast<type-id> (expre ...
- AS3中的强制类型转换
转自http://www.zhuoqun.net/html/y2007/654.html 每一种编程语言都提供强制类型转换,允许你将某一种数据类型转换成另一种数据类型,AS3自然也不例外.但是虽然我编 ...
最新文章
- Windows平台上实现P2P服务(三)
- Java Web项目配置环境搭建-如何增加Tomcat服务 Tomcat[内含Tomcat7资源]
- 单调谐回路谐振放大器等效电路分析_谐振回路的工作原理
- java基础知识总结,绝对经典
- cvpr 2015 2016论文地址
- 那些决定模型上限的操作
- Android 在添加数据至数据库时添加控制输入语句操作
- 基于java家教管理系统_基于jsp的家教信息管理-JavaEE实现家教信息管理 - java项目源码...
- wamp 403 禁止访问
- vb计算机器,科学计算器vb代码
- JUC中的Atomic原子类
- 比例尺分辨率转换(openlayers)
- SQL语句查询:查询本周过生日的信息
- 集群出现块丢失,块找回,以及相关底层原理,fsck等
- LaTeX中的拼写及语法检查
- 多平台epub阅读器分享
- HTML5页面显示本地图片,h5使用FileReader读取本地上传的图片文件并显示到浏览器...
- 【亡羊补牢】计算机网络灵魂之问 第3期 http状态码 302 504分别代表什么意思
- 力矩电机控制基本原理
- 国内很少人知道的潜力币——MOBI