聊聊 C++ 中的四种类型转换符

一:背景

在玩 C 的时候,经常会用 void* 来指向一段内存地址开端,然后再将其强转成尺度更小的 char*int* 来丈量一段内存,参考如下代码:


int main()
{
    void* ptr = malloc(sizeof(int) * 10);

    int* int_ptr = (int*)ptr;
    char* char_ptr = (char*)ptr;
}

由于 C 的自由度比较大,想怎么玩就怎么玩,带来的弊端就是容易隐藏着一些不易发现的bug,归根到底还是程序员的功底不扎实,C++ 设计者觉得不能把程序员想的太厉害,应该要力所能及的帮助程序员避掉一些不必要的潜在 bug,并且还要尽最大努力的避免对性能有过多的伤害,所以就出现了 4 个强制类型转换运算符。

  1. const_cast
  2. reinterpret_cast
  3. dynamic_cast
  4. static_cast

既然 C++ 做了归类,必然就有其各自用途,接下来我们逐一和大家聊一下。

二:理解四大运算符

1. const_cast

这是四个运算符中最好理解的,玩过 C++ 的都知道,默认情况下是不能修改一个 const 变量,比如下面这样:


int main()
{
    const int i = 10;
    i = 12;
}

这段代码肯定是要报错的,那如果我一定要实现这个功能,如何做呢?这就需要用到 const_cast 去掉它的常量符号,然后对 i 进行操作即可,所以修改代码如下:


int main()
{
    const int i = 10;
    auto j = const_cast(&i);
    *(j) = 12;
}

聊聊 C++ 中的四种类型转换符

2. reinterpret_cast

从名字上看就是一个 重新解释转换,很显然这个非常底层,如果大家玩过 windbg ,应该知道用 dt 命令可以将指定的内存地址按照某一个结构体丈量出来,比如说 C# 的 CLR 在触发 GC 时,会有 gc_mechanisms 结构,参考代码如下:


0:000> dt WKS::gc_mechanisms 0x7ffb6ba96e60
coreclr!WKS::gc_mechanisms
   +0x000 gc_index         : 1
   +0x008 condemned_generation : 0n0
   +0x00c promotion        : 0n0
   +0x010 compaction       : 0n1
   +0x014 loh_compaction   : 0n0
   +0x018 heap_expansion   : 0n0
   +0x01c concurrent       : 0
   +0x020 demotion         : 0n0
   +0x024 card_bundles     : 0n1
   +0x028 gen0_reduction_count : 0n0
   +0x02c should_lock_elevation : 0n0
   +0x030 elevation_locked_count : 0n0
   +0x034 elevation_reduced : 0n0
   +0x038 minimal_gc       : 0n0
   +0x03c reason           : 0 ( reason_alloc_soh )
   +0x040 pause_mode       : 1 ( pause_interactive )
   +0x044 found_finalizers : 0n0
   +0x048 background_p     : 0n0
   +0x04c b_state          : 0 ( bgc_not_in_process )
   +0x050 allocations_allowed : 0n1
   +0x054 stress_induced   : 0n0
   +0x058 entry_memory_load : 0
   +0x05c exit_memory_load : 0

其实 reinterpret_cast 大概也是干这个事的,参考代码如下:


typedef struct _Point {
    int x;
    int y;
} Point;

int main()
{
    Point point = { 10,11 };

    //内存地址
    void* ptr = &point;

    //根据内存地址 丈量出  Point
    Point* ptr_point = reinterpret_cast(ptr);

    printf("x=%d", ptr_point->x);
}

从代码看,我直接根据 ptr 地址丈量出了 Point 结构,说实话这个和 C 玩法就比较类似了。

3. dynamic_cast

在多态场景下,有时候会遇到这样的一个问题,一个父类有多个子类,我现在手拥一个父类,我不知道能不能将它转换为其中一个子类,要试探一下看看,那怎么去试探呢? 类似 C# 中的 as 运算符,在 C++ 中就需要用 dynamic_cast 来做这件事情,参考如下:


//点
class Point {
public:
    Point(int x, int y) :x(x), y(y) {}
    virtual void show() {}
public:
    int x;
    int y;
};

//矩形
class Rectangle :public Point {
public:
    Rectangle(int x, int y, int w, int h) : Point(x, y), w(w), h(h) {}
public:
    int w;
    int h;
};

