c – 在MSVC ABI中,如何只给出一个(void *)可靠地找到vtable？

我试图在明显不可移植但不是魔法的C中写出相当于C的typeid.对于Itanium ABI(在Linux / Mac上使用),它非常简单：

const std::type_info& dynamicast_typeid(void *mdo)
{
    std::type_info **vptr = *reinterpret_cast<std::type_info ***>(mdo);
    std::type_info *typeinfo_ptr = vptr[-1];
    return *typeinfo_ptr;
}

所以现在我正在看64位的MSVC ABI,然后对它说,我很难过.对于非常简单的类,以偏移0处的vfptr开头的类,它几乎和Itanium一样简单：

const std::type_info& dynamicast_typeid(void *mdo)
{
    int *rtti_complete_object_locator = ((int ***)mdo)[0][-1];
    char *result = (char *) rtti_complete_object_locator;
    result -= rtti_complete_object_locator[5];
    result += rtti_complete_object_locator[3];
    return *(std::type_info*)result;
}

(此代码基于the Wine project’s __RTtypeid.)

问题是某些C类不是以偏移0处的vfptr开头的！有时他们从vbptr开始.

struct Class1 { virtual ~Class1() {} };
struct Class2 : virtual Class1 {};

Class1以vfptr开头; Class2以vbptr开头.

当一个类以vbptr开头时,我相信它的第一个虚拟基础子对象(它在布局顺序中的第一个,因此它的“最活泼的”)总是会在其偏移0处有一个vfptr.所以如果我知道我’在处理以vbptr开头的类时,我想这样做：

const std::type_info& dynamicast_typeid_for_vbptr_class(void *mdo)
{
    int first_vbase_offset = ((int**)mdo)[0][1];
    mdo = (char*)mdo + first_vbase_offset;
    int *rtti_complete_object_locator = ((int ***)mdo)[0][-1];
    char *result = (char *) rtti_complete_object_locator;
    result -= rtti_complete_object_locator[5];
    result += rtti_complete_object_locator[3];
    return *(std::type_info*)result;
}

我已经确定了MSVC does actually generate相当于

if constexpr(IS_VBPTR_CLASS) {
        int first_vbase_offset = ((int**)mdo)[0][1];
        mdo = (char*)mdo + first_vbase_offset;
    }
    return __RTtypeid(mdo);

当编译C表达式typeid(x)时 – 其中IS_VBPTR_CLASS是伪代码,“编译器根据x的静态类型以及编译器知道每种类型的布局这一事实神奇地知道x是否具有vbptr.”

但是,在我的情况下,我不知道x的静态类型,即使我这样做,我也不知道如何找出(从C中,使用模板元编程)x是否以vbptr开头.

最后,我继续前进并稍微捏了一下

const std::type_info& dynamicast_typeid(void *mdo)
{
    while (((int**)mdo)[0][0] == 0) {
        mdo = (char *)mdo + ((int**)mdo)[0][1];
    }
    int *rtti_complete_object_locator = ((int ***)mdo)[0][-1];
    char *result = (char *)complete_object_locator;
    result -= rtti_complete_object_locator[5];
    result += rtti_complete_object_locator[3];
    return *(std::type_info*)result;
}

只发现存储在vftable中的“Class1中的Class1”的typeinfo保存了子对象类型Class1的typeinfo,而不是最派生类型的Class2！所以还有另一块拼图丢失了.

所以我的问题简而言之：给定(void *)& object_of_type_class2,如何检索typeid(Class2)？