c++面试常见问题：虚表指针存在于内存哪个分区

在 C++ 中，虚表指针（vptr）所在的内存分区与对象的存储位置相关，下面分不同情况进行介绍：

栈区

当对象是在栈上创建的局部对象时，虚表指针会随着对象一起被分配到栈区。栈区主要用于存储函数内部的局部变量和函数调用的上下文信息，其内存分配和释放由系统自动管理。当函数执行结束，栈上的对象会被自动销毁，虚表指针也随之消失。

示例代码：

#include <iostream> class Base { public: virtual void func() { std::cout << "Base::func()" << std::endl; } }; void test() { Base obj; // 在栈上创建对象 // obj 对象的虚表指针位于栈区 obj.func(); } int main() { test(); return 0; }

在上述代码中，test 函数内部的 Base 对象 obj 是在栈上创建的，该对象包含的虚表指针也会存储在栈区。

堆区

  如果对象是使用 new 运算符在堆上动态分配的，那么虚表指针会随着对象一起被分配到堆区。堆区用于动态内存分配，由程序员手动管理内存的分配和释放（使用 new 和 delete）。只要对象没有被显式地使用 delete 释放，它就会一直存在于堆区，虚表指针也会一直存在。

示例代码：

#include <iostream> class Base { public: virtual void func() { std::cout << "Base::func()" << std::endl; } }; int main() { Base* ptr = new Base(); // 在堆上创建对象 // ptr 指向的对象的虚表指针位于堆区 ptr->func(); delete ptr; // 释放堆上的对象 return 0; }

 在这个例子中，Base 对象是通过 new 运算符在堆上创建的，其虚表指针也会存储在堆区，直到使用 delete 释放该对象。

全局 / 静态存储区

  当对象是全局对象或者静态对象时，虚表指针会存储在全局 / 静态存储区。全局对象在程序启动时就被创建，直到程序结束才被销毁；静态对象在第一次使用时被创建，并且在程序的整个生命周期内都存在。

示例代码：

#include <iostream> class Base { public: virtual void func() { std::cout << "Base::func()" << std::endl; } }; Base globalObj; // 全局对象，虚表指针位于全局/静态存储区 void test() { static Base staticObj; // 静态对象，虚表指针位于全局/静态存储区 staticObj.func(); } int main() { globalObj.func(); test(); return 0; }

在上述代码中，globalObj 是全局对象，staticObj 是静态对象，它们的虚表指针都存储在全局 / 静态存储区。

虚表本身的存储位置

虚表（vtable）通常存储在只读数据段（RODATA），这是因为虚表中的内容在程序运行期间是固定不变的，包含了类的虚函数的地址等信息，将其放在只读数据段可以保证数据的安全性和共享性。