智能指针支持多态：std::shared_ptr和std::unique_ptr可指向派生类对象，通过虚函数实现动态绑定，调用派生类方法；基类需定义虚析构函数以确保正确析构。
在C++中，智能指针与多态结合使用是非常常见的场景，尤其是在管理具有继承关系的对象时。智能指针（如
std::shared_ptr和
std::unique_ptr）可以安全地管理基类指针指向派生类对象的生命周期，同时支持通过虚函数实现动态绑定。下面说明智能指针如何与多态和虚函数协同工作。
多态与虚函数的基本要求
要实现多态，基类中必须将需要重写的函数声明为 虚函数（virtual）。当通过基类指针或引用调用虚函数时，实际执行的是派生类中重写的版本。
智能指针本质上是“带资源管理的指针”，因此只要它们持有的是指向基类的指针，就可以像普通指针一样支持多态行为。
示例：
#include <memory>
#include <iostream>
class Base {
public:
virtual void say() {
std::cout << "Base says hello\n";
}
virtual ~Base() = default; // 虚析构函数很重要
};
class Derived : public Base {
public:
void say() override {
std::cout << "Derived says hello\n";
}
};
智能指针持有派生类对象
使用
std::shared_ptr<Base>或
std::unique_ptr<Base>指向
Derived对象时，调用虚函数会正确触发派生类的实现。
立即学习“C++免费学习笔记（深入）”；
int main() {
std::shared_ptr<Base> ptr1 = std::make_shared<Derived>();
ptr1->say(); // 输出: Derived says hello
std::unique_ptr<Base> ptr2 = std::make_unique<Derived>();
ptr2->say(); // 输出: Derived says hello
return 0;
}
尽管
ptr1和
ptr2的静态类型是
Base*，但由于
say()是虚函数，运行时会调用
Derived的版本。这表明智能指针完全支持多态。
虚析构函数的重要性
如果基类没有虚析构函数，当通过基类指针删除派生类对象时，会导致未定义行为——派生类的析构函数不会被调用。
智能指针虽然自动管理内存，但依然依赖正确的析构机制。因此，任何打算被继承的类都应提供虚析构函数。
上面示例中：
virtual ~Base() = default;
确保了通过
shared_ptr<Base>或
unique_ptr<Base>析构
Derived对象时，会正确调用
Derived::~Derived()，再调用
Base::~Base()。
常见使用场景与建议
- 在工厂函数中返回智能指针时，常返回基类智能指针，内部创建派生类对象，利用多态统一接口。
- 容器中存储智能指针时，如
std::vector<std::shared_ptr<Base>>
，可安全存放不同派生类型的对象，并统一调用虚函数。 - 避免裸指针传递所有权，始终用智能指针管理多态对象生命周期。
- 确保基类有虚析构函数，这是安全使用多态的前提。
基本上就这些。智能指针本身不干扰虚函数机制，它们只是更安全地承载多态指针。只要正确使用虚函数和虚析构，智能指针能完美支持面向对象设计中的多态性。
