继承中虚函数的调用顺序

在面向对象编程中，虚函数允许派生类覆盖基类的方法，从而实现多态性。当调用虚函数时，将根据实际对象的类型来确定调用哪个函数。

调用顺序

在继承层次结构中，虚函数的调用顺序遵循以下规则：

1. 从派生类开始：从层次结构中调用虚函数时，编译器会从最派生的类开始搜索匹配的函数。
2. 向上沿着继承链：如果派生类中没有匹配的函数，编译器将沿继承链向上搜索，依次检查每个基类。
3. 直到找到实现：这种搜索将继续进行，直到找到具有所需实现的类。
4. 覆盖优先：如果派生类和基类都具有虚函数的实现，则派生类的实现将被调用，因为它是对基类实现的覆盖。

实战案例

考虑以下代码片段：

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

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

class Cat : public Animal {
public:
    virtual void speak() override {
        cout << "Cat meows" << endl;
    }
};

int main() {
    Animal* animal = new Animal();
    animal->speak();  // 输出: Animal speaks

    Dog* dog = new Dog();
    dog->speak();    // 输出: Dog barks

    Cat* cat = new Cat();
    cat->speak();    // 输出: Cat meows
}

在 main 函数中，我们逐个创建了 Animal、Dog 和 Cat 类的对象。当我们调用虚函数 speak() 时，编译器会根据实际对象的类型来确定调用哪个实现。

• 对于 Animal 对象，它调用 Animal 类的 speak() 方法，因为没有派生类实现可供覆盖。
• 对于 Dog 对象，它调用 Dog 类的 speak() 方法，因为这是派生类的覆盖实现。
• 对于 Cat 对象，它调用 Cat 类的 speak() 方法，类似于 Dog 的情况。