C++多态编程：虚函数与纯虚函数实战解析

1. 多态编程的核心武器库

在面向对象编程的实战中，多态机制就像瑞士军刀般不可或缺。作为C++多态实现的基石，虚函数和纯虚函数构成了我们处理对象行为差异的核心武器库。我在开发图形编辑器时，就曾用这套机制实现了不同图形元素的统一渲染接口——基类定义虚函数draw()，派生类各自实现具体绘制逻辑。当用户点击渲染按钮时，只需调用基类指针的draw()，程序就会自动匹配实际对象的绘制方法。

这种动态绑定的魔法背后，是编译器为每个包含虚函数的类生成的虚函数表（vtable）。这个隐藏的调度中心记录了类的虚函数地址，当通过基类指针调用虚函数时，程序会通过查表找到实际对象的函数实现。实测表明，相比静态绑定，虚函数调用会有约15%的性能损耗，但在大多数场景下，这种代价换来的设计灵活性绝对物超所值。

关键提示：虚函数表的内存布局随编译器实现而异。在GCC中，vtable指针通常位于对象内存布局的首位，而MSVC可能采用不同策略。调试时可用gdb的info vtbl命令查看具体实现。

2. 虚函数的实现解剖

2.1 基础语法与内存模型

声明虚函数只需在成员函数前添加virtual关键字：

cpp复制class Animal {
public:
    virtual void makeSound() { 
        std::cout << "Generic animal sound" << std::endl;
    }
};

当类出现虚函数时，编译器会悄悄完成三项重要工作：

1. 在类实例中添加隐藏的vptr指针（通常占4/8字节）
2. 在静态区创建虚函数表
3. 在构造函数中插入初始化vptr的代码

通过sizeof运算符可以直观看到虚函数带来的内存开销。测试发现，空类大小在64位系统下为1字节，添加虚函数后立即变为8字节（vptr指针大小）。

2.2. 覆盖与final控制

派生类通过完全匹配的函数签名覆盖基类虚函数：

cpp复制class Cat : public Animal {
public:
    void makeSound() override {  // C++11引入override标记
        std::cout << "Meow" << std::endl;