- 正确答案：虚函数是C++中实现运行时多态的关键机制。在基类中使用virtual关键字声明的函数称为虚函数，派生类可以重写该函数。当通过基类指针或引用调用虚函数时，实际执行的是对象所属类的版本，而非指针或引用类型的版本。这种机制依赖于虚函数表（vtable）和虚函数指针（vptr）实现动态绑定。 - 解答思路：首先明确虚函数的作用是支持多态性，即“一个接口，多种实现”。接着解释如何声明和使用虚函数，然后说明其底层实现机制——虚函数表和虚函数指针的工作原理。最后可以通过一个简单例子展示其行为，并讨论相关概念如纯虚函数、抽象类、析构函数是否应为虚函数等。 - 深度知识讲解： 1. 虚函数的基本语法：在基类中用virtual修饰成员函数，派生类中可选择性地使用virtual（建议写上以增强可读性），但必须具有相同的签名（函数名、参数列表、const属性等）才能构成重写。示例： ``` class Base { public: virtual void show() { cout << "Base show" << endl; } virtual ~Base() {} // 建议虚析构函数 }; class Derived : public Base { public: void show() override { cout << "Derived show" << endl; } }; ``` 使用： ``` Base* ptr = new Derived(); ptr->show(); // 输出：Derived show delete ptr; ``` 2. 底层实现机制 —— vtable 与 vptr： - 每个含有虚函数的类（或继承链中包含虚函数的类）编译器会为其生成一个虚函数表（vtable），这是一个静态数组，存储了指向该类虚函数的函数指针。 - 每个对象内部会自动添加一个隐式成员——虚函数指针（vptr），指向其所属类的vtable。 - 当调用虚函数时，程序通过对象的vptr找到对应的vtable，再根据函数在表中的位置确定调用哪个函数，这个过程称为动态绑定（dynamic binding）或晚绑定（late binding）。内存布局示意（简化）： ``` Derived对象内存布局： +------------------+ | vptr -> 指向 Derived::vtable | +------------------+ | 成员变量... | +------------------+ Derived::vtable: [0] -> &Derived::show [1] -> &Base::~Base (继承的虚析构) ``` 3. 纯虚函数与抽象类： - 纯虚函数是在基类中声明但不提供实现的虚函数，语法为：`virtual void func() = 0;` - 包含至少一个纯虚函数的类称为抽象类，不能实例化。 - 派生类必须重写所有纯虚函数，否则仍是抽象类。示例： ``` class Shape { public: virtual double area() const = 0; virtual ~Shape() = default; }; class Circle : public Shape { double r; public: Circle(double r) : r(r) {} double area() const override { return 3.14159 * r * r; } }; ``` 4. 虚析构函数的重要性： - 如果基类的析构函数不是虚函数，通过基类指针删除派生类对象时，只会调用基类析构函数，造成资源泄漏。 - 因此，只要类设计为被继承且有虚函数，析构函数应声明为虚函数（通常为virtual ~ClassName() = default;）。错误示例： ``` class Base { public: ~Base() { cout << "Base dtor"; } }; class Derived : public Base { public: ~Derived() { cout << "Derived dtor"; } }; Base* ptr = new Derived(); delete ptr; // 只调用 Base::~Base，未调用 Derived::~Derived ``` 正确做法： ``` virtual ~Base() { cout << "Base dtor"; } ``` 5. 注意事项与限制： - 构造函数不能是虚函数：因为构造时对象类型尚未完全建立，vptr还未初始化。 - 静态成员函数不能是虚函数：不依赖于对象实例，无法通过vptr/vtable机制实现。 - 内联（inline）与虚函数：虚函数通常不内联（除非编译器能确定具体类型），因为内联发生在编译期，而虚函数调用在运行期决定。 - 性能开销：每次调用虚函数需要两次间接访问（先取vptr，再查vtable），相比普通函数调用有轻微性能损失。 6. 相关数据结构模拟（伪代码）： ``` // 编译器为每个有虚函数的类生成类似结构 struct VTable { void (*show)(void* this_ptr); void (*destruct)(void* this_ptr); }; // Base类的vtable VTable Base_vtable = { (void(*)(void*)) Base::show, (void(*)(void*)) Base::~Base }; // Derived类的vtable VTable Derived_vtable = { (void(*)(void*)) Derived::show, (void(*)(void*)) Derived::~Derived }; // 对象内存模型（含vptr） class Base { public: void** vptr; // 指向VTable // 其他成员... }; ``` 7. 扩展知识点： - 多重继承中的虚函数：多个基类都有虚函数时，对象可能包含多个vptr（或一个合并的vtable结构），处理更复杂。 - 虚继承与虚函数：用于解决菱形继承问题，涉及虚基类表（vbtable）。 - RTTI（Run-Time Type Information）：与vtable相关，支持dynamic_cast和typeid操作符。 - final关键字：可防止虚函数被进一步重写，如 `virtual void f() final;` - 总结：虚函数是C++面向对象三大特性之一“多态”的核心技术，其本质是通过虚函数表和虚函数指针实现动态分发。理解其底层机制有助于写出高效、安全的继承体系代码，特别是在设计接口类和框架时至关重要。面试中常结合继承、构造/析构顺序、内存布局等问题综合考察。

快手C++一面（已挂）

全站热榜

创作者周榜