C++ RTTI的dynamic_cast函数

这篇文章是C++ RTTI的后续,前面我们介绍了typeid()操作符,这篇文章介绍RTTI的另一个概念,即dynamic_cast。
相比较typeid,dynamic_cast在实际项目中会被大量使用。


首先,一句话dynamic_cast是干什么用的,dynamic_cast是在两个类之间做类型转换的,即把一个指针类型转换成另一个类型;这个转换过程是在运行时刻转换的,所以叫dynamic_cast(与此相对的是static_cast)。dynamic_cast的使用必须满足下面两个条件:

  1. 如果两个类之间没有父子关系,那么source必须是多态的。
  2. 如果是从父类到子类的转换,那么父类(source)也必须多态的。

否则编译器就报错:
<file>:41: error: cannot dynamic_cast 'pc' (of type 'class <SRC> *') to type 'class <DST> *' (source type is not polymorphic)

我们重新解释一下上述描述:dynamic_cast的使用需要source是多态的,只有一种情况例外,那就是从子类到父类的转换。再换一个角度,其实dynamic_cast的使用必须要source是多态的,因为同学们想想,例外情况中子类到父类的转换是天然的行为,根本不需要dynamic_cast啊,像(Parent *)child。
我们看一段代码:

#include <stdio.h>
#include <string>

class A1 {};
class A2 : public A1 {};

void foo(A2 * pa2) {
    A1 * va1 = dynamic_cast<A1 *>(pa2);
}

int main(int argc, char * argv[]) {
    A2 * a2 = new A2();
    foo(a2);
    return 0;
}

编译器生成的汇编代码如下:

_Z3fooP2A2:
    pushq   %rbp
    movq    %rsp, %rbp
    movq    %rdi, -24(%rbp)
    movq    -24(%rbp), %rax
    movq    %rax, -8(%rbp)
    leave
    ret

可见编译器直接把pa2的赋给了va1,根本没有调用到dynamic_cast,因为编译器明确知道父类和子类的关系以及成员构成,又没有多态的问题,所以编译器就能够完成类型转换工作,其实此时dynamic_cast是被映射成了static_cast使用。


讨论完使用场合,下面我们看看转换的结果(假定source都是多态的):

  1. 如果source和dest没有父子关系,那么结果是NULL,即使两个类定义成一模一样。
  2. 从子类到父类,前面说过必然是成功的。
  3. 从父类到子类,这也是dynamic_cast最常用的情况,这依赖于父类指针是否真实的指向了对应的子类类型,标示这是不是一个真实的子类对象。
#include <stdio.h>
#include <string>

class A {
public:
    virtual ~A() {}
};
class B1: public A {}; 
class B2: public A {}; 

void foo(A * pa) {
    B1 * vb1 = dynamic_cast<B1 *>(pa);
    printf("%s\n", vb1 == NULL ? "NULL" : "NOT NULL");
}

int main(int argc, char * argv[]) {
    B1 * b1 = new B1();
    B2 * b2 = new B2();
    foo(b1);
    foo(b2);
    return 0;
}

运行结果如下:

NOT NULL
NULL

可见b1是能转换成功的,b2不能成功,因为虽然b1和b2都是A的实例,但是b2不是B1的实例。


前面我们介绍了dynamic_cast的使用场景,现在我们介绍dynamic_cast是如何工作的;代码说明问题:

#include <stdio.h>
#include <string>

class A {
public:
    virtual ~A() {}
};
class B: public A {};

void foo(A * pa) {
    B * vb = dynamic_cast<B *>(pa);
}

int main(int argc, char * argv[]) {
    B * b = new B();
    foo(b);
    return 0;
}

类A是类B的父类,我们看生成的foo()函数代码:

_Z3fooP1A:
    pushq   %rbp
    movq    %rsp, %rbp
    subq    $32, %rsp
    movq    %rdi, -24(%rbp)
    movq    -24(%rbp), %rax
    testq   %rax, %rax
    jne .L9
    movl    $0, %eax
    jmp .L10
.L9:
    movl    $0, %ecx
    movl    $_ZTI1B, %edx
    movl    $_ZTI1A, %esi
    movq    %rax, %rdi
    call    __dynamic_cast
.L10:
    movq    %rax, -8(%rbp)
    leave
    ret

首先验证参数pa是否为NULL,如果是则直接返回NULL,如果不是则调用C++ lib库函数__dynamic_cast。

库函数__dynamic_cast需要四个参数:

extern "C" void*
  __dynamic_cast (const void *v,
                  const abi::__class_type_info *src,
                  const abi::__class_type_info *dst,
                  std::ptrdiff_t src2dst_offset)

