C++ 虚拟函数与动态绑定：探索运行时类型信息

C++虚拟函数实现多态性，允许派生类重写函数。动态绑定在运行时确定要执行哪个函数，提供灵活性。虚拟函数通过 virtual 关键字声明，允许派生类重写。动态绑定在编译时无法确定要调用哪个函数时发生，提供运行时灵活性。动物类层次结构示例展示了虚拟函数如何用于根据对象类型调用不同的方法。图形绘制示例说明了动态绑定如何用于根据对象类型动态绘制对象。

C++ 虚拟函数与动态绑定：解开运行时类型信息的秘密

导言

虚拟函数是 C++ 中强大的机制，用于实现多态性，允许拥有不同实现的派生类对象通过基类指针或引用被调用。借助动态绑定，在运行时确定要执行哪个函数，这提供了极大的灵活性。

虚拟函数

声明为 virtual 的函数是一个虚拟函数，它允许函数在派生类中重写。当通过基类指针或引用调用虚拟函数时，将调用与实际对象类型对应的实现。

动态绑定

动态绑定是在运行时解析类型和调用相应函数的过程。当编译器不知道在编译时将调用哪个函数实现时，就会发生这种情况。动态绑定允许在程序执行时更改对象的类型，从而实现更大的灵活性。

实战案例 I：动物类层次结构

考虑以下动物类层次结构：

class Animal {
public:
    virtual void Speak();
};

class Dog : public Animal {
public:
    virtual void Speak() override;
};

class Cat : public Animal {
public:
    virtual void Speak() override;
};

每个类都声明一个虚拟函数 Speak()，可以在派生类中重写。

void Animal::Speak() {
    std::cout << "Animal speaks" << std::endl;
}

void Dog::Speak() {
    std::cout << "Dog barks" << std::endl;
}

void Cat::Speak() {
    std::cout << "Cat meows" << std::endl;
}

实战案例 II：图形绘制

动态绑定还可以用于实现图形应用程序中对象的动态绘制。考虑以下示例：

class Shape {
public:
    virtual void Draw();
};

class Rectangle : public Shape {
public:
    void Draw() override;
};

class Circle : public Shape {
public:
    void Draw() override;
};

void DrawShape(Shape& shape) {
    shape.Draw();
}

在这个例子中，DrawShape() 函数通过基类引用接收一个形状对象，并调用其 Draw() 方法。由于 Draw() 是一个虚拟函数，因此将调用与实际对象类型对应的实现。

现在，让我们创建一些形状对象并使用 DrawShape() 函数绘制它们：

int main() {
    Rectangle rectangle;
    Circle circle;

    DrawShape(rectangle);  // 输出："Rectangle drawn"
    DrawShape(circle);    // 输出："Circle drawn"

    return 0;
}