C的转型方式存在以下两个缺点:

1)几乎允许你将任何类型转化为任何类型,不能精确的指明转型意图,这样很不安全

如将一个pointer-to-base-class-object转型为一个pointer-to-derived-class-object(改变一个对象的类型)和将一个pointer-to-const-object转型为一个pointer-to-non-const-object(改变对象的常量性),在旧式C语法中并不区分。

2)其语法结构难以辨识,容易被混淆

旧式C转型方式的语法为(type)expression,由一对小括号加上一个对象名称组成,而这种语法结构在C++的任何地方都有可能使用,这就无法很直观地判断出是否是转型操作。

为了解决C旧式转型的缺点,C++引用了4个新的转型操作符

1)static_cast

static_cast基本上拥有和C旧式转型相同的威力与意义

#include<bits/stdc++.h>
using namespace std;
int main()
{
//计算两个int型数相除,结果为double型
int first_num=1;
int second_num=2;
double ans1 = (double)first_num/second_num;//旧式C语法
double ans2 = static_cast<double>(first_num)/second_num;//新式C++转型符
cout<<ans1<<endl;//0.5
cout<<ans2<<endl;//0.5
}

但是static_cast不能移除表达式的常量性,因为有一个专门的转型操作符const_cast来处理这种情况

2)const_cast

const_cast用来移除表达式中的常量性或者变易性,也仅仅只有这个功能

只能是const_cast<对象的引用或对象的指针>的形式,不能是const_cast<对象>的形式

#include<bits/stdc++.h>
using namespace std;
int main()
{
int num=10;
const int *cpNum=&num;
//int *p1=cpNum; //error:cannot convert from 'const int *' to 'int *'
int *p2=(int*)cpNum; //旧式C
int *p3=const_cast<int*>(cpNum); //新式C++const_cast移除常量性 cout<<*p2<<endl;//10
cout<<*p3<<endl;//10
}

const_cast最常见的用途就是将某个对象的常量性去除掉

3)dynamic_cast

用来执行继承体系中安全的向下转型或跨系转型动作,dynamic_cast支持RTTI运行时类型检查

比如将指向基类对象的指针或引用转型为子类对象的指针或引用,并且可以得知转型是否成功,如果转型失败会以一个空指针(转型对象为指针)或异常(转型对象为引用)

需要注意的是,dynamic_cast无法应用在缺乏虚函数的类上,理由如下:

dynamic_cast的转换是在运行时进行转换,运行时转换就需要知道类对象的信息(继承关系等),而要获得这些信息,就需要通过虚函数表,在C++对象模型中对象实例最前面的就是虚函数指针,通过虚函数表指针可以获取到该类对象的所有虚函数,包括父类的,因为派生类会继承基类的虚函数表,所以通过这个虚函数表,我们就可以知道该类对象的父类,在转换的时候就可以判断对象有无继承关系

另外,dynamic_cast支持交叉转换,基类A有两个直接派生类B和C,那么将B类对象指针/引用转换为C类对象指针/引用的转换称之为交叉转换

class Base
{
virtual void fun()
{
cout << "Base" << endl;
}
}; class Derived :Base
{
virtual void fun()
{
cout << "Derived" << endl;
}
}; Base* bbb = new Base();
Derived* aaa = dynamic_cast<Derived*> (bbb);
Derived& ccc = dynamic_cast<Derived&> (*bbb);

如果你需要转换一个不涉及继承体制的请使用:static_cast,dynamic_cast仅仅适用于那种”所指对象至少有一个虚函数“的指针身上。

4)reinterpret_cast

最常用的用途是转换“函数指针”,但是函数指针的转型动作,并不具备移植性,某些情况下函数指针转型会导致不正确的结果,所以我们应该尽量避免将函数指针转型

typedef void (*FuncPtr)()  //FuncPtr是个指针,指向某个函数,后者无需任何自变量,返回值为void

FuncPtr funcPtrArray[10]   //funcPtrArray是个数组,内含10个FuncPtr

假设现在有某种原有,需要将一个返回值为int类型的函数放入funcPtrArray

int dosomething()

将int类型函数指针放入int类型函数指针数组,如果没有转型的话,是不可能做到这一点的

funcPtrArray[0]=&dosomething  //错误,类型不符合

使用reinterpret_cast,可以强迫编译器了解你的意图

funcPtrArray[0]=reinterpret_cast<FuncPtr>(&dosomething)  //正确,将int类型函数指针转换为void类型

