C++虚函数表原理与实战操作指南

虚函数表的内存分布

C++编译器为保证运行时最高性能，将虚函数表的指针存储在对象实例内存的最前面。这使得通过对象实例的地址获取虚函数表成为可能，从而能够遍历其中的函数指针并完成实际调用。

以一个包含三个虚函数的类为例：

class Base {
     public:
            virtual void f() { cout << "Base::f" << endl; }
            virtual void g() { cout << "Base::g" << endl; }
            virtual void h() { cout << "Base::h" << endl; }
};

我们可以通过强制类型转换获取第一个虚函数的地址并调用：

typedef void(*Fun)(void);
Base b;
Fun pFun = NULL;

// 获取虚函数表地址及第一个函数地址
cout << (int*)(&b) << endl;
pFun = (Fun)*((int*)*(int*)(&b));
pFun(); // 输出 Base::f

如上表所示，虚函数按照声明顺序排列。为了安全识别边界，某些环境会在虚函数表末尾添加结束标志（如VS下通常为空指针NULL）。对于后续的Base::g()和Base::h()，只需对起始地址进行偏移即可。

一般继承（无虚函数覆盖）

当子类继承父类但未重定义任何虚函数时，其派生类的虚函数表结构如下：子类的虚函数按顺序追加在父类原有函数之后。父类的虚函数保持原位不变。

验证此类情况时，可以发现虚函数严格按照它们在代码中声明的先后顺序存入表中，且父类成员优先于子类新增成员。

一般继承（有虚函数覆盖）

如果在派生类中覆盖了父类的虚函数，表项会被直接替换。比如只重载了父类的f()：

此时，基类指针所指向的实际内存中，对应位置的函数指针已变为派生类的地址。当执行以下代码时：

Base *b = new Derive();
b->f(); // 调用的是 Derive::f()

实现了动态多态。未被覆盖的函数则依然保留原地址。

多重继承（无虚函数覆盖）

当存在多重继承且无函数重载时，每个父类都会拥有自己独立的虚表条目。除了第一个父类的虚函数表外，其余父类的表也分别存放在连续的内存块中。派生类自身的特有函数被放置在第一个父类虚函数表项的后面。

这种设计确保了无论是Base1*还是Base2*类型的指针指向同一个Derive实例时，都能准确调用各自父类体系下的正确函数实现。

多重继承（有虚函数覆盖）

在多重继承模式下如果发生了覆写，所有父类虚表中的对应槽位均会被更新为子类的新函数地址。示例代码如下：

利用任一静态类型的父类指针均可触发到子类实行的逻辑：

Derive d;
Base1 *b1 = &d;
Base2 *b2 = &d;

b1->f(); // Derive::f()
b2->f(); // Derive::f()

安全性与注意事项

虽然通过修改虚表可以达成一些打破常规语义的操作，但这类做法在正式项目中有极高的崩溃风险。例如试图通过基类指针去访问未暴露给外部调用的子类私有方法或在运行期强行调用未覆盖的私有虚函数都是编译器禁止但在内存层面上可行的非法访问。

VC调试查看虚表

如果在Windows Visual Studio环境中排查问题，可在Debug状态下直接展开类实例变量查看其内部的虚表内容。尽管未必显示完全完整的表信息，这对于快速判断多态是否按预期工作非常有效。

以下是完整测试例程代码参考（注意需根据具体平台32/64位进行相应的指针大小适配调整）：

#include <iostream>
using namespace std;

class Base1 {
public:
    virtual void f() { cout << "Base1::f" << endl; }
    virtual void g() { cout << "Base1::g" << endl; }
    virtual void h() { cout << "Base1::h" << endl; }
};

class Base2 {
public:
    virtual void f() { cout << "Base2::f" << endl; }
    virtual void g() { cout << "Base2::g" << endl; }
    virtual void h() { cout << "Base2::h" << endl; }
};

class Base3 {
public:
    virtual void f() { cout << "Base3::f" << endl; }
    virtual void g() { cout << "Base3::g" << endl; }
    virtual void h() { cout << "Base3::h" << endl; }
};

class Derive : public Base1, public Base2, public Base3 {
public:
    virtual void f() { cout << "Derive::f" << endl; }
    virtual void g1() { cout << "Derive::g1" << endl; }
};

typedef void(*Fun)(void);

int main()
{
    Fun pFun = NULL;
    Derive d;
    int** pVtab = (int**)&d;

    // Base1's vtable 入口
    pFun = (Fun)pVtab[0][0]; pFun();
    pFun = (Fun)pVtab[0][1]; pFun();
    
    // Derive's unique function appended to first base
    pFun = (Fun)pVtab[0][3]; pFun();

    // Base2's vtable
    pFun = (Fun)pVtab[1][0]; pFun();
    
    // Base3's vtable
    pFun = (Fun)pVtab[2][0]; pFun();

    return 0;
}

注：上述示例程序基于早期32位编译环境编写，在现代64位系统或不同编译器架构下，指针宽度及对齐策略有所差异，请结合实际环境进行针对性调整。

以上就是C++虚函数表的原理与使用解析的详细内容，更多关于C++虚函数实现机制的资料请关注本站其它相关文章！