C++ Internals: VC RTTI - dynamic_cast (1)

返回目录

相对而言，dynamic_cast的实现比较复杂，因此我们首先看一下它的简化版本 dynamic_cast<void *>。

根据标准5.2.7-7， dynamic_cast<void *>会将当前指针转化为指向实际对象（most derived object）的指针。
比如说：

class T1 {public: virtual ~T1() {}};
class T2 {public: virtual ~T2() {}};
class T3:public T1,public T2 {};

int main()
{
    T3 t;
    T2 *pt=&t;
    cout<<((size_t)pt==(size_t)&t)<<endl; //output 0
    void *pv=dynamic_cast<void *>(pt);
    cout<<((size_t)pv==(size_t)&t)<<endl; //output 1
}

可以看到，经过转换之后，pv已经指向了原来的t对象。
现在我们来看一下 dynamic_cast<void *>内部是怎么实现的：

void *FindCompleteObject(void *ptr)
{
    const _s_RTTICompleteObjectLocator *pCompleteLocator=GetCompleteObjectLocator(ptr);
    ptr=ptr-pCompleteLocator->offset;
    if (pCompleteLocator->cdOffset) ptr-=*(ptr-pCompleteLocator->cdOffset);
    return ptr;
}
void *__RTCastToVoid(void *ptr)
{
    if (!ptr) return NULL;
    return FindCompleteObject(ptr);
}

可以看到，和 typeid的实现类似，首先编译器调整传入的指针得到vftable，然后据此定位_RTTICompleteObjectLocator结构。里面包含了足够的信息从当前指针找到实际对象所在的位置。
对于一般的 dynamic_cast实现，它内部也会首先定位到实际对象所在的位置，然后再进行搜索。