如何在C++中通过基类指针正确实现多态？

嘿，我太懂你现在的困惑了——刚接触C++多态的时候，几乎每个人都会踩这个静态绑定的坑！

你现在的问题核心很明确：基类的speak()方法没有被声明为虚函数，C++默认对非虚函数使用静态绑定（也就是编译期就确定要调用哪个版本的函数），哪怕你的指针实际指向的是Dog对象，编译器还是会按指针的类型（Animal*）来调用基类的speak()。

要解决这个问题其实很简单，只需要给基类的speak()加上virtual关键字，让C++启用动态绑定（运行期根据对象的实际类型来匹配函数）。另外还有两个小细节要注意：

• 如果你用的是C++11及以后的标准，在派生类的speak()后面加上override关键字会更稳妥——它能帮你检查是否真的正确覆盖了基类的虚函数，避免因为函数名拼写、参数不匹配导致的隐藏bug。
• 记得给基类添加一个虚析构函数，不然当你用Animal*指针delete一个Dog对象时，只会调用基类的析构函数，派生类的资源可能无法被正确释放，造成内存泄漏。

下面是修改后的完整代码：

#include <iostream>
using namespace std;

class Animal {
public:
    // 声明为虚函数，启用动态绑定
    virtual void speak() {
        cout << "Animal sound" << endl;
    }
    // 虚析构函数，确保派生类资源被正确释放
    virtual ~Animal() {}
};

class Dog : public Animal {
public:
    // override关键字明确表示覆盖基类的虚函数
    void speak() override {
        cout << "Woof!" << endl;
    }
};

int main() {
    Animal* a = new Dog();
    a->speak(); // 现在会输出：Woof!
    delete a; // 虚析构函数确保Dog的析构也被调用
    return 0;
}

再简单总结下：C++的多态依赖虚函数机制，只有基类中声明为virtual的函数，才能通过基类指针/引用实现运行时的动态绑定，调用到派生类的覆盖版本。

内容来源于stack exchange