//三角形
class Triangle :public Point {
public:
    Triangle(int x, int y, int z) :Point(x, y), z(z) {}
public:
    int z;
};

int main()
{
    Point* p1 = new Rectangle(10, 20, 100, 200);
    Point* p2 = new Triangle(4, 5, 6);

    //将  p1 转成 子类 Triangle 会报错的
    Triangle* t1 = dynamic_cast(p1);

    if (t1 == nullptr) {
        printf("p1 不能转成 Triangle");
    }
}

聊聊 C++ 中的四种类型转换符

对,场景就是这个,p1 其实是 Rectangle 转上去的, 这时候你肯定是不能将它向下转成 Triangle , 问题就在这里,很多时候你并不知道此时的 p1 是哪一个子类。

接下来的一个问题是,C++ 并不像C# 有元数据,那它是如何鉴别呢? 其实这用了 RTTI 技术,哪里能看出来呢?哈哈,看汇编啦。


    Triangle* t1 = dynamic_cast(p1);
00831D57  push        0
00831D59  push        offset Triangle RTTI Type Descriptor' (083C150h)
00831D5E  push        offset Point  Type Descriptor' (083C138h)
00831D63  push        0
00831D65  mov         eax,dword ptr [p1]
00831D68  push        eax
00831D69  call        ___RTDynamicCast (083104Bh)
00831D6E  add         esp,14h
00831D71  mov         dword ptr [t1],eax

从汇编可以看到编译器这是带夹私货了,在底层偷偷的调用了一个 ___RTDynamicCast 函数在运行时帮忙检测的,根据 cdcel 调用协定,参数是从右到左,恢复成代码大概是这样。


___RTDynamicCast(&p1, 0, &Point, &Triangle,0)

3. static_cast

从名字上就能看出,这个强转具有 static 语义,也就是 编译阶段 就生成好了,具体安全不安全,它就不管了,就拿上面的例子,将 dynamic_cast 改成 static_cast 看看有什么微妙的变化。


int main()
{
    Point* p1 = new Rectangle(10, 20, 100, 200);
    Point* p2 = new Triangle(4, 5, 6);

    Triangle* t1 = static_cast(p1);

    printf("x=%d, y=%d,z=%d", t1->x, t1->y, t1->z);
}

聊聊 C++ 中的四种类型转换符

我们发现居然转成功了,而且 Triangle 的值也是莫名奇怪,直接取了 Rectangle 的前三个值,如果这是生产代码,肯定要 挨批了。。。

接下来简单看下汇编代码:


    Triangle* t1 = static_cast(p1);
00DF5B17  mov         eax,dword ptr [p1]
00DF5B1A  mov         dword ptr [t1],eax

    printf("x=%d, y=%d,z=%d", t1->x, t1->y, t1->z);
00DF5B1D  mov         eax,dword ptr [t1]
00DF5B20  mov         ecx,dword ptr [eax+0Ch]
00DF5B23  push        ecx
00DF5B24  mov         edx,dword ptr [t1]
00DF5B27  mov         eax,dword ptr [edx+8]
00DF5B2A  push        eax
00DF5B2B  mov         ecx,dword ptr [t1]
00DF5B2E  mov         edx,dword ptr [ecx+4]
00DF5B31  push        edx
00DF5B32  push        offset string "x=%d, y=%d,z=%d" (0DF8C80h)
00DF5B37  call        _printf (0DF145Bh)
00DF5B3C  add         esp,10h

从代码中看,它其实就是将 p1 的首地址给了 t1,然后依次把copy偏移值 +4,+8,+0C, 除了转换这个,还可以做一些 int ,long ,double 之间的强转,当然也是一样,编译时汇编代码就已经生成好了。

好了,本篇就说这么多,希望对你有帮助。

Original: https://www.cnblogs.com/huangxincheng/p/16480503.html
Author: 一线码农
Title: 聊聊 C++ 中的四种类型转换符

原创文章受到原创版权保护。转载请注明出处:https://www.johngo689.com/536395/

转载文章受原作者版权保护。转载请注明原作者出处!

(0)

