动态绑定指函数调用在运行时确定，C++通过虚函数实现。需满足：基类函数声明为virtual，使用指针或引用调用，派生类用override重写。示例中Animal指向Dog对象，调用speak()输出“Dog barks”。Shape基类draw()被Circle和Rectangle重写，render函数通过const Shape&调用实现多态。重要的是，多态基类应定义虚析构函数，如Base的~Base()为virtual，确保delete Base时正确调用Derived::~Derived()，避免资源泄漏。总结：虚函数+指针/引用+重写=运行时多态，虚析构防泄漏。
在C++中，虚函数是实现动态绑定（也称运行时多态）的核心机制。通过虚函数，可以在基类中声明一个函数为virtual，让派生类根据需要重写该函数，程序在运行时根据对象的实际类型调用对应的函数版本。
什么是动态绑定
动态绑定指的是函数调用的解析发生在运行时而不是编译时。当使用基类指针或引用指向派生类对象，并调用虚函数时，系统会自动调用该对象实际类型的函数版本。
例如：
class Animal {
public:
virtual void speak() {
cout << "Animal speaks" << endl;
}
};
class Dog : public Animal {
public:
void speak() override {
cout << "Dog barks" << endl;
}
};
int main() {
Animal* ptr = new Dog();
ptr->speak(); // 输出: Dog barks
delete ptr;
return 0;
}
尽管ptr是Animal*类型，但它指向的是Dog对象，由于speak()是虚函数，调用的是Dog::speak()。
立即学习“C++免费学习笔记（深入）”；
如何正确使用虚函数实现动态绑定
要成功实现动态绑定，需满足以下条件：
-
函数必须声明为 virtual：在基类中使用
virtual关键字声明函数。 - 通过指针或引用调用函数：只有通过基类指针或引用调用虚函数时，才会触发动态绑定。
-
派生类重写虚函数：派生类应提供同名、同参数的函数覆盖基类实现，建议使用
override关键字明确意图。
示例代码：
class Shape {
public:
virtual void draw() const {
cout << "Drawing a shape" << endl;
}
virtual ~Shape() = default; // 建议虚析构函数
};
class Circle : public Shape {
public:
void draw() const override {
cout << "Drawing a circle" << endl;
}
};
class Rectangle : public Shape {
public:
void draw() const override {
cout << "Drawing a rectangle" << endl;
}
};
void render(const Shape& s) {
s.draw(); // 动态绑定在此发生
}
int main() {
Circle c;
Rectangle r;
render(c); // 输出: Drawing a circle
render(r); // 输出: Drawing a rectangle
return 0;
}
虚析构函数的重要性
如果基类用于多态，其析构函数应声明为虚函数，否则删除派生类对象时可能不会调用派生类的析构函数，导致资源泄漏。
例如：
class Base {
public:
virtual ~Base() {
cout << "Base destroyed" << endl;
}
};
class Derived : public Base {
public:
~Derived() override {
cout << "Derived destroyed" << endl;
}
};
这样通过Base*删除Derived对象时，能正确调用两个析构函数。
基本上就这些。只要定义虚函数、使用指针或引用、确保继承链中函数被正确重写，就能实现C++中的动态绑定。不复杂但容易忽略细节。
