- **正确答案**：虚函数是C++中实现多态的一种机制，允许通过基类指针或引用调用派生类的重写函数。其底层实现依赖于“虚函数表”（vtable）和“虚函数指针”（vptr）。每个具有虚函数的类都有一个虚函数表，对象内部包含一个指向该表的指针（vptr），在运行时根据实际对象类型查找对应的函数地址。 - **解答思路**：首先明确虚函数的作用：实现运行时多态。然后解释其背后的机制：编译器为每个有虚函数的类生成一个虚函数表，对象内部保存一个指向该表的指针。调用虚函数时，程序会通过vptr找到虚函数表，再从表中查找对应的函数地址并执行。举例说明：假设有一个基类Base和一个派生类Derived，当使用Base*指向Derived对象时，调用虚函数func()将调用Derived::func()，因为vptr指向的是Derived的虚函数表。 - **深度知识讲解**： **1. 虚函数表（vtable）结构**：虚函数表是一个数组，每个元素是一个函数指针，指向该类所有虚函数的实际实现。类的虚函数表在编译期确定，并且对于该类的所有对象共享同一个虚函数表。 **2. 虚函数指针（vptr）**：每个对象在内存中的第一个位置（或特定偏移处）保存一个指向其所属类虚函数表的指针（vptr）。当构造一个对象时，编译器自动初始化vptr指向当前类的虚函数表；在析构时也会调整vptr的指向。 **3. 多态调用过程**：当调用虚函数时，编译器生成如下逻辑： - 从对象的vptr获取虚函数表； - 从虚函数表中取出对应函数的地址； - 调用该地址的函数。 **4. 性能影响与优化**：虚函数调用比普通函数调用稍慢，因为它涉及两次间接寻址（vptr -> vtable -> 函数地址）。编译器有时可以进行优化（如内联），但多态情况下通常无法完全避免间接跳转。 **5. 虚继承与虚基类表**：在复杂的继承关系中（如菱形继承），虚函数机制还可能涉及“虚基类表”来解决二义性问题。 **6. 内存布局示例**：假设有以下类结构： ``` class Base { public: virtual void foo() { cout << "Base::foo" << endl; } virtual ~Base() {} }; class Derived : public Base { public: void foo() override { cout << "Derived::foo" << endl; } }; ``` 则Base的虚函数表有两个条目：Base::foo 和 Base的析构函数。 Derived的虚函数表也包含两个条目：Derived::foo（覆盖了Base的foo）和Derived的析构函数。 - **代码示例**（伪代码+模拟实现）：下面是虚函数机制的一个简化模拟实现，帮助理解其底层原理： ``` // 虚函数表的类型定义 typedef void (*FuncPointer)(); // 模拟虚函数表结构 struct VTable { FuncPointer* functions; int size; }; // 模拟Base类 struct Base { VTable* vptr; virtual void foo() { cout << "Base::foo" << endl; } virtual ~Base() {} }; // 模拟Derived类 struct Derived : public Base { void foo() override { cout << "Derived::foo" << endl; } }; // 编译器自动生成的虚函数表 FuncPointer base_vtable_functions[] = { (FuncPointer)&Base::foo, (FuncPointer)&Base::~Base }; VTable base_vtable = { base_vtable_functions, 2 }; FuncPointer derived_vtable_functions[] = { (FuncPointer)&Derived::foo, (FuncPointer)&Derived::~Derived }; VTable derived_vtable = { derived_vtable_functions, 2 }; // 构造函数中自动设置vptr Base::Base() { vptr = &base_vtable; } Derived::Derived() { vptr = &derived_vtable; } // 虚函数调用模拟 void call_foo(Base* obj) { // 从vptr获取虚函数表 VTable* vtbl = obj->vptr; // 取出第一个虚函数地址并调用 vtbl->functions[0](); // 对应foo() } int main() { Base b; Derived d; call_foo(&b); // 输出 Base::foo call_foo(&d); // 输出 Derived::foo return 0; } ``` 这段代码模拟了虚函数表的基本结构和调用流程。虽然实际编译器实现更为复杂（包括RTTI、虚继承支持等），但核心思想一致。 - **扩展知识点**： - 虚函数对性能的影响及何时使用 - 虚函数与inline、static函数的关系（不能同时存在） - 纯虚函数与抽象类 - 虚继承与虚基类表 - C++11新增的final/override关键字对虚函数的影响 - 虚函数在STL容器中的使用限制（如不能直接存储多态对象）掌握虚函数及其底层机制，不仅有助于写出高效的面向对象代码，也是面试中常考的C++高级特性之一。

腾讯 IEG光子工作室 一面面经

全站热榜

创作者周榜

腾讯 IEG光子工作室一面面经