static_cast、dynamic_cast、reinterpret_cast、const_cast

1隐式类型转换 2

2显式类型转换 2

2.1 static_cast 3

2.2 dynamic_cast 3

2.3 reinterpreter_cast 7

2.4 const_cast 7

 

C++类型转换分为:隐式类型转换和显式类型转换

1隐式类型转换

又称为“标准转换”,包括以下几种情况:

1.1算术转换(Arithmetic conversion) : 在混合类型的算术表达式中, 最宽的数据类型成为目标转换类型;

1.2一种类型表达式赋值给另一种类型的对象:目标类型是被赋值对象的类型;

例外:void指针赋值给其他指定类型指针时,不存在标准转换,编译出错

1.3将一个表达式作为实参传递给函数调用,此时形参和实参类型不一致:目标转换类型为形参的类型;

1.4从一个函数返回一个表达式,表达式类型与返回类型不一致:目标转换类型为函数的返回类型;

其中121314可总结为目标型转换,即由被赋值对象的类型转换为目标类型,都发生在赋值的时候。

2显式类型转换

被称为“强制类型转换”(cast)

C  风格: (type-id)

C++风格: static_castdynamic_castreinterpret_castconst_cast

 

关于强制类型转换的问题,很多书都讨论过,写的最详细的是C++ 之父的《C++ 的设计和演化》。最好的解决方法就是不要使用C风格的强制类型转换,而是使用标准C++的类型转换符。标准C++中有四个类型转换符:static_castdynamic_castreinterpret_cast、和const_cast。下面对它们一一进行介绍。

2.1 static_cast

表达形式:static_cast < type-id > ( expression )

说明:该运算符把expression转换为type-id类型,但没有运行时类型检查来保证转换的安全性。

使用范围:

①用于类层次结构中基类和子类之间指针或引用的上/下行转换。进行上行转换(把子类的指针或引用转换成基类表示)是安全的;进行下行转换(把基类指针或引用转换成子类指针或引用)时,由于没有动态类型检查,所以是不安全的;

②用于基本数据类型之间的转换,如把int转换成char,把int转换成enum。这种转换的安全性也要开发人员来保证;

③把void指针转换成目标类型的指针(不安全)

④把任何类型的表达式转换成void类型

注意:static_cast不能转换掉expressionconstvolitale__unaligned属性。

2.2 dynamic_cast

表达形式:dynamic_cast < type-id > ( expression )

说明:该运算符把expression转换成type-id类型的对象。Type-id必须是类的指针、类的引用或者void *;如果type-id是类指针类型,那么expression也必须是一个指针,如果type-id是一个引用,那么expression也必须是一个引用。

使用范围:

类的指针或引用的上下行转换(比static_cast安全),交叉转换;

用法举例:

1. 单一一重继承之间的上行转换

比如B继承自AB转换为A,进行上行转换时,是安全的,如下:

2. 单一多重继承之间的上行转换

C继承自BB继承自A,这种多重继承的关系;但是,关系很明确,使用dynamic_cast进行转换时,也是很简单的:

而上述的转换,static_castdynamic_cast具有同样的效果。而这种上行转换,也被称为隐式转换;比如我们在定义变量时经常这么写:B *pB = new C;这和上面是一个道理的,只是多加了一个dynamic_cast转换符而已。

 

3. 下行转换

如果expressiontype-id的基类,使用dynamic_cast进行转换时,在运行时就会检查expression是否真正的指向一个type-id类型的对象,如果是,则能进行正确的转换,获得对应的值;否则返回NULL,如果是引用,则在运行时就会抛出异常;例如:

这个就是下行转换,从基类指针转换到派生类指针。

对于一些复杂的继承关系来说,使用dynamic_cast进行转换是存在一些陷阱的;比如,有如下的一个结构:

 

D类型可以安全的转换成BC类型,但是D类型要是直接转换成A类型呢?

如果进行上面的直接转,你将会得到一个NULLpA指针;这是因为,BC都继承了A,并且都实现了虚函数Func,导致在进行转换时,无法进行抉择应该向哪个A进行转换。正确的做法是:

这就是我在实现QueryInterface时,得到IUnknown的指针时,使用的是*ppv = static_cast<IX *>(this);而不是*ppv = static_cast<IUnknown *>(this);

对于多重继承的情况,从派生类往父类的父类进行转时,需要特别注意;比如有下面这种情况:

现在,你拥有一个A类型的指针,它指向E实例,如何获得B类型的指针,指向E实例呢?如果直接进行转的话,就会出现编译器出现分歧,不知道是走E->C->B,还是走E->D->B。对于这种情况,我们就必须先将A类型的指针进行下行转换,获得E类型的指针,然后,在指定一条正确的路线进行上行转换。

 

3. 转换成void *

可以将类转换成void *,例如:

但是,在A和类B中必须包含虚函数,为什么呢?因为类中存在虚函数,就说明它有想让基类指针或引用指向派生类对象的情况,此时转换才有意义;由于运行时类型检查需要运行时类型信息,而这个信息存储在类的虚函数表中,只有定义了虚函数的类才有虚函数表。

 

5. 交叉转换(cross cast

在函数foo中,使用static_cast进行转换是不被允许的,将在编译时出错;而使用dynamic_cast的转换则是允许的,结果是空指针。

2.3 reinterpreter_cast

表达形式:reinterpreter_cast<type-id> (expression)

说明:type-id必须是一个指针、引用、算术类型。可以将一个指针转换成一个整数,也可以将一个整数转换成一个指针,在实际开发中,先把一个指针转换成一个整数,在把该整数转换成原类型的指针,还可以得到原来的指针值;特别是开辟了系统全局的内存空间,需要在多个应用程序之间使用时,需要彼此共享,传递这个内存空间的指针时,就可以将指针转换成整数值,得到以后,再将整数值转换成指针,进行对应的操作。

2.4 const_cast

表达形式:const_cast<type_id> (expression)

说明:该运算符用来将类型的constvolatile__unaligned属性移除。const_cast的目的,在于某些变量原本不是const的,但由于某种特殊原因,无意间被变成了const的,例如使用了一个const引用指向了一个本来不是const的对象。结果写了一些代码之后发现它实际上需要被修改。这在平时的工作中不会遇到因为你可以直接把const引用修改成非const的,但C++中可能的情况太多,尤其考虑到很多复用的时候,有时还是会出现本不该是const的对象被const引用了这种情况。尤其是使用模板,比较复杂的情况。这才是const_cast的意义所在。

使用范围:

①常量指针被转化成非常量指针,并且仍然指向原来的对象;

②常量引用被转换成非常量引用,并且仍然指向原来的对象;

③常量对象被转换成非常量对象。

用法举例:

上面的代码编译时会报错,因为b1是一个常量对象,不能对它进行改变;使用const_cast把它转换成一个常量对象,就可以对它的数据成员任意改变。注意:b1b2是两个不同的对象。

const_cast的用法不是将一个const变量变成非const变量的。看一下标准就可以知道。使用const_cast把一个原本是const的变量转换为非const,这是一个未定义行为。想了解const_cast使用中可能出现的未定义行为,可参考如下代码:

这段代码中出现的就是典型的const_cast的未定义行为,return的值是完全不确定的,全看编译器心情。而以下代码是正确的:

注:你不能直接对非指针和非引用的变量使用const_cast操作符去直接移除它的constvolatile__unaligned属性。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值