大家都在看

  • C++类中静态数据成员MAP如何初始化

    cpp;gutter:true; conv_xxx.hpp</p> <p>class convolution { …</p> <pre…

    C++ 2023年5月29日
    058
  • C++ 中 malloc/free与 new/delete区别

    new/delete 通常来说是操作符,就是”+”,”-“一样,malloc/free 是 C++/C 语言的标准库函数 —— 本质…

    C++ 2023年5月29日
    069
  • C++11 并发指南六(atomic 类型详解四 C 风格原子操作介绍)

    总地来说,C++11 标准中规定了两大类原子对象,std::atomic_flag 和 std::atomic,前者 std::atomic_flag 一种最简单的原子布尔类型,只…

    C++ 2023年5月29日
    048
  • [C++] 类的成员变量和成员方法

    类具有成员变量和成员方法 成员变量用来描述某个对象的具体特征,是静态的,也称为成员属性,这些属性一般设置为私有,仅供类的内部使用。 成员方法用来描述某个对象的具体行为,是动态的,也…

    C++ 2023年5月29日
    077
  • C++ 获取当前时间毫秒数

    在window环境下:1、精确到毫秒 include “stdafx.h” include include Original: https://www.cn…

    C++ 2023年5月29日
    056
  • [C++] 对象指针使用方法

    对象指针:指向类对象的指针 类指针指向类变量(对象)的地址 对象指针定义格式: 举例: #include using namespace std; class Student { …

    C++ 2023年5月29日
    058
  • Delphi XE8,C++ Builder XE8,RAD Studio XE8 官方 ISO 文件下载,附激活工具

    RAD Studio XE8 v22.0.19027.8951 官方ISO下载(6.72G):http://altd.embarcadero.com/download/radstu…

    C++ 2023年5月29日
    083
  • 代朋友发招聘信息,C++程序员

    急招:高级C/C++程序员工作职能:1、开发工具(地图编辑,动作编辑器等)的维护及新版本的开发。2、Symbian、WM新游戏开发要求:1、精通C/C++语言;2、强烈的责任心和认…

    C++ 2023年5月29日
    054
  • C++11 并发指南后续更新

    C++11 并发指南的第一篇是 2013 年 8 月 3 号写的,到今天(2013 年 8 月 31 号)差不多一个月了,前前后后共写了 8 篇博客介绍 C++11 的并发编程,但…

    C++ 2023年5月29日
    079
  • 腾讯研发类笔试面试试题(C++方向)(转)

    原文转自 https://www.cnblogs.com/freebird92/p/9595244.html 1、C和C++的特点与区别? 答: (1)C语言特点:1.作为一种面向…

    C++ 2023年5月29日
    049
  • Xcode 导出C++项目在其他电脑执行

    先找到C++项目的可执行文件的位置 https://blog.csdn.net/qq_34759481/article/details/82700587 关于存储和加载文件的目录,…

    C++ 2023年5月29日
    060
  • [图形图像]C++实现的软件光栅器

    第1张: 从坐到右,从上到下。无纹理、无镜面光、无深度缓冲,依次是: 线框。 纯色。 即每个三角形一个颜色。 flat着色(相比上次,修正后的效果好多了)。也是每个三角形一个颜色,…

    C++ 2023年5月29日
    068
  • 聊聊 C# 和 C++ 中的 泛型模板 底层玩法

    最近在看 C++ 的方法和类模板,我就在想 C# 中也是有这个概念的,不过叫法不一样,人家叫 模板,我们叫 泛型,哈哈,有点意思,这一篇我们来聊聊它们底层是怎么玩的? 一:C++ …

    C++ 2023年5月29日
    039
  • C++ std::ofstream 和 std::ifstream

    简介 C++中对文件进行读写的。 使用Demo #include #include #include <string> #include <string.h&gt…

    C++ 2023年5月29日
    043
  • C++经典案例

    per-thread的单例模式 //单例子模式,per-thread的单例模式 IPCThreadState* IPCThreadState::self() //IPCThread…

    C++ 2023年5月29日
    060
  • c++ 11新特性学习1

    static_assert 静态断言,特点是编译期的断言检查 assert 运行时期的断言检查 二者参数用法相同 Original: https://www.cnblogs.com…

    C++ 2023年5月29日
    065
亲爱的 Coder【最近整理,可免费获取】👉 最新必读书单  | 👏 面试题下载  | 🌎 免费的AI知识星球