20140422 ALT+F8 四个强制类型转换
一、static_cast, dynamic_cast, const_cast
http://www.cnblogs.com/chio/archive/2007/07/18/822389.html
http://blog.csdn.net/deyili/article/details/5354242(很重要的)
- dynamic_cast一般用在父类和子类指针或引用的互相转化;
- static_cast一般是普通数据类型(如int m=static_cast<int>(3.14));
- reinterpret_cast很像c的一般类型转换操作
- const_cast是把cosnt或volatile属性去掉
void 指针无法直接复制给其他指针
#include<iostream>
void main()
{
void *p=NULL;
int *pp=p;
}
//ok
#include<iostream>
void main()
{
int *pp=NULL;
void *p=pp;
}
static_cast<>()的类型检查是什么意思
例子如下:
#include <iostream>
using namespace std;
class A
{
public:
int m_a;
};
class B: public A
{
public:
int m_b;
};
class C
{
public:
int m_c;
};
void f(A &a)
{
cout<<"f is called"<<endl;
}
void main()
{
B b;
C c;
B *pc;
f(static_cast<A &>(b));//static_cast的一大作用:子类对象b转化为父类对象,可以通过编译
// f(static_cast<A &>(c));//进行了类型检查,类A和类C是毫无关系的,检查出错,不能通过编译
//f(static_cast<A *>(pc));//进行了类型检查,类A和类C是毫无关系的,检查出错,不能通过编译
}
static_cast和dynamic_cast的不同
例子如下:三个类的定义同上
void main()
{
B b;
C c;
B & ref_b=reinterpret_cast<B &>(c);
f(static_cast<A &>(ref_b));//成功欺骗编译器,编译通过,成功运行
//f(dynamic_cast<A &(ref_b));//编译通过,但是运行时检查了ref_b的实际类型为B,所以运行失败
}
void main()
{
B b;
C c;
A & ref_b=reinterpret_cast<A &>(c);
f(ref_b);//成功欺骗编译器,编译通过,成功运行
}
dynamic_cast的作用
在应用多态编程时,当我们无法确定传过来的对象的实际类型时使用dynamic_cast:如我们并不能确定传入的ref_b到底是B类型还是C类型(c通过reinterpret_cast转换为b,编译器并不知情),这时就应该用dynamic_cast。
void main()
{
B b;
C c;
B & ref_b=reinterpret_cast<B &>(c);
f(static_cast<A &>(ref_b));//成功欺骗编译器,编译通过,成功运行
//f(dynamic_cast<A &>(ref_b));//编译通过,但是运行时检查了ref_b的实际类型,所以运行失败
}
如果能保证对象的实际类型,用static_cast就可以了。至于reinterpret_cast,我很喜欢,很象c语言那样的暴力转换:)
例子:无关类之间的转换
#include<iostream>
class CBaseX
{
public:
void foo() { printf("CBaseX::foo() x=%d/n", x); }
};
class CBaseY
{
public:
void bar() { printf("CBaseY::bar()");
}
};
void main()
{
CBaseX* pX = new CBaseX(); // 两个无关类:CBaseX* 和 CBaseY*之间的转换
// CBaseY* pY1 = static_cast<CBaseY*>(pX); // 错误, 类型指向是无关的 (解释:指针变量PX是CBaseX类型,现在要将其转换为CBase类型)
CBaseY* pY2 = reinterpret_cast<CBaseY*>(pX); // 成功编译, 但是 pY2 不是CBaseX
pY2->bar();//如果你尝试转换一个对象(pX)到另一个无关的类(pY2)static_cast<>将失败,而reinterpret_cast<>总是能成功“欺骗”编译器:认为被转换的那个对象(pX)就是要转换到的无关类(pY)。
}
例子:相关类之间的转换
#include<iostream>
class CBaseX
{
public:
int x;
CBaseX() { x = 10; }
void foo() { printf("CBaseX::foo() x=%d/n", x); }
};
class CBaseY
{
public:
int y;
int* py;
CBaseY() { y = 20; py = &y; }
void bar() { printf("CBaseY::bar() y=%d, *py=%d/n", y, *py);
}
};
class CDerived : public CBaseX, public CBaseY
{
public:
int z;
};
void main()
{
CDerived* pD = new CDerived();
printf("CDerived* pD = %x\n", (int)pD);
// static_cast<> CDerived* -> CBaseY* -> CDerived*
//成功编译,隐式static_cast<>转换
CBaseY* pY1 = pD;
printf("CBaseY* pY1 = %x\n", (int)pY1);
// 成功编译, 现在 pD1 = pD
CDerived* pD1 = static_cast<CDerived*>(pY1);
printf("CDerived* pD1 = %x\n", (int)pD1);
// reinterpret_cast
// 成功编译, 但是 pY2 不是 CBaseY*
CBaseY* pY2 = reinterpret_cast<CBaseY*>(pD);
printf("CBaseY* pY2 = %x\n", (int)pY2);
// 无关的 static_cast<>
CBaseY* pY3 = new CBaseY();
printf("CBaseY* pY3 = %x\n", (int)pY3);
// 成功编译,尽管 pY3 只是一个 "新 CBaseY()"
CDerived* pD3 = static_cast<CDerived*>(pY3);
printf("CDerived* pD3 = %x\n", (int)pD3);
}
如图所示,CDerived的内存布局包括两个对象,CBaseX 和 CBaseY,编译器也知道这一点。因此,当你将CDerived* 转换到 CBaseY*时,它给指针添加4个字节,同时当你将CBaseY*转换到CDerived*时,它给指针减去4。然而,甚至它即便不是一个CDerived你也可以这样做。
当然,这个问题只在如果你做了多继承时发生。在你将CDerived转换 到 CBaseX时static_cast<> 和 reinterpret_cast<>是没有区别的。
例子3:void*之间的向前和向后转换
void main()
{
CDerived* pD = new CDerived();
printf("CDerived* pD = %x\n", (int)pD);// 打印的是派生类的地址
CBaseY* pY = pD; // 成功编译, pY = pD + 4
printf("CBaseY* pY = %x\n", (int)pY);// 打印的是基类pY的地址
void* pV1 = pY; //成功编译, pV1 = pY //打印的是基类pY的地址
printf("void* pV1 = %x\n", (int)pV1);
CDerived* pD2 = static_cast<CDerived*>(pV1);// pD2 = pV1=pY, 但是我们预期 pD2 = pY - 4
printf("CDerived* pD2 = %x\n", (int)pD2);
// 系统崩溃
// pD2->bar();
}- 一旦我们已经转换指针为void*,我们就不能轻易将其转换回原类。在上面的例子中,从一个void* 返回CDerived*的唯一方法是将其转换为CBaseY*然后再转换为CDerived*。
- 但是如果我们不能确定它是CBaseY* 还是 CDerived*,这时我们不得不用dynamic_cast<> 或typeid[2]。
注释:
- 1. dynamic_cast<>,从另一方面来说,可以防止一个泛型CBaseY* 被转换到CDerived*。
- 2. dynamic_cast<>需要类成为多态,即包括“虚”函数,并因此而不能成为void*。
20140422 ALT+F8 四个强制类型转换的更多相关文章
- 四种强制类型转换的总结(const_cast、static_cast、dynamic_cast、reinterpreter_cast)
四种强制类型转换的总结(const_cast.static_cast.dynamic_cast.reinterpreter_cast) 转载 2011年10月03日 23:59:05 标签: stru ...
- C++中的关键字用法--- 四种强制类型转换的总结
四种强制类型转换的总结(const_cast.static_cast.dynamic_cast.reinterpreter_cast 1. C风格的强制类型转换(Type Cast)很简单,不管什么类 ...
- [转载]C++中四种强制类型转换方式
C++中四种强制类型转换方式 原文地址:http://www.cnblogs.com/home123/p/6763967.html 类型转换有c风格的,当然还有c++风格的.c风格的转换的格式很简单( ...
- 【C++】 四种强制类型转换(static_cast 与 dynamic_cast 的区别!)
强制类型转换 1. static_cast 2. dynamic_cast 3. const_cast 4. reinterpret_cast 5. 为什么要需要四种类型转换? 1. static_c ...
- C++四种强制类型转换详解
什么是类型转换? 类型转换的含义是通过改变一个变量的类型为别的类型从而改变该变量的表示方式.为了类型转换一个简单对象为另一个对象你会使用传统的类型转换操作符. C与C++的类型转换 //C中: //复 ...
- C++开发必看 四种强制类型转换的总结 [转]
一.C风格的强制类型转换(Type Cast)很简单,不管什么类型的转换统统是: TYPE b = (TYPE)a 二.C++风格的类型转换提供了4种类型转换操作符来应对不同场合的应用. co ...
- C++四种强制类型转换关键字
C语言使用强制类型转换(Type Cast)很简单,不管什么类型的转换,形式都如下: TYPE b = (TYPE)a; c++提供了4种类型转换操作符来应对不同场合的应用. const_cast ...
- C++开发必看 四种强制类型转换的总结
C风格的强制类型转换(Type Cast)很简单,不管什么类型的转换统统是: TYPE b = (TYPE)a C++风格的类型转换提供了4种类型转换操作符来应对不同场合的应用. const_cast ...
- c++的四种强制类型转换
http://hb.qq.com/a/20110722/001452.htm ...... C风格的强制类型转换(Type Cast)很简单,不管什么类型的转换统统是:TYPE b = (TYPE)a ...
随机推荐
- h5移动端局部放大效果
首先添加zoom.js (function (root, factory) { if (typeof exports === 'object' && typeof module === ...
- PHP 图形验证码
一段生成图形验证码的代码,向原创作者致谢. 1.将以下代码保存为 txm.php ,注:直接运行该页面是没有结果的,要用另一页面引用,请看步骤2 <?php session_start(); $ ...
- linux find相关 (持续更新中)
按名字查找 find . -name *.txt find . -name test* # . 指的是当前路径, 查找全局的话把. 换成/ 查找并删除多个文件 find -type f -name & ...
- ASP.NET Core学习——前言
跌跌撞撞,公司的新项目终于要在这个月月底上线. 新项目使用ASP.NET Core来做,以前没接触过这方面的内容,只能一边学习,一边搞开发. 眼看项目上线在即,工作没那么忙,也不需要天天加班. 回想了 ...
- CSS:CSS 背景
ylbtech-CSS:CSS 背景 1.返回顶部 1. CSS 背景 CSS 背景属性用于定义HTML元素的背景. CSS 属性定义背景效果: background-color background ...
- 2.5 webpack 进阶
配置分离 code splitting 异步加载 理解 webpack chunk webpack 调试 2.5.1 配置分离 在大型项目中,可能 webpack.config.js 会变得越来越臃肿 ...
- 1. USB协议
1.1 Packets USB总线上数据传输以包为基本单位,一个包含不同的域,但都要从同步域开始,然后跟踪一个包标识符PID(Packet Identifier),最终以包结束符EOP(End of ...
- CodeForces-1249D2-Too Many Segments (hard version) -STL+贪心
The only difference between easy and hard versions is constraints. You are given nn segments on the ...
- 剑指offer——73股票的最大利润
题目: 假设把某股票的价格按照时间先后顺序存储在数组中,请问买卖该股票一次可能获得的最大利润是多少?例如,一只股票在某些时间节点的价格为{9,11,8,5,7,12,16,14}.如果我们能在价格为5 ...
- 020_JUC
JUC Java.util.Concurrent 并发包 池的顶级接口 Executor 子接口 ExecutorService 工具类 Executors(Collections.Arrays .. ...