C++中的虚函数与多态机制如何工作？

在C++中，虚函数和多态机制是实现面向对象编程的重要概念。

虚函数是在基类中声明的函数，可以在派生类中进行重写。当基类的指针或引用指向派生类的对象时，通过调用虚函数可以实现动态绑定，即在运行时确定要调用的函数。

多态是指通过基类的指针或引用调用虚函数时，会根据对象的实际类型来确定要调用的函数，而不是根据指针或引用的类型。这种机制使得可以在不知道对象的具体类型的情况下，能够调用到正确的函数。

在C++中，实现虚函数和多态机制需要两个关键点：

1. 基类中声明虚函数：在基类中使用关键字virtual来声明一个函数为虚函数。例如：

class Base {
public:
    virtual void foo() {
        // Virtual function
    }
};

2. 派生类中重写虚函数：在派生类中重新定义虚函数，可以使用override关键字来确保该函数是在基类中声明的虚函数的重写。例如：

class Derived : public Base {
public:
    void foo() override {
        // Override virtual function
    }
};

当通过基类的指针或引用调用虚函数时，编译器会根据对象的实际类型来确定要调用的函数。如果派生类中对虚函数进行了重写，那么就会调用派生类中的函数，实现了多态。

以下是一个示例代码，演示了虚函数和多态的使用：

#include <iostream>

class Base {
public:
    virtual void foo() {
        std::cout << "Base::foo()" << std::endl;
    }
};

class Derived : public Base {
public:
    void foo() override {
        std::cout << "Derived::foo()" << std::endl;
    }
};

int main() {
    Base* ptr = new Derived();
    ptr->foo();  // Output: Derived::foo()
    delete ptr;
    return 0;
}

在上述代码中，基类Base中声明了一个虚函数foo()，派生类Derived中对该虚函数进行了重写。在main()函数中，创建了一个基类指针ptr指向派生类对象，通过该指针调用虚函数foo()时，会根据对象的实际类型调用派生类的函数，输出"Derived::foo()"。