C++虚函数与多态性：从原理到实践

1. 从静态绑定到动态绑定的演进之路

在C++面向对象编程中，多态性是最具威力的特性之一。但很多开发者在使用虚函数时，往往知其然而不知其所以然。让我们从一个最基础的例子开始，看看为什么需要虚函数机制。

1.1 静态绑定的局限性

考虑以下代码示例：

cpp复制class Animal {
public:
    void speak() {
        cout << "Animal speak" << endl;
    }
};

class Dog : public Animal {
public:
    void speak() {
        cout << "Dog bark" << endl;
    }
};

int main() {
    Animal* a = new Dog();
    a->speak();  // 输出Animal speak
}

这里出现了一个看似违反直觉的现象：虽然我们创建的是Dog对象，但调用的却是Animal类的speak方法。这是因为C++默认使用静态绑定（也称为早期绑定），即在编译期间就确定了函数调用的具体实现。

关键理解：静态绑定下，函数调用决策基于指针或引用的静态类型（这里是Animal*），而非实际对象的动态类型（Dog）。

1.2 虚函数的引入

为了解决这个问题，C++引入了虚函数机制。只需在基类函数声明前加上virtual关键字：

cpp复制class Animal {
public:
    virtual void speak() {
        cout << "Animal speak" << endl;
    }
};

class Dog : public Animal {
public:
    void speak() override {
        cout << "Dog bark" << endl;
    }
};

int main() {
    Animal* a = new Dog();
    a->speak();  // 现在输出Dog bark
}

这个简单的改动带来了质的飞跃 - 现在函数调用会在运行时根据实际对象类型决定，这就是动态绑定（晚期绑定）。

1.3 虚函数实现原理

虚函数的魔法背后是虚函数表（vtable）机制：

1. 每个包含虚函数的类都有一个vtable，存储该类所有虚函数的地址
2. 每个对象包含一个隐藏的vptr指针，指向其类的vtable
3. 调用虚函数时，通过vptr找到vtable，再定位到具体函数实现

调用流程分解：

cpp复制a->speak();
↓
通过a的vptr找到Dog类的vtable
↓
在vtable中找到speak函数的地址
↓
调用Dog::speak()

这种间接寻址虽然带来轻微性能开销（通常一次指针解引用），但为程序提供了极大的灵活性。

2. 从虚函数到纯虚函数的必然演进

2.1 抽象类的需求

在实际开发中，我们经常会遇到一些本质上就应该是抽象的类。以Animal为例，一个通用的"动物"类可能根本不应该被实例化，因为它太抽象了，无法提供有意义的speak实现。

考虑以下不太合理的设计：

cpp复制class Animal {
public:
    virtual void speak() {
        cout << "???"; // 没有实际意义
    }
};

这种设计有两个问题：

1. Animal可以被实例化，但实例化的对象没有实际意义
2. 派生类可能忘记重写speak方法，导致调用到无意义的默认实现

2.2 纯虚函数的解决方案

C++通过纯虚函数（pure virtual function）解决这个问题：

cpp复制class Animal {