c++中virtual关键字的用法

在 C++ 中，`virtual` 是一个关键字，用于实现多态性（Polymorphism）和动态绑定（Dynamic Binding），它主要用于处理基类和派生类之间的多态关系。

下面是 `virtual` 的一些主要用途和示例：

**1. 虚函数（Virtual Functions）**
`virtual` 关键字用于声明基类中的虚函数，允许在派生类中进行函数的重写（覆盖）和动态绑定。通过使用虚函数，可以根据对象的实际类型来调用相应的函数实现。

示例：
```cpp
#include <iostream>

class Shape {
public:
    virtual void draw() {
        std::cout << "Drawing a shape." << std::endl;
    }
};

class Circle : public Shape {
public:
    void draw() override {
        std::cout << "Drawing a circle." << std::endl;
    }
};

class Square : public Shape {
public:
    void draw() override {
        std::cout << "Drawing a square." << std::endl;
    }
};

int main() {
    Shape* shapePtr = new Circle();
    shapePtr->draw();  // 调用派生类的重写函数，输出 Drawing a circle.

    delete shapePtr;
    return 0;
}
```

在上述示例中，`Shape` 类中的 `draw()` 函数被声明为虚函数，并在派生类 `Circle` 和 `Square` 中进行了重写。通过使用基类指针指向派生类对象，并调用虚函数 `draw()`，实际上会根据对象的实际类型来调用相应的重写函数，实现了多态性和动态绑定。

**2. 虚析构函数（Virtual Destructors）**
当基类指针指向派生类对象时，如果基类的析构函数不是虚函数，则可能会导致派生类的析构函数不被正确调用，从而导致资源泄漏。通过将基类的析构函数声明为虚函数，可以确保在删除基类指针时正确调用派生类的析构函数。

示例：
```cpp
#include <iostream>

class Base {
public:
    virtual ~Base() {
        std::cout << "Base destructor." << std::endl;
    }
};

class Derived : public Base {
public:
    ~Derived() override {
        std::cout << "Derived destructor." << std::endl;
    }
};

int main() {
    Base* basePtr = new Derived();
    delete basePtr;  // 正确调用派生类的析构函数

    return 0;
}
```

在上述示例中，`Base` 类的析构函数被声明为虚函数，派生类 `Derived` 重写了该析构函数。通过使用基类指针指向派生类对象，并在删除基类指针时，会正确调用派生类的析构函数，确保释放对象的资源。

这是 `virtual` 关键字的两个主要用途，在处理基类和派生类之间的多态关系时非常有用。使用虚函数可以实现动态绑定，并在运行时根据对象的实际类型调用适当的函数实现。同时，使用虚析构函数可以确保正确释放派生类对象的资源。

当子类的析构函数执行完毕后，会自动调用父类的析构函数。在 C++ 中，当一个对象的析构函数被调用时，会按照继承关系从派生类到基类的顺序依次调用每个类的析构函数。

在上述示例中，当删除 `Base` 类型的指针时，会调用 `Base` 类的析构函数。如果派生类 `Derived` 有自己的析构函数，它会在执行完自己的析构逻辑后自动调用基类 `Base` 的析构函数。

这种自动调用基类析构函数的行为是由 C++ 的析构函数机制所决定的，它确保了在对象销毁的过程中，从派生类到基类的顺序正确执行析构函数，以正确释放对象及其基类所拥有的资源。因此，无需显式调用基类的析构函数，它会在适当的时机自动执行。