动态绑定（运行时绑定）

在C++中，动态绑定（Dynamic Binding），又称为运行时绑定，是指程序在运行时根据对象的实际类型来决定调用哪个函数的机制。它主要与虚函数（virtual functions）和多态性（polymorphism）相关。

动态绑定的工作原理

在C++中，如果一个类包含虚函数，并且通过该类的指针或引用调用这个虚函数，系统将在运行时根据对象的实际类型来确定调用哪个函数。这与静态绑定（在编译时决定调用哪个函数）不同。

动态绑定的例子

#include <iostream>
using namespace std;

class Base {
public:
    virtual void show() { // 定义虚函数
        cout << "Base class show() function" << endl;
    }
};

class Derived : public Base {
public:
    void show() override { // 重写虚函数
        cout << "Derived class show() function" << endl;
    }
};

int main() {
    Base* basePtr;  // 声明基类指针
    Derived derivedObj;  // 派生类对象
    basePtr = &derivedObj;  // 基类指针指向派生类对象

    basePtr->show();  // 动态绑定：运行时决定调用 Derived 的 show()
    return 0;
}

输出：

Derived class show() function

在这个例子中，基类指针 basePtr 实际上指向派生类对象 derivedObj。通过基类指针调用虚函数 show()，程序在运行时会根据指针指向的实际对象类型（即派生类 Derived），调用 Derived 类的 show() 函数。这就是动态绑定的效果。

动态绑定的条件

1. 虚函数：必须使用 virtual 关键字将基类中的函数声明为虚函数。
2. 基类指针或引用：调用虚函数时，必须通过指向派生类对象的基类指针或引用进行调用，才能实现动态绑定。
3. 多态性：动态绑定通常与多态性一起使用，允许通过基类接口调用派生类的重写函数。

动态绑定的优点

• 提供了多态性的支持，使得代码更具灵活性。
• 可以根据运行时的实际对象类型来调用适当的函数，允许派生类自定义其行为而不必改变基类的接口。

静态绑定 vs 动态绑定

• 静态绑定：编译时确定要调用哪个函数，通常用于非虚函数。
• 动态绑定：运行时根据对象的实际类型确定要调用哪个函数，适用于虚函数。