【More Effective C++ 条款2】最好使用C++转型操作符的更多相关文章

  1. [More Effective C++]条款22有关返回值优化的验证结果

    (这里的验证结果是针对返回值优化的,其实和条款22本身所说的,考虑以操作符复合形式(op=)取代其独身形式(op),关系不大.书生注) 在[More Effective C++]条款22的最后,在返回 ...

  2. More Effective C++ 条款0,1

    More Effective C++ 条款0,1 条款0 关于编译器 不同的编译器支持C++的特性能力不同.有些编译器不支持bool类型,此时可用 enum bool{false, true};枚举类 ...

  3. Effective C++ 条款27

    尽量少做转型动作 尽量少做转型动作有什么目的?非常明显无非就是提高程序的稳定性.提高程序的运行效率. 那么.有哪些转型方式?每种方式都有什么弱点? 这是我们本节学习的重点. C++有四种转型: con ...

  4. Effective C++ 条款08:别让异常逃离析构函数

    1.别让异常逃离析构函数的原因 <Effective C++>第三版中条款08建议不要在析构函数中抛出异常,原因是C++异常机制不能同时处理两个或两个以上的异常.多个异常同时存在的情况下, ...

  5. Effective C++ -----条款28:避免返回handles指向对象内部成分

    避免返回handles(包括reference.指针.迭代器)指向对象内部.遵守这个条款可增加封装性,帮助const成员函数的行为像个const,并将发生“虚吊号码牌”(dangling handle ...

  6. Effective C++ -----条款21:必须返回对象时,别妄想返回其reference

    绝不要返回pointer或reference指向一个local stack对象,或返回reference指向一个heap-allocated对象,或返回pointer或reference指向一个loc ...

  7. Effective C++ -----条款19:设计class犹如设计type

    Class的设计就是type的设计.在定义一个新type之前,请确定你已经考虑过本条款覆盖的所有讨论主题. 新type的对象应该如何被创建和销毁? 对象的初始化和对象的赋值该有什么样的区别? 新typ ...

  8. Effective C++ -----条款18:让接口容易被正确使用,不易被误用

    好的接口很容易被正确使用,不容易被误用.你应该在你IDE所有接口中努力达成这些性质. “促进正确使用”的办法包括接口的一致性,以及与内置类型的行为兼容. “阻止误用"的办法包括建立新类型.限 ...

  9. Effective C++:条款27——条款

    条款27:尽量少做转型动作 单一对象可能拥有一个以上的地址!

  10. Effective C++ 条款45

    本节条款的题目是运用成员模板接受全部兼容类型 作者阐述自己的观点是通过智能指针的样例. 在学习本节条款之前我们要先明确关于隐式转化的问题 例如以下代码: #include<iostream> ...

随机推荐

  1. python高级语法1

    1.解压序列赋值给多个变量 p = (4, 5, 6) x, y , z = p # x = 4, y = 5, z = 6 若可迭代对象超过变量个数,会抛出ValueError 用处:可以解压赋值任 ...

  2. 史上最全的Spring Boot Cache使用与整合

    一:Spring缓存抽象# Spring从3.1开始定义了org.springframework.cache.Cache和org.springframework.cache.CacheManager接 ...

  3. django更换ORM连接处理(连接池)转

    1 概述 在使用 Django 进行 Web 开发时, 我们避免不了与数据库打交道. 当并发量低的时候, 不会有任何问题. 但一旦并发量达到一定数量, 就会导致 数据库的连接数会被瞬时占满. 这将导致 ...

  4. [TCP/IP] TCP报文长度是由什么确定的

    MTU:最大传输单元,以太网的MTU为1500Bytes MSS:最大分解大小,为每次TCP数据包每次传输的最大数据的分段大小,由发送端通知接收端,发送大于MTU就会被分片 TCP最小数据长度为146 ...

  5. docker研究-4 docker镜像制作

    这次实验以centos镜像为基础镜像进行相关docker镜像制作. 1. 下载centos镜像 [root@localhost ~]# docker pull centosUsing default ...

  6. Maven 拥有三套相互独立的生命周期:clean、default、site

    table th:nth-of-type(1) { width: 70px; } table th:nth-of-type(2) { width: 100px; } 生命周期 目的 包含的阶段 cle ...

  7. Linux SSH建立连接过程分析

    https://blog.csdn.net/qwertyupoiuytr/article/details/71213463 SSH建立连接的过程主要分为下面几个阶段: SSH协议版本协商阶段.SSH目 ...

  8. SLAM:暑期学校

    专门开个(大)坑: RGB-D SLAM:姜翰青,商汤 视觉SLAM:章国锋,浙大CAD&CG国家重点实验室

  9. c#窗体之登录页(已连接数据库)

    效果图: 源码: 页面: using System; using System.Collections.Generic; using System.ComponentModel; using Syst ...

  10. .NET中线程同步的几种方法

    lock.Monitor: lock是Monitor的语法糖 [MethodImpl(MethodImplOptions.Synchronized)]: 特性标记一个方法是需要被同步的,最终实现的效果 ...