手动模拟虚指针(vptr)与虚表(vtable)遇类型错误，求内部实现原理

你手动模拟时遇到的类型不匹配问题，核心原因是编译器内部的虚表和虚指针根本不是用C++标准的成员函数指针数组实现的。

为什么手动模拟会报错 #

你用void (A::**)()和void (B::**)()来定义虚表指针，本质是把虚表当成了成员函数指针的数组，但C++中父子类的成员函数指针类型是强隔离的——B::*和A::*是完全不同的类型，自然无法直接赋值，这是语言层面的强类型检查导致的。

编译器的实际实现方式 #

编译器内部会用以下方式绕开这个限制：

• 虚指针(__vptr)被定义为无类型指针（比如void**），或者编译器专属的内部数据类型，完全不遵循C++的成员函数指针类型规则。
• 虚表(vtable)也不是成员函数指针数组，而是存储普通函数指针（或经过包装的thunk函数地址）的数组。因为成员函数需要this指针，编译器会自动生成一个中间的thunk函数，负责调整this指针的偏移（比如多继承场景下，子类对象转父类时this需要偏移），然后再调用真正的成员函数。
• 在子类构造函数中设置虚指针时，编译器直接把虚表的地址（作为无类型指针）赋值给继承来的虚指针，这个操作不受用户代码的类型约束——毕竟这是编译器的内部逻辑，不需要符合C++的语法规则。

手动模拟的近似修正方案 #

如果非要手动模拟最基础的单继承场景，可以把虚指针改成void**类型，虚表用void*数组存储，调用时再强制类型转换：

class A {
public:
    void** __vptr;
    static void* vtableA[];
    virtual void foo() { /* 父类实现 */ }
};

void* A::vtableA[] = { (void*)&A::foo };

class B : public A {
public:
    static void* vtableB[];
    virtual void foo() { /* 子类实现 */ }
    B() { __vptr = vtableB; }
};

void* B::vtableB[] = { (void*)&B::foo };

但要注意，这种模拟只能覆盖最简单的情况，真实编译器的虚表还会包含RTTI信息、多继承时的this调整值等额外数据，远复杂于这个简化版本。

内容的提问来源于stack exchange，提问作者Rustam Balushka