C++对象起始地址是否存放虚函数表？

Question

**C++对象起始地址是否存放虚函数表？** 在C++中，当一个类中包含虚函数时，编译器会为该类生成虚函数表（vtable），并通过虚函数指针（vptr）来指向这张表。那么，一个常见问题是：**C++对象的起始地址是否存放的是虚函数表的地址？** 答案是：**不是对象本身的起始地址，而是对象内存布局中的第一个槽（slot）通常存放着指向虚函数表的指针（vptr）**。也就是说，虚函数表本身并不存放在对象的起始地址，而是对象通过其内部的vptr间接访问虚函数表。 这个问题涉及到C++多态底层实现机制，理解它有助于掌握面向对象设计在内存层面的工作原理。

Answer 1

一、C++对象起始地址与虚函数表的关系

在C++中，当一个类定义了虚函数时，编译器会自动生成一张虚函数表（vtable），并在每个该类的对象中插入一个指向这张表的指针（vptr）。这使得运行时能够通过对象的vptr找到其对应的虚函数表，从而实现多态。

那么问题来了：对象的起始地址是否就是虚函数表的地址？

答案是否定的。对象的起始地址并不是虚函数表的地址，而是对象内部第一个成员的位置。而这个位置通常被用来存储虚函数指针（vptr）——即指向虚函数表的指针。

1.1 对象内存布局示例

考虑如下代码：

#include <iostream>
using namespace std;

class Base {
public:
    virtual void foo() { cout << "Base::foo" << endl; }
private:
    int data;
};

int main() {
    Base obj;
    void** vptr = reinterpret_cast<void**>(&obj);
    cout << "对象起始地址: " << &obj << endl;
    cout << "vptr地址: " << vptr << endl;
    cout << "*vptr（虚函数表地址）: " << *vptr << endl;
}
    

输出结果类似如下：

对象起始地址: 0x7fff5fbff8f0
vptr地址: 0x7fff5fbff8f0
*vptr（虚函数表地址）: 0x100007ff8
    

可以看出，对象的起始地址和vptr的地址是相同的，但内容（*vptr）才是虚函数表的地址。

1.2 虚函数表的结构

虚函数表是一个数组，其中每一个元素都是一个函数指针。通常，第一个槽位保存的是RTTI信息（如类型信息），第二个槽位保存的是虚基类偏移量等，之后才是各个虚函数的入口地址。

索引	内容
0	RTTI信息指针
1	虚基类偏移量
2	虚函数1地址
3	虚函数2地址

二、虚函数机制的底层实现原理

C++多态的核心在于虚函数表和虚函数指针的配合使用。当一个类拥有虚函数时，编译器会为该类生成一个虚函数表，并在每个对象的构造函数中初始化一个指向该表的指针（vptr）。

2.1 构造函数中的vptr初始化

在对象构造过程中，编译器会在构造函数的最开始处插入初始化vptr的代码。例如：

Base::Base() {
    // 编译器插入：
    this->vptr = &Base::vtable;
}
    

这样，对象就拥有了指向其类虚函数表的能力。

2.2 多态调用过程分析

当通过基类指针调用虚函数时，实际执行的是以下流程：

graph TD
A[Base* ptr = new Derived();] --> B{ptr->foo();}
B --> C[ptr->vptr]
C --> D[vtable entry for foo()]
D --> E[Call function address]

三、继承关系下的对象内存布局

当存在继承关系时，尤其是多重继承或虚继承，对象的内存布局变得更加复杂。

3.1 单继承情况

对于单继承，子类对象中将包含父类的虚函数表指针，以及自己的数据成员。例如：

class Derived : public Base {
public:
    virtual void bar() { cout << "Derived::bar" << endl; }
};
    

此时，Derived对象的内存布局如下：

• vptr → 指向Derived的虚函数表
• Base::data
• Derived新增成员变量（如果有）

3.2 多重继承情况

在多重继承中，每个基类都有自己的虚函数表和vptr，因此对象中会有多个vptr。

3.3 虚继承情况

虚继承引入了虚基类指针（vbptr）来解决菱形继承问题，进一步增加了对象的内存开销。

四、虚函数机制带来的性能影响

虽然虚函数提供了多态能力，但也带来了额外的性能开销：

• 间接寻址：每次调用虚函数需要两次寻址（先取vptr，再取函数地址）
• 内存开销：每个对象增加了一个或多个vptr
• 缓存不友好：虚函数调用可能导致指令缓存未命中

因此，在对性能敏感的场景中，应谨慎使用虚函数。