在C++面向对象编程中，多态通常依赖基类指针或引用调用虚函数来实现。引入智能指针后，不少开发者担心资源管理类会破坏这一机制。事实上，标准库提供的std::shared_ptr与std::unique_ptr均能正常支持多态，虚函数的动态绑定表现和原始指针一致。
智能指针与多态的基本原理
智能指针本质上是一个类模板，它内部持有一个原始指针。当我们用派生类对象构造基类类型的智能指针时，被管理的原始指针依然是基类指针，但指向了派生类实例。由于虚函数表机制绑定在对象自身上，通过智能指针解引用调用虚函数时，仍然走动态分发。
示例：shared_ptr 的多态行为
以下代码演示了通过std::shared_ptr调用虚函数时的表现：
#include <iostream>
#include <memory>
class Base {
public:
virtual void speak() const {
std::cout << "Base speaking" << std::endl;
}
virtual ~Base() = default;
};
class Derived : public Base {
public:
void speak() const override {
std::cout << "Derived speaking" << std::endl;
}
};
int main() {
// 基类智能指针指向派生类对象
std::shared_ptr<Base> ptr = std::make_shared<Derived>();
// 虚函数动态绑定，输出 Derived speaking
ptr->speak();
return 0;
}
unique_ptr 的表现
std::unique_ptr同样支持该特性，且由于独占所有权，在继承体系中更为轻量：
#include <iostream>
#include <memory>
class Shape {
public:
virtual double area() const = 0;
virtual ~Shape() = default;
};
class Circle : public Shape {
double r;
public:
Circle(double r) : r(r) {}
double area() const override {
return 3.14 * r * r;
}
};
int main() {
std::unique_ptr<Shape> s = std::make_unique<Circle>(2.0);
// 调用派生类重写的虚函数
std::cout << s->area() << std::endl;
return 0;
}
需要注意的细节
- 智能指针之间的多态不存在，多态只发生在所管理对象上，例如std::shared_ptr<Base>与std::shared_ptr<Derived>是两个不同类型，不能互相赋值。
- 基类析构函数应声明为虚函数，否则通过基类智能指针销毁派生类对象时会导致未定义行为。
- 使用std::make_shared或std::make_unique可避免裸new，同时保证异常安全。
总结
虚函数在智能指针中的表现与原始指针完全相同，因为智能指针仅封装了生命周期管理，未改变所指向对象的类型布局。在真实项目中，推荐用智能指针替代原始指针来管理具有继承关系的对象，既能享受多态带来的扩展能力，也能规避手动释放内存的风险。