参数声明为:

  1. v: source对象地址,NOT NULL(前面源代码我们看的如果是NULL就不会进到这儿来了),并且由于source是多态的,那么source对象的第一个域是指向虚函数表的指针。
  2. src: source对象的类类型
  3. dat: destination对象的类类型
  4. 这个参数我也没弄清楚,但是当src是dst的基类时为-2,当src和dst不相干时为0。

关于这个函数的详细说明搜搜C++ ABI文档,比如: https://android.googlesource.com/platform/abi/cpp/+/6426040f1be4a844082c9769171ce7f5341a5528/src/dynamic_cast.cc

#define DYNAMIC_CAST_NO_HINT -1
#define DYNAMIC_CAST_NOT_PUBLIC_BASE -2
#define DYNAMIC_CAST_MULTIPLE_PUBLIC_NONVIRTUAL_BASE -3
  /* v: source address to be adjusted; nonnull, and since the
   *    source object is polymorphic, *(void**)v is a virtual pointer.
   * src: static type of the source object.
   * dst: destination type (the "T" in "dynamic_cast<T>(v)").
   * src2dst_offset: a static hint about the location of the
   *    source subobject with respect to the complete object;
   *    special negative values are:
   *       -1: no hint
   *       -2: src is not a public base of dst
   *       -3: src is a multiple public base type but never a
   *           virtual base type
   *    otherwise, the src type is a unique public nonvirtual
   *    base type of dst at offset src2dst_offset from the
   *    origin of dst.
   */

下面我们再看src(class A)和dst(class B)两个参数的值定义:

_ZTS1B:
    .string "1B"
_ZTS1A:
    .string "1A"
_ZTI1B:
    .quad   _ZTVN10__cxxabiv120__si_class_type_infoE+16
    .quad   _ZTS1B
    .quad   _ZTI1A
_ZTI1A:
    .quad   _ZTVN10__cxxabiv117__class_type_infoE+16
    .quad   _ZTS1A

参数src的类型时$_ZTI1A, 参数dst的类型时$_ZTI1B;从内容可以看出这两个类型的定义也是不一样的

  1. $_ZTI1A的类型是__class_type_info
  2. $_ZTI1B的类型是__si_class_type_info,是__class_type_info的子类;子类包含一个指向父类类类型的指针:
    const __class_type_info* __base_type;

参阅 /usr/include/c++/4.4.4/cxxabi.h

所有这些类的类型信息都在应用程序启动的时候,在main函数入口之前注册到全局变量里,使得在用户程序能够访问到他们。


最后总结一下dynamic_cast的使用场景

  1. dynamic_cast用来实现指针类型的转化。
  2. dynamic_cast如果转化成功则返回指向目标类型的指针,如果转换不成功返回NULL。
  3. dynamic_cast要求src必须是多态的,因为dynamic_cast需要从类的虚函数表表中获得类类型信息。
  4. dynamic_cast最常见的用法是从一个抽象基类转换到具体的实现类。

当一个父类有多种子类时,如果目前有一个指向父类的指针,但是我们不知道指向父类的指针实际上指向的是哪一种子类,可以使用dynamic_cast<Child *>来判断,如果返回不是NULL,说明这是一个指向Child子类的指针,否则就不是。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 216,544评论 6 501
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 92,430评论 3 392
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 162,764评论 0 353
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 58,193评论 1 292
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 67,216评论 6 388
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,182评论 1 299
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,063评论 3 418
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,917评论 0 274
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,329评论 1 310
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,543评论 2 332
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,722评论 1 348
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,425评论 5 343
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,019评论 3 326
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,671评论 0 22
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,825评论 1 269
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,729评论 2 368
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,614评论 2 353

推荐阅读更多精彩内容

  • C++中的类型转换分为两种:隐式类型转换;显式类型转换。 而对于隐式变换,在很多时候,不经意间就发生了,比如int...
    DayDayUpppppp阅读 14,549评论 6 26
  • C++类型转换总结 本章内容:1 前言2 static_cast3 dynamic_cast4 const_cas...
    Haley_2013阅读 952评论 0 50
  • 1. C++基础知识点 1.1 有符号类型和无符号类型 当我们赋给无符号类型一个超出它表示范围的值时,结果是初始值...
    Mr希灵阅读 17,980评论 3 82
  • 一、 C/C++程序基础 面试例题1——分析代码写输出(一般赋值语句的概念和方法)。 面试例题2—...
    LuckTime阅读 1,972评论 2 42
  • 山村口,一个年岁稍长的女孩子推着一个木轮椅,轮椅上坐着一个小男孩。 女孩身材修长,姿态优雅,一块花布方巾包着如瀑的...
    念衡阅读 305评论 0 4