在C++的面向对象编程体系中，多态性允许我们通过基类指针或引用调用派生类的重写方法，实现运行时的动态绑定。但构造函数和析构函数作为类生命周期管理的特殊成员函数，它们的多态表现和普通成员函数存在明显差异，很多开发者容易混淆两者的实现逻辑。
构造函数能否实现多态性
构造函数本身无法实现多态性，这是由C++的对象构造顺序和动态绑定机制决定的。当创建派生类对象时，构造顺序是先执行基类构造函数，再执行派生类构造函数。在基类构造函数执行阶段，派生类的部分还没有被初始化，此时对象的动态类型是基类类型，因此即使基类的构造函数中调用了虚函数，也不会触发派生类的重写版本。
我们可以通过下面的代码示例验证这个特性：
#include <iostream>
using namespace std;
class Base {
public:
Base() {
cout << "Base 构造函数执行" << endl;
// 构造函数中调用虚函数，不会触发多态
virtual_func();
}
virtual void virtual_func() {
cout << "Base 的虚函数版本" << endl;
}
};
class Derived : public Base {
public:
Derived() {
cout << "Derived 构造函数执行" << endl;
}
void virtual_func() override {
cout << "Derived 的虚函数版本" << endl;
}
};
int main() {
Derived d;
return 0;
}
运行上述代码后，输出结果为：
Base 构造函数执行 Base 的虚函数版本 Derived 构造函数执行
可以看到，在Base构造函数中调用virtual_func时，执行的是基类的版本，并没有触发Derived的重写版本，说明构造函数阶段没有实现多态。
析构函数如何实现多态性
析构函数可以通过以下方式实现多态性：将基类的析构函数声明为虚函数。当基类析构函数为虚函数时，通过基类指针删除派生类对象，会先调用派生类的析构函数，再调用基类的析构函数，实现动态绑定。
如果基类析构函数不是虚函数，通过基类指针删除派生类对象的行为是未定义的，通常只会调用基类的析构函数，导致派生类的资源无法释放，引发内存泄漏。
虚析构函数的实现示例
下面的代码展示了虚析构函数实现多态的效果：
#include <iostream>
using namespace std;
class Base {
public:
Base() {
cout << "Base 构造函数执行" << endl;
}
// 基类析构函数声明为虚函数
virtual ~Base() {
cout << "Base 析构函数执行" << endl;
}
virtual void func() {
cout << "Base 的 func 方法" << endl;
}
};
class Derived : public Base {
public:
Derived() {
cout << "Derived 构造函数执行" << endl;
// 模拟派生类申请资源
data = new int[10];
}
~Derived() override {
cout << "Derived 析构函数执行" << endl;
// 释放派生类申请的资源
delete[] data;
}
void func() override {
cout << "Derived 的 func 方法" << endl;
}
private:
int* data;
};
int main() {
// 基类指针指向派生类对象
Base* ptr = new Derived();
ptr->func(); // 调用派生类的func，实现普通成员函数的多态
// 删除基类指针，触发析构函数的多态
delete ptr;
return 0;
}
运行上述代码的输出结果为：
Base 构造函数执行 Derived 构造函数执行 Derived 的 func 方法 Derived 析构函数执行 Base 析构函数执行
可以看到，通过Base指针删除Derived对象时，先执行了Derived的析构函数释放资源，再执行Base的析构函数，实现了析构函数的多态效果。
非虚析构函数的问题示例
如果将上面代码中Base的析构函数前的virtual关键字去掉，再次运行程序，输出结果会变成：
Base 构造函数执行 Derived 构造函数执行 Derived 的 func 方法 Base 析构函数执行
此时Derived的析构函数没有被调用，data指向的内存没有被释放，就发生了内存泄漏。
使用注意事项
- 如果类会被继承，且可能通过基类指针删除派生类对象，那么基类的析构函数必须声明为虚函数。
- 构造函数永远不要声明为虚函数，C++语法也不允许构造函数是虚函数。
- 如果类不需要被继承，或者不会通过基类指针操作派生类对象，那么析构函数不需要声明为虚函数，避免不必要的虚函数表开销。
总结：构造函数无法实现多态，这是由对象构造的顺序和动态绑定的触发条件决定的；析构函数通过将基类析构函数声明为虚函数，可以实现多态，确保派生类资源被正确释放。